HEAL DSpace

Efficient Execution of HiLog in WAM-based Prolog Implementations

Αποθετήριο DSpace/Manakin

Εμφάνιση απλής εγγραφής

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


Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Εμφάνιση απλής εγγραφής