« Return to Thread: Simple recursive term

Re: Simple recursive term

by Daniel Diaz-3 :: Rate this Message:

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
Bug-prolog@...
http://lists.gnu.org/mailman/listinfo/bug-prolog

« Return to Thread: Simple recursive term