[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Simple recursive term
|
From: |
Thierry Martinez |
|
Subject: |
Simple recursive term |
|
Date: |
Mon, 14 Mar 2011 20:43:01 +0100 |
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).
--
Thierry.
- Simple recursive term,
Thierry Martinez <=