Extended Unification and its Implementation
暂无分享,去创建一个
[1] William A. Kornfeld. Equality for Prolog , 1983, IJCAI.
[2] Donald Michie,et al. Machine Intelligence 7 , 1975 .
[3] Michael J. Maher,et al. A Theory of Complete Logic Programs with Equality , 1984, J. Log. Program..
[4] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.
[5] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[6] Ulrich Furbach,et al. Modelling the Combination of Functional and Logic Programming Languages , 1986, J. Symb. Comput..
[7] Wolfgang Bibel,et al. Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.
[8] Jia-Huai You,et al. Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming , 1984, SLP.