Composing Open Logic Programs

DOI10.1093/LOGCOM/3.4.417MaRDI QIDQ4276170zbMATH OpenOpenAlexFDO

Authors Antonio Brogi, Evelina Lamma, Paola Mello

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)

Recommendations

• Compositionality of normal open logic programs
• scientific article; zbMATH DE number 1407684
• Compositional model-theoretic semantics for logic programs
• A compositional semantics for logic programs
• scientific article; zbMATH DE number 1931648

Cited in

(7)

• Composing recursive logic programs with clausal join
• Compositional model-theoretic semantics for logic programs
• scientific article; zbMATH DE number 1890618 (Why is no real title available?)
• A compositional semantics for logic programs
• scientific article; zbMATH DE number 1508926 (Why is no real title available?)
• Compositionality of normal open logic programs
• scientific article; zbMATH DE number 1407684 (Why is no real title available?)

This page was built for publication: Composing Open Logic Programs

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