No replies to this topic

[ageof]

Hello.

I need to get the body of a clause consulted from a .pl file.
By example, this file:

p(X):-q(X).
q(a).

I need a predicate like "clause":
Theoretically, "clause(p(_X),C)" should unify C with "q(_X)", but it doesn't work. It returns this error:
"Permission error: cannot access static user:p/1".

What can I do?

I'm programming in SICStus Prolog.

Thank you.