Compositional model-theoretic semantics for logic programs

@article{Brogi1992CompositionalMS,
  title={Compositional model-theoretic semantics for logic programs},
  author={Antonio Brogi and Evelina Lamma and Paola Mello},
  journal={New Generation Computing},
  year={1992},
  volume={11},
  pages={1-21}
}
We present a compositional model-theoretic semantics for logic programs, where the composition of programs is modelled by the composition of the admissible Herbrand models of the programs. An Herbrand model is admissible if it is supported by the assumption of a set of hypotheses. On one hand, the hypotheses supporting a model correspond to an open interpretation of the program intended to capture possible compositions with other programs. On the other hand, admissible models provide a natural… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Contributions to the Theory of Logic Programming

  • K. R. Apt, M. H. van Emden
  • 1982

Open Logic Theories , " in Proceedings of Second Workshop on Extensions of Logic Programming

  • A. Brogi, E. Lamma, P. Mello

Similar Papers

Loading similar papers…