因此,根据我对确定性谓词的理解:
确定性谓词= 1解
非确定性谓词=多个解决方案
是否有任何类型的规则可以检测谓词是一个还是另一个？喜欢看搜索树等
deterministic predicate prolog
deterministic ×1
predicate ×1
prolog ×1