Page 1 of 1

Does PIE allow you to define your own predicates?

Posted: 24 Sep 2019 18:25
by VPExplorer
Hi,

I'm able to run the standard predicates that PIE exposes, but can't type in any new facts, like

person(sally).


or

likes(karen,jeff).


, it just reports an unknown clause.

PIE doesn't take domains and predicates directives, like Visual Prolog. It seems like standard Prolog. But I can't figure out how to add facts.

What am I doing wrong?

Re: Does PIE allow you to define your own predicates?

Posted: 25 Sep 2019 8:16
by Thomas Linder Puls
Yes, it does. But the window window you are entering things in is a "goal" window. It interprets everything as a question/goal.

To enter your own clauses you will put them in an editor window and consult the contents.

I suggest that you go through:

Re: Does PIE allow you to define your own predicates?

Posted: 25 Sep 2019 16:48
by VPExplorer
Yep, I've been through the instructions, just wasn't familiar with the pie interface.

Ok, thanks.