From Lesta@t-online.de  Thu Jun 10 20:37:00 1999
Received: from mailout03.btx.dtag.de (mailout03.btx.dtag.de [194.25.2.151])
	by swi.swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id UAA06179
	for <prolog@swi.psy.uva.nl>; Thu, 10 Jun 1999 20:36:59 +0200 (MET DST)
Received: from fwd05.btx.dtag.de ([194.25.2.165])
	by mailout03.btx.dtag.de with smtp 
	id 10s9hR-0005g3-00; Thu, 10 Jun 1999 20:37:13 +0200
Received: from t-online.de (05121269112-0001(btxid)@[62.157.68.169]) 
	by fwd05.btx.dtag.de with smtp
	id <m10s9hN-0003EgC>; Thu, 10 Jun 1999 20:37:09 +0200
Message-ID: <37600560.4A45AE0F@t-online.de>
Date: Thu, 10 Jun 1999 20:35:12 +0200
X-Mailer: Mozilla 4.05 [de]C-DT  (Win95; I)
MIME-Version: 1.0
To: "H. Chad Lane" <hcl@cs.pitt.edu>, prolog@swi.psy.uva.nl
Subject: Re: using call
References: <375FFB1F.63B769AF@cs.pitt.edu>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Sender: 05121269112-0001@t-online.de
From: Lesta@t-online.de (Uwe Lesta)

H. Chad Lane schrieb:
> 
> I am trying to use call with a conjuctive goal, and am running into
> problems.  If this is not an SWI specific question, I apologize, but
> most sources I've found mention that the treatment of call is often
> implementation dependent.
> 
> For example, given the facts:
> 
>   father(jim,greg).
>   father(greg,al).
> 
> this query works as expected:
> 
>   ?- father(jim,X), father(X,al).
> 
>   X = greg
> 
> However, when call is used it gets confused with call/2:
> 
>   ?- call(father(jim,X), father(X,al)).
>   [WARNING: Undefined procedure: father/3
>       However, there are definitions for:
>           father/2]
>      Exception: (  7) father(jim, _G298, father(_G298, al)) ?
> 
> Any suggestions would be appreciated.  Thank you!


Try one more pair off brackets around the term , to be sure that call/1
is used.

e.g. 

call( (father(jim,X), father(X,al)) ).

-- 


Regards

Uwe
Lesta@t-online.de