[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Simple recursive term

From: Daniel Diaz
Subject: Re: Simple recursive term
Date: Sat, 19 Mar 2011 17:41:54 +0100
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv: Gecko/20110303 Thunderbird/3.1.9

Le 14/03/2011 20:43, Thierry Martinez a écrit :

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]