首页
标签
negation-as-failure
寻求 (\=)/2 的纯 Prolog 实现
Clojure core.logic：nafc 和地面
Prolog 中的否定作为失败和答案集编程中的默认否定
ASP中的否定如何理解为失败？
双重否定的输出混淆为失败