Hi Jon, > author(Person) :- > book(Book), > wrote(Person, Book). > ... > pilog. The rule says that "Person is an author if there is a book Book and > Person wrote Book." Can pilog express rules like this?
It should be like
(be author (@Person)
(book @Book)
(wrote @Person @Book) )
♪♫ Alex
--
UNSUBSCRIBE: mailto:[email protected]?subject=Unsubscribe
