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-...