Efficient Execution of HiLog in WAM-based Prolog Implementations

Sagonas, K; Warren, D

dc.contributor.author	Sagonas, K	en
dc.contributor.author	Warren, D	en
dc.date.accessioned	2014-03-01T02:48:18Z
dc.date.available	2014-03-01T02:48:18Z
dc.date.issued	1995	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/33712
dc.relation.uri	http://www.informatik.uni-trier.de/~ley/db/conf/iclp/iclp95.html#SagonasW95	en
dc.subject	First Order	en
dc.subject	Higher Order	en
dc.title	Efficient Execution of HiLog in WAM-based Prolog Implementations	en
heal.type	conferenceItem	en
heal.publicationDate	1995	en
heal.abstract	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	en
heal.journalName	International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming	en