Prolog检查数据库

Question

是否可以通过使用preicate isInData（Predicate，Atom）来检查数据库并检查是否存在任何形式的Predicate（Atom）？

Answer 1

您可以使用ISO标准current_predicate/1谓词，该谓词检查/返回谓词指标，即Functor/Arity形式的术语。

还有一个事实上的标准predicate_property/2谓词，它允许您在给定调用模板的情况下查询谓词的属性。

如果您不仅要根据子句检查谓词，还可以使用ISO标准clause/2谓词。

鉴于您正在使用SWI-Prolog，要查找这些谓词的文档，请访问其网站并在右上角的搜索框中键入其谓词指示符。