If it helps I translated the SWI prolog tutorial here:

On Tue, Dec 17, 2013 at 4:00 AM, Jon Kleiser <jon.klei...@usit.uio.no> 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&#8206;>
> /Jon
> --
> UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to