Variable shunting for the WAM
Number of Authors: 2
1991 (English)Report (Refereed)
This paper describes how to extend the garbage collection for WAM so that it will shunt chains of bound variables if possible. Doing so has two advantages: 1. Space is saved by making it possible to deallocate the intermediate cells. This is particularly useful when those cells are associated with frozen goals. 2. Later dereferencing is speeded up by not having to follow long variable chains. The main complication of this optimization is the treatment of the trailed variables. We claim that all possible chains of variables are shunted by this algorithm. The algorithm has been implemented in SICStus Prolog, and benchmark results are presented in this paper. The full source code for the shunting algorithm is given in this paper.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1991, 1. , 11 p.
SICS Research Report, ISSN 0283-3638 ; R91:07
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-14040OAI: oai:DiVA.org:ri-14040DiVA: diva2:1035323
Revised version of R89003.2016-10-132016-10-13