Wie kann ich überprüfen, ob ein Prädikat in einem Prolog-Programm existiert? Das wäre ein exists/1
sein, wie:Prolog: Wie überprüft man, ob ein Prädikat existiert?
?- exists(some_predicate).
false.
?- assert(some_predicate).
true.
?- exists(some_predicate).
true.
Dies ist in ISO nur für Prädikate mit dem öffentlichen Eigentum angenommen! Standardmäßig funktioniert es nicht für statischen Code. – false