Comment puis-je vérifier si un prédicat existe dans un programme Prolog? Ce serait un exists/1
, comme:Prolog: Comment vérifier si un prédicat existe?
?- exists(some_predicate).
false.
?- assert(some_predicate).
true.
?- exists(some_predicate).
true.
Ceci est accepté dans la norme ISO que pour les prédicats avec la propriété publique! Par défaut, cela ne fonctionne pas pour le code statique. – false