Completeness of the Negation as Failure Rule
暂无分享,去创建一个
[1] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[2] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[3] Michael J. Maher,et al. Closures and Fairness in the Semantics of Programming Logic , 1984, Theor. Comput. Sci..
[4] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.
[5] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.