Is there a way to use a variable as a predicate?
For instance
test(Pred, Var) :- Pred(Var).
Then asking
test(not, true).
should yield false. Is this is possible? Do I need to use an eval() type function?
With kind regards, Patrick
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.