Unification with _

Thierry Martinez <[email protected]> Mon, 14 Mar 2011 20:39:50 +0100

Newsgroups	gmane.comp.gnu.prolog.bugs
Message-ID	<[email protected]>

Hello,

The following predicate succeeds and prints a fresh variable.
Tested with GNU Prolog 1.3.2 on Mac OS X (packaged by Mac Ports) and
with beta version 1.4.0 on GNU/Linux.

p :-
   X = _,
   X = a,
   X = b,
   print(X).

-- 
Thierry.