tent_is

From: Mark Wallace <mgw_at_icparc.ic.ac.uk>
Date: Mon 24 Sep 2001 02:33:39 PM GMT
Message-ID: <3BAF4443.3209317D@icparc.ic.ac.uk> 
tent_is should die when the body is fully instantiated. 
Currently it doesn't:

ECLiPSe Constraint Logic Programming System [kernel]
...
Version 5.2 #10, Tue Jun 26 02:14 2001

[eclipse 18]: Y tent_set 2, X tent_is Y+1, Y=1.

X = X{2}
Y = 1


Delayed goals:
        monitor_tenable(X{2}, s(yes))
Yes (0.00s cpu)

-- 
_______________________________________________________________
Dr. Mark Wallace, IC-Parc,		Phone  +44 (0)20 7594 8434 
William Penney Laboratory, 		Fax    +44 (0)20 7594 8432
Imperial College, London SW7 2AZ, UK.	Email: mgw@icparc.ic.ac.uk
Received on Mon Sep 24 15:33:40 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:10 PM GMT GMT