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

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