Memory Management for Prolog with Tabling

Demoen, B; Sagonas, K

dc.contributor.author	Demoen, B	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:48:37Z
dc.date.available	2014-03-01T02:48:37Z
dc.date.issued	1998	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/33966
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	conferenceItem	en
heal.identifier.primary	10.1145/286860.286871	en
heal.identifier.secondary	http://dx.doi.org/10.1145/286860.286871	en
heal.publicationDate	1998	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	International Symposium on Memory Management	en
dc.identifier.doi	10.1145/286860.286871	en