lib(ic_symbolic)

From: Mark Wallace <Mark.Wallace_at_infotech.monash.edu.au>
Date: Sun 03 Apr 2005 05:49:47 AM GMT
Message-id: <424F83FB.1090206@infotech.monash.edu.au> 
Hi,
In ECLiPSe 5.8, if you initialise a variable with a symbolic domin of 
size 1 it doesn't get instantiated:
?- X &:: [a].
X = X{[a]}
There is 1 delayed goal.
Yes (0.00s cpu)
    Cheers
      Mark
(For integer domains it instantiates the variable)

-- 
Mark Wallace
Faculty of Information Technology
Monash University
Building 63, 
Clayton
Vic 3800
Australia
Tel: +61 3 9905 1367
Fax: +61 3 9905 8731
Received on Sun Apr 03 06:50:57 2005

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