Hmm...If I say param(P) in my do loop, it seems that I am specifically requiring that we do not create a new P with each loop iteration, whatever kind of term P is. But clearly as you say setarg/3 is an untrustworthy foreigner in Prolog country, so we don't expect it to abide by the laws of the land. > in brief, the solution is to remove setarg/3 from the language. > We can put this on the plan for a future release. Are you serious? If so I do hope that you plan to provide otherwise for some kind of destructive operator! Maybe using variable attributes along the lines of the repair library? josh Josh Singer Software Developer, Parc Technologies Limited Tel. +44 (0)207 261 4067 josh.singer@parc-technologies.com http://www.parc-technologies.com This e-mail message is for the sole use of the intended recipient(s) -its contents are the property of Parc Technologies Limited (or its licensors) and are confidential. Please do not copy, review, use (except for the intended purposes), disclose or distribute the e-mail or its contents (or allow anyone else to do so) without our prior permission. Parc Technologies Limited does not guarantee that this e-mail has not been intercepted and amended nor that it is virus-free. You should carry out your own virus checks before opening any attachment. Any opinions expressed in this e-mail message are those of the author and not necessarily Parc Technologies Limited.Received on Thu May 29 17:36:50 2003
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:22 PM GMT GMT