Meta for modularising logic programming

This publication has 9 references indexed in Scilit:

• A calculus for the construction of modular prolog programs
  The Journal of Logic Programming, 1992
• A Metalogic Programming Approach to Multi-Agent Knowledge and Belief
  Published by Elsevier ,1991
• Logic Programming
  Published by Elsevier ,1990
• Composition Operators for Logic Theories
  Published by Springer Nature ,1990
• A logical analysis of modules in logic programming
  The Journal of Logic Programming, 1989
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Closures and fairness in the semantics of programming logic
  Theoretical Computer Science, 1984
• Negation as Failure
  Published by Springer Nature ,1978
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976