| > Home |
| > Documentation |
| > Downloads |
| > Online Demo |
| > Contact |
OO jDREW Examples in POSL
%Rules
own(?person, ?object) :- buy(?person, ?merchant, ?object), keep(?person, ?object).
buy(?person, ?merchant, ?object) :- sell(?merchant, ?person, ?object).
%Facts
sell(John, Mary, XMLBible).
keep(Mary, XMLBible).
%Query
own(?person, ?object)
Last
Updated:
July 31, 2007
By:
Ben Craig