Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!rutgers!super.upenn.edu!linc.cis.upenn.edu!lang
From: lang@linc.cis.upenn.edu (Francois-Michel Lang)
Newsgroups: comp.lang.prolog
Subject: Re: Question on get0/read and call
Message-ID: <2931@super.upenn.edu>
Date: 31 Dec 87 12:56:51 GMT
References: <720@cos.COM>
Sender: news@super.upenn.edu
Reply-To: lang@linc.cis.upenn.edu.UUCP (Francois-Michel Lang)
Organization: University of Pennsylvania
Lines: 19
Keywords: prolog term, list, atom

In article <720@cos.COM> duc@COS.COM (Duc Kim Nguyen) writes:
>
>I have a question concerning get0/read and call (I am using Quintus Prolog):
>
>(1) A predicate f is defined with
>	:- op(700,fx,f).
...

I'm not sure I fully understand the question/problem,
but I think I can clear up one apparent misconception:
The operator declaration 

:- op(700,fx,f).

does NOT define a predicate.  It only allows you to use the
atom 'f' as a prefix operator.  That sounds like it's part of the problem.
----------------------------------------------------------------------------
Francois-Michel Lang			    
Paoli Research Center, Unisys Corporation lang@prc.unisys.com (215) 648-7469
Dept of Comp & Info Science, U of PA      lang@cis.upenn.edu  (215) 898-9511