If it helps I translated the SWI prolog tutorial here: http://www.prodevtips.com/2008/04/28/advanced-oodb-in-pico-lisp/
On Tue, Dec 17, 2013 at 4:00 AM, Jon Kleiser <[email protected]> wrote: > Hi, > > I've just started reading the book "Prolog and Natural-Language Analysis" > by F. C. N. Pereira and S. M. Shieber, and I'm trying to translate some of > the Prolog code in the book into pilog. I don't expect to take this > translation work very far, but at least I'll try for a while. > After a few Prolog facts like these ů > > wrote(terry, shrdlu). > wrote(bertrand, principia). > book(principia). > program(shrdlu). > > ů they introduce this rule: > > author(Person) :- > book(Book), > wrote(Person, Book). > > Translating the facts into pilog is trivial, but with my limited pilog > knowledge I cannot tell if rules like the one above can be handled by > 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? > > The book is available for free here: > <http://www.mtome.com/Publications/PNLA/prolog-digital.pdf‎> > > /Jon > > -- > UNSUBSCRIBE: mailto:[email protected]?subject=Unsubscribe -- UNSUBSCRIBE: mailto:[email protected]?subject=Unsubscribe
