a question about read

Article View: comp.lang.prolog

Article #1501

#1501

From: Peter Robinson (P.J.)
Date: Mon, 28 Sep 1992 21:32

24 lines
808 bytes

How does your favourite Prolog behave in the following situation

query:  ?- read(f(X)).

input:  3.



I already know the following:

Nu-Prolog :  
      continue to input until the input is of the form f(term).

Qu-Prolog & IC-Prolog: 
      fail - 3 and f(X) don't unify.

LPA MacProlog : 
      fail - argument of read must be a variable at the time of call.



Peter Robinson, Department of Computer Science, University of Queensland
email: pjr@cs.uq.oz.au

Technical Details

Message-ID: <10468@uqcspe.cs.uq.oz.au>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!pjr

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!pjr
From: pjr@cs.uq.oz.au (Peter Robinson (P.J.))
Newsgroups: comp.lang.prolog
Subject: a question about read
Message-ID: <10468@uqcspe.cs.uq.oz.au>
Date: 28 Sep 92 21:32:33 GMT
Sender: news@cs.uq.oz.au
Reply-To: pjr@cs.uq.oz.au
Lines: 25