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}
}
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
14 Citations
XSB: A System for Effciently Computing WFS
  • 120
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
  • 72
  • PDF
XSB: Extending Prolog with Tabled Logic Programming
  • 181
  • PDF
Stepwise Enhancement and Higher-Order Programming in Prolog
  • 11
  • PDF
Higher-order logic programming
  • 103
  • PDF
Speedup of Logic Programs by Binarization and Partial Deduction
  • 4
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 23 REFERENCES
AN OVERVIEW OF PROLOG
  • 366
  • PDF
HILOG: A Foundation for Higher-Order Logic Programming
  • 430
  • PDF
Toward the Partial Evaluation of CLP Languages
  • 16
A Simple Code Improvement Scheme for Prolog
  • S. Debray
  • Computer Science
  • J. Log. Program.
  • 1989
  • 41
  • PDF
Abstract Interpretation and Application to Logic Programs
  • 691
  • PDF
Global Compilation of Prolog
  • 53
1983-1993: The Wonder Years of Sequential Prolog Implementation
  • P. V. Roy
  • Computer Science
  • J. Log. Program.
  • 1994
  • 104
  • PDF
...
1
2
3
...