How can I check if a predicate exists in a Prolog program? That would be an exists/1, like:
exists/1
?- exists(some_predicate). false. ?- assert(some_predicate). true. ?- exists(some_predicate). true.