bug-prolog
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Unification with _

From: Thierry Martinez
Subject: Unification with _
Date: Mon, 14 Mar 2011 20:39:50 +0100 
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.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]