A calculus for the construction of modular prolog programs

DOI10.1016/0743-1066(92)90042-2zbMath0754.68035OpenAlexW2107594169MaRDI QIDQ3992238

Donald Sannella, Lincoln Wallen

Publication date: 13 August 1992

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

Full work available at URL: https://doi.org/10.1016/0743-1066(92)90042-2

zbMATH Keywords

PROLOGmodularity

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Structured theory presentations and logic representations, Modular specifications with supernormal defaults, A refinement of import/export declarations in modular logic programming and its semantics, Institutions for logic programming