Some formal systems of the logic programming

  • G. E. Mints
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)


Logic Programming Intuitionistic Logic Horn Clause Query Part Suitable Fragment 
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. [Cl]
    Clark K.L. Negation as failure, in: H. Gallaire and J. Minker (eds.), Logic and Databases, Plenum, 1978, 293–322Google Scholar
  2. [Cu]
    Curry H.B. Foundations of Mathematical Logic, McGraw Hill, 1963Google Scholar
  3. [G]
    Gabbay D. M. Negation as inconsistency. I. J. Log. Progr., 1986,no.1, 1–35Google Scholar
  4. [GR]
    Gabbay D. M., Reyle U. N-Prolog, and extension of Prolog with hypothetical reasoning. Part I. J. Log. Progr., 1984, no.1, 319–355; Part II. The same J. 1985, no.2, 251–284Google Scholar
  5. [K]
    Kanovich M. I. Lossless calculi in the effective schematic synthesis of programs. (Russian) Soviet Conference in Applied Logic. Novosibirsk 1985, 98–100Google Scholar
  6. [M1]
    Mints G.E. Complete calculus for the pure Prolog. (Russian) In Applications of the methods of mathematical logic, Tallinn 1986, 116–119Google Scholar
  7. [M2]
    Mints G.E. Complete calculus for the pure Prolog. (Russian) Proc. Estonian Academy of Sci., 1987, v.36, no as inconsistency. 1986,no.1, 1–35Google Scholar
  8. [GR]
    Gabbay D. M., Reyle U. N-Prolog, and extension. 2, 215–240Google Scholar
  9. [S]
    Schütte K. Beweistheorie. Springer Verlag, 1977Google Scholar
  10. [T]
    Tyugu E.H. The future of logic programming. Information Processing 86. H.J. Kugler (ed). North-Holland, 1986, 225–227Google Scholar
  11. [V]
    Vorobyev N.N. A new derivability algorithm in the constructive propositional calculus. Proc. Steklov Math. Inst. 1958, v.52, 193–226. (Russian, the English translation by AMS)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • G. E. Mints
    • 1
  1. 1.Institute of CyberneticsEstonian Academy of SciencesTallinnUSSR

Personalised recommendations