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. _______________________________________________ Bug-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-prolog
