Question

Is it possible to pose a query such as

?- X(C). 

that can return all the predicates that have arity 1? In general, is it possible to refer to a predicate name by using a variable?

Was it helpful?

Solution

current_predicate(X/1). shows predicates with arity 1.

You can use call to call a goal from a variable.

Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top