PROLOG: Ayuda con "Clause"
Publicado por Bla (1 intervención) el 29/04/2010 14:28:54
Hola. Llevo semanas buscando esto en internet.
Tengo un fichero '.pl' que contiene:
p(X) :- q(X).
q(a).
Y quiero un predicado que me devuelva "q(X)" pasándole "p(X)" como argumento:
?- clause(p(X),R).
R = q(X).
Ok?
Pero eso devuelve un error:
{PERMISSION ERROR: clause(user(_74),_80) - cannot access static user/1}
¿Qué puedo hacer?
Muchas gracias.
PD: Por supuesto, no pregunto esto para obtener el término "q(X)", sino para obtener el cuerpo de cualquier cláusula que venga de cualquier fichero.
Tengo un fichero '.pl' que contiene:
p(X) :- q(X).
q(a).
Y quiero un predicado que me devuelva "q(X)" pasándole "p(X)" como argumento:
?- clause(p(X),R).
R = q(X).
Ok?
Pero eso devuelve un error:
{PERMISSION ERROR: clause(user(_74),_80) - cannot access static user/1}
¿Qué puedo hacer?
Muchas gracias.
PD: Por supuesto, no pregunto esto para obtener el término "q(X)", sino para obtener el cuerpo de cualquier cláusula que venga de cualquier fichero.
Valora esta pregunta
0