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]
|