Le 14/03/2011 20:43, Thierry Martinez a écrit :
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).
Hello,
same problem as previous.
However, recall cyclic term are not supported under GNU Prolog.
Undefined behavior is expected if such terms are used.
Daniel
--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.
_______________________________________________
Bug-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-prolog
