[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Mar 2 16:34:24 1994 
Subject:clause/2 in Poplog Prolog 
From:Edmund Shing 
Volume-ID:940302.02 


Hello,


Can anyone tell me why the following doesn't work in Poplog Prolog but does in
other versions of Prolog? It is Edinburgh syntax and ought to work (according
to the Poplog help file) but doesn't:

Thank you,


Edmund

PS please send ereplies by email as well as to pop-forum as I don't read
   pop-forum regularly.

------------------  Program  ----------------

% The following line shouldn't make any difference
:- library(dec10)

married(charles, diana).
separated(charles, diana).

relations(R, charles, diana):-
  clause(X, true),
  X =.. [R, charles, diana].

?- relations(R, charles, diana).

-------------------  Output  -----------------


;;; PROLOG ERROR - INSUFFICIENT INSTANTIATION OF GOAL
;;; INVOLVING:  clause(_1, true)
;;; DOING    :  clause/2 read/1 read/1

;;; [execution aborted]