|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.
|[Prev in Thread]||Current Thread||[Next in Thread]|