home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / prolog / 2295 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1005 b   |  31 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!mcsun!julienas!irisa!ridoux
  3. From: ridoux@irisa.fr (Olivier Ridoux)
  4. Subject: Rational terms (was: Occurs check)
  5. Message-ID: <1992Dec22.165237.26432@irisa.fr>
  6. Sender: news@irisa.fr
  7. Organization: IRISA, Rennes (Fr)
  8. References: <1h7bnlINN5es@eagle.dfki.uni-sb.de>
  9. Date: Tue, 22 Dec 92 16:52:37 GMT
  10. Lines: 19
  11.  
  12. > |> | ?- q(X,X).
  13. > |> 
  14. > |> X = f(f(f(f(f(f(f(f(f(f(f(f(f(f ...
  15. > 
  16. > Again, the right answer (maybe, some depth limit
  17. > in printing things would be nice).
  18.  
  19. Am I right to conclude that SICStus has an internal representation for
  20. rational terms but no external representation?  I.e. SICStus can
  21. compute with rational terms but cannot read them or print them, and
  22. probably cannot assert clauses with rational terms.
  23.  
  24. If I remember well, PrologII had an external syntax, but not the
  25. corresponding term-reader.  I.e. PrologII could compute with rational
  26. terms and print them, but could not read them nor assert clauses with
  27. rational terms.
  28.  
  29. Olivier Ridoux
  30.  
  31.