From hcl@cs.pitt.edu  Thu Jun 10 19:51:28 1999
Received: from post-ofc05.srv.cis.pitt.edu (root@post-ofc05.srv.cis.pitt.edu [136.142.185.10])
	by swi.swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id TAA04717
	for <prolog@swi.psy.uva.nl>; Thu, 10 Jun 1999 19:51:21 +0200 (MET DST)
Received: from cs.pitt.edu (moore2.lrdc.pitt.edu [136.142.147.45])
          by post-ofc05.srv.cis.pitt.edu with ESMTP (8.8.8/8.8.8/cispo-7.2.2.2)
          ID <NAA14923@post-ofc05.srv.cis.pitt.edu> for <prolog@swi.psy.uva.nl>;
          Thu, 10 Jun 1999 13:51:28 -0400 (EDT)
Message-ID: <375FFB1F.63B769AF@cs.pitt.edu>
Date: Thu, 10 Jun 1999 13:51:27 -0400
From: "H. Chad Lane" <hcl@cs.pitt.edu>
X-Mailer: Mozilla 4.51 [en] (Win95; U)
X-Accept-Language: en
MIME-Version: 1.0
To: prolog@swi.psy.uva.nl
Subject: using call
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

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!

-- 
H. Chad Lane [hcl@cs.pitt.edu]
Department of Computer Science, University of Pittsburgh
Pittsburgh, PA  15260
http://www.cs.pitt.edu/~hcl

808 LRDC  |  (412)624-7494

