Search code examples
prologiso-prolog

Finding all predicates with the same arity

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?

Solution

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

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