want a bagoff impl. without assert/retracts

Article View: comp.lang.prolog

Article #165

#165

From: Fred Kwakkel
Date: Thu, 09 Apr 1992 11:07

26 lines
1033 bytes

SWI prolog gives for the following query:

	1 ?- S=[1,2,3,X,4], bagof( Y, member( Y, S ), L ).

	L = [1,2,3,G413,4]
	S = [1,2,3,G325,4]
	X = G325
	Y = G334

But I want L and S to be EXACTLY the same and NOT different
uninstantiated vars:

	L = [1,2,3,G413,4]
	S = [1,2,3,G413,4]
	X = G413
	Y = G334

I think it means that I need a bagof implementation without assert/retracts.
I don't know how to write this, can you help me?

thanks :-)
----------------------------------------------------------------------
Smail:  Fred Kwakkel      Work:	C.W.I.		Email: kwakkel@cwi.nl
	Comeniuslaan 32		Kruislaan 413
	Naarden			1098 SJ Amsterdam
	02159-46835		(+31) 020 592 4059/4151

Technical Details

Message-ID: <5821@charon.cwi.nl>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!cwi.nl!kwakkel

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!cwi.nl!kwakkel
From: kwakkel@cwi.nl (Fred Kwakkel)
Newsgroups: comp.lang.prolog
Subject: want a bagoff impl. without assert/retracts
Message-ID: <5821@charon.cwi.nl>
Date: 9 Apr 92 11:07:48 GMT
Sender: news@cwi.nl
Reply-To: kwakkel@cwi.nl (Fred Kwakkel)
Organization: CWI, Amsterdam
Lines: 26