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?

有帮助吗?

解决方案

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

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

许可以下: CC-BY-SA归因
不隶属于 StackOverflow
scroll top