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@example.com?subject=Unsubscribe