Simple recursive term

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

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

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.