Article View: comp.lang.prolog
Article #192Re: want a bagoff impl. without assert/retracts
From: Jens Kilian
Date: Mon, 13 Apr 1992 10:50
Date: Mon, 13 Apr 1992 10:50
21 lines
1361 bytes
1361 bytes
/ hpbbrd:comp.lang.prolog / ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) / 5:35 am Apr 9, 1992 / > Nope, not at all. The PD implementation is based on assert/retract, > and most "bubble-in-the-heap" findall/3 implementations I've heard of > will introduce new variables too. What you need is something that collects > solutions just like findall/3 then walks along them putting back the > original variables whenever it is possible to do so. Can somebody point me to a description of the `bubble-in-the-heap' technique ? Thanks in advance, Jens Kilian. -- Internet: jensk@hpbbn.bbn.hp.com HPDESK : JENS_KILIAN%XU@HP1200 MausNet: Jens Kilian @ BB KILIAN_JENS/HP1200_XU@hpbbi4 Phone: (0|+49)7031-14-1726 TELNET : 778-1726 Fax : (0|+49)7031-14-2049 ------------------------------------------------------------------------------- As the air to a bird, or the sea to a fish, so is contempt to the contemptible.
Technical Details
Message-ID:
<97440004@hpbbrd.bbn.hp.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!usc!sdd.hp.com!hpscdc!hplextra!hpfcso!hpfcmdd!hpbbrd!jenskReferences:
<5821@charon.cwi.nl>Show Full Headers
Complete Article Headers
From: jensk@hpbbrd.bbn.hp.com (Jens Kilian) Date: Mon, 13 Apr 1992 10:50:24 GMT Subject: Re: want a bagoff impl. without assert/retracts Message-ID: <97440004@hpbbrd.bbn.hp.com> Organization: HP Mechanical Design Division Path: arc1-ca.pugleaf.net!sparky!uunet!usc!sdd.hp.com!hpscdc!hplextra!hpfcso!hpfcmdd!hpbbrd!jensk Newsgroups: comp.lang.prolog References: <5821@charon.cwi.nl> Lines: 21