|
Tiamat
Utente giovane
Regione: Puglia
Prov.: Foggia
Città: Cerignola
|
 Inserito il - 08/10/2010 : 23:00:13
|
Raga prendendo un esempio già fatto di una versione di meta-interprete che fornisce il "come" si arrivi al risultato ed un piccolo programma ottengo il seguente errore:
ERROR!!
PERMISSION ERROR- clause(user:q,_1135,_1136): cannot see clauses for q/0
------------------------------------------------------------------------
Qualche idea???????????????????????????
il codice è il seguente:
:-op(100, xfy, [<-]).
solve(true, true).
solve((A,B), (ProvaA, ProvaB)) :- solve(A, ProvaA), solve(B, ProvaB).
solve(A, (A <- Prova)) :- clause(A,Corpo),solve(Corpo, Prova).
q :- r, s.
s.
r :- p.
p.
%Query
:- solve(q,X).
|
Il dio dei Draghi |
|
Errore YAP - PERMISSION ERROR- clause
