| Popis: |
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. |
