Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/17/84; site cwruecmp.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!bellcore!decvax!cwruecmp!sundar
From: sundar@cwruecmp.UUCP (Sundar R. Iyengar)
Newsgroups: net.lang.prolog
Subject: Re: recorda,recorded,erase--behavior
Message-ID: <1412@cwruecmp.UUCP>
Date: Fri, 14-Feb-86 12:28:45 EST
Article-I.D.: cwruecmp.1412
Posted: Fri Feb 14 12:28:45 1986
Date-Received: Sun, 16-Feb-86 04:17:15 EST
References: <1106@decwrl.DEC.COM>
Reply-To: sundar@cwruecmp.UUCP (Sundar R. Iyengar)
Organization: CWRU Dept. Computer Eng., Cleveland, OH
Lines: 18

I tested the problem in our Cprolog_1.5 on Vax (bsd4.2).  Yes, the erase
does fail if the key used in a corresponding 'recorda' is an evaluable
predicate.  However, the erase works just fine if the Key is a simple
atom.  Since the key used is only the functor of the first argument to
'recorda', you don't have to use the entire term.  So a temporary fix
for your problem would be,

	recorda(arg,...,R),
	recorded(arg,...X),
	erase(R).

However, I don't what is causing the problem.  I hope this helps.

sundar r. iyengar		

arpa:  sundar.case@csnet-relay     531, crawford hall
csnet: sundar@case		   case western reserve university
uucp:  decvax!cwruecmp!sundar	   cleveland, oh 44106