Stratification of definite clause programs and of general logic programs

  • Olga Stepankova
  • Petr Stepanek
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 440)


Logic Program Atomic Formula Original Program Predicate Symbol Horn Clause 
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. Aandrea, S. O. [1971] On the decision problem for formulas in which all disjunctions are binary, Proc 2nd Scandinavian Logic Symposium, North Holland, Amsterdam, pp 1–18Google Scholar
  2. Apt, K. R, Blair, H. and Walker, A. [1988] Towards a theory of declarative knowledge. (to appear)Google Scholar
  3. Borger, E. [1971] Reduktionstypen in Krom-und Hornformeln Dissertation Universitat Muenster, (the respective part of the above Dissertation was published in the paper cited next below)Google Scholar
  4. [Borger, E. [1974] Beitrag zur Reduktion des Entscheidungproblems auf Klassen von Hornformeln mit kurzem Alternation, Arch. f. mathematische Logik u. Grundlagenforschung 16(1974), 67–84Google Scholar
  5. Lassez, C. McAloon, K. and Port, G. [1987] Stratification and Knowledge Base Management in: Proc Fourth Int. Conf. Logic Programming J.-L. Lassez (editor) MIT Press, pp. 136–151Google Scholar
  6. Maher, M. J. [1986] Equivalences of Logic Programs in: Proc. Third Int. Conference on Logic Programming, E. Shapiro (editor) LNCS 225 Springer-Verlag pp.410–424Google Scholar
  7. Ochozka, V., Stepankova, O., Stepanek, P. and Hric, J. [1989] Normal Forms and the Complexity of Computations of Logic Programs in: CSL '88 “nd workshop on Computer Science Logic, Duisburg 1988, Lecture Notes in Comp. Sci. Vol 385, Springer-Verlag 1989 pp 357–371Google Scholar
  8. Sebelik, J., Stepanek, P. [1980] Horn Clause Programs Suggested by Recursive Functions, in Proc Logic Programming Workshop, Debrecen 1980, S.A. Trnlund (editor)Google Scholar
  9. Sebelik, J., Stepanek, P. [1982] Horn Clause programs for Recursive Functions in: Logic Programming, K.J.Clark and S.A. Tarnlund (Editors), ACADEMIC PRESS London pp 325–240Google Scholar
  10. Stepankova, O., Stepanek, P. [1984] Transformations of Logic Programs J. Logic Programming 1 (1984), 305–318Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Olga Stepankova
  • Petr Stepanek

There are no affiliations available

Personalised recommendations