Re: Simple recursive term

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.