Tek-Tips is the largest IT community on the Internet today!

Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!

  • Congratulations strongm on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

Yap prolog problem

Status
Not open for further replies.

bayes5

Programmer
May 17, 2013
2
0
0
IT
Hi everybody,

I'm a beginner in prolog, l'm currently using Yap 5.1.1 on ubuntu 12.04. I have a problem with "clause(H+,B)." predicate:

In the knowledge base i have the fact "p(1)" . but when I do a query such as "clause(p(1), BODY)." it return with "PERMISSION ERROR-

clause(user:p(1),_105,_106): cannot see clauses for p/1", but I'm sure that is correct because I read it on my prolog book.

Can i solve this problem ? Thank you!

P.S. Sorry for my bad english :(
 
I have installed SWI-Prolog and it works, i'll use it...but i can't understand because YAP do that.
 
Status
Not open for further replies.

Part and Inventory Search

Sponsor

Back
Top