Re: A query in Pilog

Sun, 01 Jul 2018 16:05:49 -0700

I've got it working the following way. It is very inelegant but it shows the idea.

 (be woman (Ann))
#-> woman
(prove (goal (woman @X))) # wrong
#!? (woman @X)
#woman -- Undefined
(prove (goal '((woman @X)))) #quoted list can contain multiple statements
#-> ((@X . Ann))
(be loves (Mark Ann))
#-> loves
(be loves (Mark Max))
#-> loves
(prove (goal '((loves Mark @X) (woman @X)))) #as is seen here
#-> ((@X . Ann))

does that help?

Gesendet: 1. Juli 2018 11:49 nachm.
Betreff: A query in Pilog

I'm going through the "Learn Prolog Now!" ebook and I ran into this query:
?- loves(marsellus,X), woman(X).
And I can't figure out how to do it in pilog.
Is there a function that can test multiple queries at once, like or/2 does?

thanks
PԔ � &j)m����X�����zV�u�.n7�

Reply via email to