Hello, The following predicate terminates and prints a term where the recursive occurrence is replaced by a constant. 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 :- A = a(b(A), c), print(A). -- Thierry. _______________________________________________ Bug-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-prolog
