Efficient interpretation of Prolog programs

Authors:
J. Barklund
Affiliations:
UPMAIL, Computing Science Dept., Uppsala University, P.O . Box 520, S-751 20 Uppsala, Sweden
Venue:
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Year:
1987

Citing 6
Cited 1

Foundations of logic programming

Foundations of logic programming
The art of Prolog: advanced programming techniques

The art of Prolog: advanced programming techniques
Programming in Prolog (3rd ed.)

Programming in Prolog (3rd ed.)
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms

The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Logic for Problem Solving

Logic for Problem Solving

Please: a language combining imperative and logic programming

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper focuses on three ideas for solving problems with writing interpreters for the logic programming language Prolog in Prolog and how to combine these ideas to an interpreter for Prolog which is both simple and efficient. The resulting interpreter system can be incorporated into a Prolog based on Warren's Abstract Machine and built mostly from existing parts of it. The interpreter has been implemented and is used in a Prolog system developed at Uppsala University.