[eclipse-clp-users] Bug in eclipse-6?

From: Stephan Schiffel <stephan.schiffel_at_inf.tu-dresden.de>
Date: Thu, 13 Nov 2008 09:28:57 +0100
Hi everybody,

The following code behaves strangely when executed with eclipse-6 (I tried 
build 42 and 52).

test :-
	\+ foo(a, a, b, c, d, e, x),
	\+ bar(f, g, h, i, j, x).
foo(_, _, _, _, _, _, _) :-
	fail.
bar(_, _, _, _, _, X) :-
	X ~= Y,
	Y = y.

test should fail, but eclipse's answer is "Yes". However, if you run it in 
trace mode step by step it correctly fails. I tried to simplify the program 
as good as possible. If you do either one of the following the program works 
as expected:
- remove \+ foo(...)
- change \+ foo(a, a, ...) to \+ foo(a1, a2, ...)
- change \+ foo(..., x) to \+ foo(..., y)
- remove any of the superfluous arguments of either foo or bar

The program also works fine in eclipse-5.10.

Regards,
Stephan
Received on Thu Nov 13 2008 - 08:53:41 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET