Isoinitial Semantics for Logic Programs

  • Kung-Kiu Lau
  • Mario Ornaghi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1861)


The Herbrand model H of a definite logic program P is an initial model among the class of all the models of P, interpreting P as an initial theory. Such a theory (program) proves (computes) only positive literals (atoms) in P, so it does not deal with negation. In this paper, we introduce isoinitial semantics for logic programs and show that it can provide a rich semantics for logic programs, which can deal with not just negation, but also incomplete information, parametricity and compositionality.


Logic Program Logic Programming Open Program Constant Symbol Ground Atom 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    K.R. Apt and R. Bol. Logic programming and negation: a survey. JLP 19, 20:9–71, 1994.CrossRefMathSciNetGoogle Scholar
  2. 2.
    A. Bertoni, G. Mauri and P. Miglioli. On the power of model theory in specifying abstract data types and in capturing their recursiveness. Fundamenta Informaticae VI(2):127–170, 1983.MathSciNetGoogle Scholar
  3. 3.
    A. Bossi, M. Gabbrielli, G. Levi and M.C. Meo. A compositional semantics for logic programs. TCS 122:3–47, 1994.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    A. Brogi, P. Mancarella, D. Pedreschi and F. Turini. Modular logic programming. ACM TOPLAS 16(4):1361–1398, 1994.CrossRefGoogle Scholar
  5. 5.
    M. Bugliesi, E. Lamma and P. Mello. Modularity in logic programming. JLP 19, 20:443–502, 1994.CrossRefMathSciNetGoogle Scholar
  6. 6.
    D. Chan. Constructive negation based on the completed database. In Proc. JIC-SLP’88, pages 111–125, MIT Press, 1988.Google Scholar
  7. 7.
    D. De Schreye and S. Decorte. Termination of logic programs: The never-ending story. JLP 19, 20:199–260, 1994.Google Scholar
  8. 8.
    M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365–385, 1991.CrossRefGoogle Scholar
  9. 9.
    W. Hodges. Logical features of horn clauses. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson. editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1:449–503, Oxford University Press, 1993.Google Scholar
  10. 10.
    J. Küster Filipe, K.-K. Lau, M. Ornaghi, and H. Yatsu. On dynamic aspects of OOD frameworks in component-based software development in computational logic. In Proc. LOPSTR’99, LNCS 1817:43–62, Springer-Verlag, 2000.Google Scholar
  11. 11.
    K.-K. Lau, M. Ornaghi, and S.-Å. Tärnlund. Steadfast logic programs. JLP 38(3):259–294, 1999.zbMATHCrossRefGoogle Scholar
  12. 12.
    J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.Google Scholar
  13. 13.
    P. Lucio, F. Orejas, and E. Pino. An algebraic framework for the definition of compositional semantics of normal logic programs. JLP 40:89–123, 1999.zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    P. Miglioli, U. Moscato and M. Ornaghi. Constructive theories with abstract data types for program synthesis. In D.G. Skordev, editor, Mathematical Logic and its Applications, pages 293–302, Plenum Press, 1986.Google Scholar
  15. 15.
    P. Miglioli, U. Moscato and M. Ornaghi. Abstract parametric classes and abstract data types defined by classical and constructive logical methods. J. Symb. Comp. 18:41–81, 1994.zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    R. Reiter. On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293–322, Plenum Press, 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Kung-Kiu Lau
    • 1
  • Mario Ornaghi
    • 2
  1. 1.Dept. of Computer ScienceUniversity of ManchesterUK
  2. 2.Dip. di Scienze dell’InformazioneUniversita’ degli studi di MilanoItaly

Personalised recommendations