Memory management for Prolog with tabling

Dernoen, B; Sagonas, K

dc.contributor.author	Dernoen, B	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T01:48:09Z
dc.date.available	2014-03-01T01:48:09Z
dc.date.issued	1999	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/25410
dc.subject	Garbage Collection	en
dc.subject	Logic Programs	en
dc.subject	Memory Management	en
dc.subject	Memory Model	en
dc.subject	Garbage Collector	en
dc.title	Memory management for Prolog with tabling	en
heal.type	journalArticle	en
heal.identifier.primary	10.1145/301589.286871	en
heal.identifier.secondary	http://dx.doi.org/10.1145/301589.286871	en
heal.publicationDate	1999	en
heal.abstract	Tabling can be implemented in a (WAM-based) Prolog system by means of SLG-WAM: consumers suspend and their state is preserved by freezing the execution stacks. XSB is a system that currently implements tabling based on the SLG-WAM. The memory model is quite complex and attempts to understand the notion of usefulness of data in XSB well enough to build a	en
heal.journalName	Sigplan Notices	en
dc.identifier.doi	10.1145/301589.286871	en