From socher@et-inf.fho-emden.de  Mon Jul 24 14:17:03 2000
Received: from euler.et-inf.fho-emden.de (root@socher.et-inf.fho-emden.de [192.129.16.153])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id OAA21411
	for <prolog@swi.psy.uva.nl>; Mon, 24 Jul 2000 14:17:02 +0200 (MET DST)
Received: from euler (socher@localhost [127.0.0.1])
	by euler.et-inf.fho-emden.de (8.9.3/8.9.3/SuSE Linux 8.9.3-0.1) with SMTP id OAA01471
	for <prolog@swi.psy.uva.nl>; Mon, 24 Jul 2000 14:20:12 -0500
From: Rolf Socher <socher@et-inf.fho-emden.de>
Reply-To: socher@fho-emden.de
To: prolog@swi.psy.uva.nl
Subject: setarg and backtracking
Date: Mon, 24 Jul 2000 14:14:55 -0500
X-Mailer: KMail [version 1.0.28]
Content-Type: text/plain
MIME-Version: 1.0
Message-Id: <00072414201200.01011@euler>
Content-Transfer-Encoding: 8bit

Could it be that setarg/3 causes problems with backtracking? I call something
like
 	arg(N,Term,Value),
	delete(Value,X,Value1),
	setarg(N,Term,Value1)
where Value is a list such as [1,2,3,4,5], and X is a number. When backtracking
takes place on this branch, the variable Value has a value such as 
	[1|_G150310]
Can anybody help me with this problem?

Best regards, 

Rolf Socher-Ambrosius

°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°
Rolf Socher-Ambrosius                                        
FH Oldenburg/Ostfriesland/Wilhelmshaven
FB E+I                                       
Constantiaplatz 4       
D-26723 Emden
---------------------------------
ACHTUNG: Neue Telefonnr.: +49-4921-807-1808
---------------------------------
socher@fho-emden.de 
http://www.et-inf.fho-emden.de/~socher   





