unexpected behaviour in ic

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Mon 18 Feb 2002 08:15:11 PM GMT
Message-ID: <3C7160CF.CCFD1557@icparc.ic.ac.uk> 
ok:

?- X :: 0 .. 9, X #\= 0.
X = X{1 .. 9}
Yes (0.00s cpu)

but:

?- X :: 0 .. inf, X #\= 0.
X = X{0 .. 1.0Inf}
There is 1 delayed goal.
Yes (0.00s cpu)


-- Joachim
Received on Mon Feb 18 20:15:12 2002

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