CAT: The Copying Approach to Tabling

Demoen, B; Sagonas, K

dc.contributor.author	Demoen, B	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:48:36Z
dc.date.available	2014-03-01T02:48:36Z
dc.date.issued	1998	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/33942
dc.title	CAT: The Copying Approach to Tabling	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1007/BFb0056605	en
heal.identifier.secondary	http://dx.doi.org/10.1007/BFb0056605	en
heal.publicationDate	1998	en
heal.abstract	The SLG-WAM implements tabling by freezing the WAM stacks: this implementation techniquehas a reasonably small execution overhead, but is not easy to implement on top of anexisting Prolog system. We here propose a new approach to the implementation of tabling:the Copying Approach to Tabling. CAT interferes absolutely not with normal Prolog executionand can be introduced in an existing Prolog system	en
heal.journalName	Symposium on Programming Language Implementation and Logic Programming	en
dc.identifier.doi	10.1007/BFb0056605	en