Bug with ground intervals and switches...

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Wed 18 Oct 2000 04:31:33 PM GMT
Message-ID: <39EDD065.C07E9796@icparc.ic.ac.uk> 
It seems that in the context of a switch, number/1 fails for ground
intervals, while in other contexts it succeeds.

E.g. consider the following predicates:

foo(X) :-
	number(X).

bar(X) :-
	number(X),
	!.
bar(X) :-
	fail.

The query
	foo(1.4__1.5).
succeeds, while the query
	bar(1.4__1.5).
fails.

(This is with "stable" main branch version, currently pointing at
rotd-2000-10-11.)

Cheers,
Warwick
Received on Wed Oct 18 17:31:34 2000

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