Re: Help: Multiple Proof Trees

Jan Wielemaker wrote:
On 2005-08-30, Bart Demoen <bmd@xxxxxxxxxxxxxxxxx> wrote:

because SWI make ?- clause((A,B),C). succeed [Jan, is that a bug (using 5.5.3) ? 


?- listing((_,_)).

:- module_transparent (',')/2.

A, B :-
        A,
        B.

So, there is a clause and that is why clause/2 does its work.  This clause
is not a loop because the body is compiled.


Sure, it's a trick used by many implementations.
However, when I asked "is it a bug", it was because one isn't supposed to
show the clauses of a "control construct" (as the ISO terminology goes).


Cheers

Bart Demoen
.