Efficient Execution of HiLog in WAM-based Prolog Implementations
Konstantinos Sagonas, David Scott Warren · The MIT Press eBooks · 1995
In this paper we address the problem of efficiently implementing HiLog, a logic programminglanguage with higher-order syntax and first-order semantics. In contrast to approaches proposedin 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 abstractmachine for the execution of any