ITEM METADATA RECORD
Title: CHAT: The Copy-Hybrid Approach to Tabling
Authors: Demoen, Bart
Sagonas, K #
Issue Date: 1999
Publisher: Springer-verlag berlin
Host Document: Proceedings of First International Workshop on Practical Aspects of Declarative Languages vol:1551 pages:106-121
Conference: First International Workshop on Practical Aspects of Declarative Languages location:San Antonio, Texas, USA date:Januari 1999
Abstract: The Copying Approach to Tabling, abbrv. CAT, is an alternative to SLG-WAM and based on total copying of the areas that the SLG-WAM freezes to preserve execution states of suspended computations. The disadvantage of CAT as pointed out in a previous paper is that in the worst case, CAT must copy so much that it becomes arbitrarily worse than the SLG-WAM. Remedies to this problem have been studied, but a completely satisfactory solution has not emerged. Here, a hybrid approach is presented: CHAT. Its design was guided by the requirement that for non-tabled (i.e. Prolog) execution no changes to the underlying WAM engine need to be made. CHAT combines certain features of the SLG-WAM with features of CATI but also introduces a technique for freezing WAM stacks without the use of the SLG-WAM's freeze registers that is of independent interest. Empirical results indicate that CHAT is a better choice for implementing the control of tabling than SLG-WAM or CATT. However, programs with arbitrarily worse behaviour exist.
URI: 
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy

 




All items in Lirias are protected by copyright, with all rights reserved.

© Web of science