Re: pldoc: how to specify predicates with arguments unbound.

"Richard A. O'Keefe" <[email protected]> Wed, 17 Sep 2014 15:51:38 +1200

Newsgroups	gmane.comp.ai.prolog.swi
Message-ID	<[email protected]>

On 16/09/2014, at 5:57 PM, Kuniaki Mukai wrote:

> 
> Hi, 
> 
> Using pldoc, how do we specify a predicate such as follows:
> 
> 	foo(X, Y) :-  (random(3) =:= 2, X==Y;  true).

This is logically equivalent to foo(_, _).
Did you mean

	foo(X, Y) :- ( random(3) =:= 2 -> X == Y ; true ).
                                       ^^