> 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),
same problem as previous.
However, recall cyclic term are not supported under GNU Prolog.
Undefined behavior is expected if such terms are used.
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.