Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
An Extended Warren Abstract Machine for the Execution of Structured Logic Programs
The Journal of Logic Programming 14(3-4), pages 187–222
1992
Extending logic programming towards structuring concepts such as modules, blocks, taxonomy of logic theories and viewpoints leads, from the implementation point of view, to the development of more complex, specialized execution models to achieve acceptable efficiency. In this work we address the effective implementation of a general framework, subsuming standard Prolog, where different languages for structuring logic programs can be efficiently supported and integrated and thus become useful constructs to build real applications. The implementation is based on an extension of the abstract machine (WAM) developed by D. H. D. Warren, obtained by adding a new stack, new registers, and some new instructions to the WAM. In the paper we focus on the design of the extended WAM. Moreover, some performance results are discussed.
The Journal of Logic Programming (JLP)