• DOI:10.7551/mitpress/4298.003.0039
Corpus ID: 18771991

Efficient Execution of HiLog in WAM-based Prolog Implementations

@inproceedings{Sagonas1995EfficientEO,
  title={Efficient Execution of HiLog in WAM-based Prolog Implementations},
  author={Konstantinos Sagonas and D. Warren},
  booktitle={ICLP},
  year={1995}
}

• Konstantinos Sagonas, D. Warren
• Published in ICLP 1995
• Computer Science

In this paper we address the problem of eeciently implementing HiLog, a logic programming language with higher-order syntax and rst-order semantics. In contrast to approaches proposed in the literature that modify, or abandon the WAM framework in order to implement HiLog, our approach to the problem stems from a belief that the WAM should be an adequate abstract machine for the execution of any logic language with rst-order semantics. To show how to implement HiLog by staying within the WAM… Expand

View via Publisher

Save to Library

Create Alert

Cite

Launch Research Feed