Heap Memory Management in Prolog with Tabling: Principles and Practice

Demoen, B; Sagonas, K

dc.contributor.author	Demoen, B	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T01:50:45Z
dc.date.available	2014-03-01T01:50:45Z
dc.date.issued	2001	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/26110
dc.subject	Abstract Machine	en
dc.subject	Garbage Collection	en
dc.subject	Memory Management	en
dc.title	Heap Memory Management in Prolog with Tabling: Principles and Practice	en
heal.type	journalArticle	en
heal.publicationDate	2001	en
heal.abstract	We address memory management aspects of WAM-based logic pro- gramming systems that support tabled evaluation through the use of a suspension/resumption mechanism. We describe the memory orga- nization and usefulness logic of such systems, and issues that have to be resolved for effective and efficient garbage collection. Special attention is given to early reset in the context of suspended compu-	en
heal.journalName	Journal of Functional and Logic Programming	en