A Theory of Modules for Logic Programming
暂无分享,去创建一个
[1] Melvin Fitting,et al. A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..
[2] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.
[3] Gerhard Gentzen,et al. Investigations into Logical Deduction , 1970 .
[4] Robert A. Kowalski,et al. Amalgamating language and metalanguage in logic programming , 1982 .
[5] William F. Clocksin,et al. Programming in Prolog , 1987, Springer Berlin Heidelberg.
[6] David Scott Warren,et al. Database Updates in Pure Prolog , 1984, FGCS.
[7] Jan Chomicki,et al. Towards a Programming Environment for Large Prolog Programs , 1985, SLP.
[8] Kenneth A. Bowen,et al. A Meta-Level Extension of Prolog , 1985, SLP.
[9] José Meseguer,et al. EQLOG: Equality, Types, and Generic Modules For Logic Programming , 1986, Logic Programming: Functions, Relations, and Equations.
[10] Jean H. Gallier,et al. Logic Programming and Graph Rewriting , 1985, SLP.
[11] Richard A. O'Keefe,et al. Towards an Algebra for Constructing Logic Programs , 1985, International Conference on Spoken Language Processing.
[12] Gopalan Nadathur,et al. Higher-Order Logic Programming , 1986, ICLP.
[13] C. Smorynski. Applications of Kripke models , 1973 .
[14] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .
[15] Dov M. Gabbay,et al. N-Prolog: An Extension of Prolog with Hypothetical Implications I , 1984, J. Log. Program..