🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #1188

Re: Arrays in Prolog

#1188
From: Kish Shen
Date: Wed, 12 Sep 1990 17:05
20 lines
1200 bytes
Mats Carlsson said:

>trailing?  Value trailing seems to have a rather high price: the trail
>becomes twice as large, and there is extra work for each (normal)
>variable to reset.

Perhaps I am showing my ignorance, but can you not have a "special trail" to 
store the those trailing that need value trailing? This is what I am doing for
my own work with implementing dependent and-parallelism in Prolog -- I have a
special trail which  grows in the opposite direction to the normal
trail, towards
the normal trail. This means that you only pay for the cost of value
trailing for
those variables that need to use it. Am I missing something? 

Kish Shen
ksh@cl.cam.ac.uk
Computer Lab.,
University of Cambridge
U.K.
Technical Details
Message-ID: <1990Sep12.170553.14414@cl.cam.ac.uk>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!uunet!mcsun!ukc!cam-cl!news
References: <90239.175243SCHMIED@DB0TUI11.BITNET> <1990Sep11.150245.26833@sics.se>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!uunet!mcsun!ukc!cam-cl!news
From: ksh@ely.cl.cam.ac.uk (Kish Shen)
Newsgroups: comp.lang.prolog
Subject: Re: Arrays in Prolog
Message-ID: <1990Sep12.170553.14414@cl.cam.ac.uk>
Date: 12 Sep 90 17:05:53 GMT
References: <90239.175243SCHMIED@DB0TUI11.BITNET> <1990Sep11.150245.26833@sics.se>
Sender: news@cl.cam.ac.uk (The news facility)
Reply-To: ksh@cl.cam.ac.uk (Kish Shen)
Lines: 20