相关疑难解决方法(0)

如何检查Prolog程序中是否存在谓词？这将是一个exists/1,如:

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.