Composing Open Logic Programs

DOI10.1093/logcom/3.4.417zbMath0784.68020OpenAlexW2027979939MaRDI QIDQ4276170

Paola Mello, Evelina Lamma, Antonio Brogi

Publication date: 22 March 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.4.417

zbMATH Keywords

Herbrand modelsopen programprogram compositions

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Compositional model-theoretic semantics for logic programs ⋮ A compositional semantics for logic programs

This page was built for publication: Composing Open Logic Programs