Repair

ECLiPSe Constraint Logic Programming System [kernel]
...
Version 5.3 #41, Sat Nov 24 13:49 2001
[eclipse 1]: lib(repair).
...
Yes (0.18s cpu)
% Works fine!!
[eclipse 2]: X tent_set 3, X =< 2 r_conflict a, conflict_constraints(a,C).
X = X{3}
C = [X{3} =< 2]
...
Yes (0.00s cpu)
% Same as above, with Var instead of 'a'.
% Should abort, or give a warning, or unify Var with a and return conflict constraints:
[eclipse 3]: X tent_set 3, X =< 2 r_conflict a, conflict_constraints(Var,C).
X = X{3}
Var = Var
C = []
...
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