A logical analysis of modules in logic programming

Apt, 1982, Contributions to the Theory of Logic Programming, J. Assoc. Comput. Mach., 29, 841, 10.1145/322326.322339 Bowen, 1982, Amalgamating language and metalanguage in logic programming, 153 Bowen, 1985, A Meta-level Extension of Prolog, Symposium on Logic Programming, 48 Chomicki, 1985, Towards a programming environment for large Prolog programs, Symposium on Logic Programming, 230 Fitting, 1969 Fitting, 1985, A Kripke-Kleene Semantics for Logic Programming, J. Logic Programming, 2, 295, 10.1016/S0743-1066(85)80005-4 Gabbay, 1984, N-Prolog: An Extension of Prolog with Hypothetical Implications. I, J. Logic Programming, 1, 319, 10.1016/0743-1066(84)90029-3 Gallier, 1987, hornlog: A Graph-Based Interpreter for General Horn Clauses, J. Logic Programming, 4, 119, 10.1016/0743-1066(87)90015-X Gentzen, 1969, Investigations into Logical Deductions, 68 Goguen, 1984, eqlog: Equality, Types and Generic Modules for Logic Programming, J. Logic Programming, 1, 179, 10.1016/0743-1066(84)90004-9 McCarty, 1986, Fixed Point Semantics and Tableau Proof Procedures for a Clausal Intuitionistic Logic Miller, 1986, A Theory of Modules for Logic Programming, IEEE Symposium on Logic Programming, 106 Miller, 1987, Hereditary Harrop Formula and Logic Programming, VIII International Congress of Logic, Methodology, and Philosophy of Science Miller, 1986, High-Order Logic Programming, International Conference on Logic Programming, 448, 10.1007/3-540-16492-8_94 Miller, 1987, Hereditary Harrop Formulas and Uniform Proof Systems, 98 Nait Abdallah, 1986, Procedures in Horn-Clause Programming, International Conference on Logic Programming, 433, 10.1007/3-540-16492-8_93 O'Keefe, 1985, Towards an Algebra for Constructing Logic Programs, Symposium on Logic Programming, 152 Prawitz, 1965 Smorynski, 1973, Applications of Kripke models, 344 Sterling, 1986 Troelstra, 1973, Metamathematical Investigations of Intuitionistic Arithmetic and Analysis, 344 Warren, 1984, Database Updates in Prolog, Proceedings of the International Conference on Fifth Generation Computer Systems, 244