| V I S U A L I Z Z A D I S C U S S I O N E |
| Tiamat |
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).
|
|
|
