A logical analysis of modules in logic programming

DOI10.1016/0743-1066(89)90031-9zbMATH Open0681.68022OpenAlexW2052436826MaRDI QIDQ4730754FDOQ4730754

Authors:

Publication date: 1989

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(89)90031-9

Recommendations

• Structuring logic programs: a modal approach
• A calculus for the construction of modular prolog programs
• scientific article; zbMATH DE number 1200168
• A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
• Extending Horn clause logic with implication goals

zbMATH Keywords

proof theorymodel theorylogic programmingProlog

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Theory of operating systems (68N25)

Cited In (32)

• Title not available (Why is that?)
• Algebraic methods in the compositional analysis of logic programs
• Kripke semantics for higher-order type theory applied to constraint logic programming languages
• A new framework for declarative programming
• Translating propositional extended conjunctions of Horn clauses into Boolean circuits
• Institutions for logic programming
• Clausal intuitionistic logic I. fixed-point semantics
• Compositional model-theoretic semantics for logic programs
• First-order modular logic programs and their conservative extensions
• Equilibrium logic
• Modules and specifications
• A semantics for modular general logic programs
• Representing scope in intuitionistic deductions
• In praise of impredicativity: a contribution to the formalization of meta-programming
• Modularity and relevant logic
• Forum: A multiple-conclusion specification logic
• Semantics of structured normal logic programs
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Focusing Gentzen's LK proof system
• Uniform proofs as a foundation for logic programming
• Title not available (Why is that?)
• Extending Horn clause logic with implication goals
• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Enumeration operators and modular logic programming
• An abstract interpretation framework for optimizing dynamic modular logic languages
• Title not available (Why is that?)
• The Logic of Bunched Implications
• Proof-search in type-theoretic languages: An introduction
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Extensions to logic programming motivated by the construction of a generic theorem prover
• A refinement of import/export declarations in modular logic programming and its semantics

This page was built for publication: A logical analysis of modules in logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4730754)