Efficient Execution of HiLog in WAM-based Prolog implementations (1995) [12 citations — 3 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Konstantinos Sagonas and David S. Warren},
title = {Efficient Execution of HiLog in WAM-based Prolog implementations},
booktitle = {Proceedings on the twelth International Conference on Logic Programming},
year = {1995},
pages = {349--363},
publisher = {MIT Press}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
In this paper we address the problem of efficiently implementing HiLog, a logic programming language with higher-order syntax and first-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 first-order semantics. To show how to implement HiLog by staying within the WAM framework, we identify the reasons for poor performance characteristics of HiLog programs, present requirements for efficient HiLog execution, and propose a complete solution to the problem. Our proposal, which can be viewed either as a compile-time program specialisation preprocessing step, or as an enhancement to the HiLog encoding in predicate calculus presented by Chen, Kifer, and Warren in [1], allows HiLog to be efficiently implemented on any Prolog system by simply modifying Prolog's in...
