CHAT Is Theta(SLG-Wam)

Demoen, B; Sagonas, K

dc.contributor.author	Demoen, B	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:48:43Z
dc.date.available	2014-03-01T02:48:43Z
dc.date.issued	1999	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/34037
dc.subject	Execution Environment	en
dc.title	CHAT Is Theta(SLG-Wam)	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1007/3-540-48242-3_21	en
heal.identifier.secondary	http://dx.doi.org/10.1007/3-540-48242-3_21	en
heal.publicationDate	1999	en
heal.abstract	CHAT oers an alternative to SLG-WAM for implementing the suspension and resumption of consumersthat tabling needs: unlike SLG-WAM, it does not use freeze registers nor a complicated trailto preserve their execution environments. CHAT also limits the amount of copying of CAT, which waspreviously put forward as another alternative to SLG-WAM. Although experimental results show thatin practice CHAT is competitive with	en
heal.journalName	Logic Programming and Automated Reasoning/Russian Conference on Logic Programming	en
dc.identifier.doi	10.1007/3-540-48242-3_21	en