Efficient interpretation of Prolog programs

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

Full description

Saved in:
Bibliographic Details
Main Author: Barklund, J.
Format: Conference Proceeding
Language:English
Subjects:
Computing methodologies > Artificial intelligence
Computing methodologies > Artificial intelligence > Philosophical/theoretical foundations of artificial intelligence
Mathematics of computing > Mathematical software
Software and its engineering > Software notations and tools > Compilers > Interpreters
Software and its engineering > Software notations and tools > General programming languages > Language types
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0362-1340
DOI:10.1145/29650.29664