[eclipse-clp-users] Another compiler bug

Hi all,

I think, I found another bug (tested with version 6.0#72).
The query p in the following program fails and prints "if" but neither "then" 
nor "else".

p :- q(a, 1).

q(A, C) :-
  equal([A], [B]),
  writeln("if"),
  (B=b, C=1 ->
    writeln("then")
  ;
    writeln("else")
  ).

equal(A, A).

The program works as expected, if the condition of the if-then-else part is 
replaced with
  (\+ (B\=b ; C\=1) ->
or 
  (\+ \+ (B=b, C=1) ->

Regards,
Stephan