Rational terms (was: Occurs check)

Article View: comp.lang.prolog

Article #2163

#2163

From: Olivier Ridoux
Date: Tue, 22 Dec 1992 16:52

18 lines
1033 bytes

> |> | ?- q(X,X).
> |> 
> |> X = f(f(f(f(f(f(f(f(f(f(f(f(f(f ...
> 
> Again, the right answer (maybe, some depth limit
> in printing things would be nice).

Am I right to conclude that SICStus has an internal representation for
rational terms but no external representation?  I.e. SICStus can
compute with rational terms but cannot read them or print them, and
probably cannot assert clauses with rational terms.

If I remember well, PrologII had an external syntax, but not the
corresponding term-reader.  I.e. PrologII could compute with rational
terms and print them, but could not read them nor assert clauses with
rational terms.

Olivier Ridoux

Technical Details

Message-ID: <1992Dec22.165237.26432@irisa.fr>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!julienas!irisa!ridoux

References: <1h7bnlINN5es@eagle.dfki.uni-sb.de>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.prolog
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!julienas!irisa!ridoux
From: ridoux@irisa.fr (Olivier Ridoux)
Subject: Rational terms (was: Occurs check)
Message-ID: <1992Dec22.165237.26432@irisa.fr>
Sender: news@irisa.fr
Organization: IRISA, Rennes (Fr)
References: <1h7bnlINN5es@eagle.dfki.uni-sb.de>
Date: Tue, 22 Dec 92 16:52:37 GMT
Lines: 19

Reply to Parent Message