Вопрос

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