[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:1.9.2.15) Gecko/20110303 Thunderbird/3.1.9 |
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.