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:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to