Choices in, and limitations of, logic programming

  • Paul J. Voda
Session 6b: Theory And Negation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)


Logic Program Logic Programming Function Symbol 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. [1]
    Barwise J. (ed.), Handbook of Mathematical Logic; North-Holland 1977.Google Scholar
  2. [2]
    Boyer R., Moore J., A Computational Logic; Academic Press, 1979.Google Scholar
  3. [3]
    Clark K., Negation as Failure. Logic and Data Bases (H. Gallaire ed.); Plenum Press 1978.Google Scholar
  4. [4]
    Clark K., Ennals J., McCabe F., A Micro-Prolog Primer. Logic Programming Associates Ltd, London 1981.Google Scholar
  5. [5]
    Clocksin W., Mellish C., Programming in Prolog, Springer Berlin 1981.Google Scholar
  6. [6]
    Colmerauer A., Kanoui H., Van Caneghem M., Prolog, Theoretical Principles and Current Trends; Technology and Science of Informatics, vol. 2, North Oxford Academic, 1983.Google Scholar
  7. [7]
    Hinman P., Recursion-Theoretic Hierarchies, Springer 1978.Google Scholar
  8. [8]
    Kleene S., Introduction to Meta-Mathematics; North Holland 1952.Google Scholar
  9. [9]
    Kleene S., Mathematical Logic; North Holland 1963.Google Scholar
  10. [10]
    LLoyd J., Foundations of Logic Programming; Springer Berlin 1984.Google Scholar
  11. [11]
    LLoyd J., Topor R., Making Prolog More Expressive; Journal of Logic Programming 1984 no. 3.Google Scholar
  12. [12]
    Naish L., An Introduction to MU-Prolog, Tech. Report Dept. of Comp. Science University of Melbourne, 1982.Google Scholar
  13. [13]
    Shoenfield J., Mathematical Logic, Addison-Wesley, 1967.Google Scholar
  14. [14]
    Takeuti G., Proof Theory; North Holland 1975.Google Scholar
  15. [15]
    Van Emden M., Kowalski R., The Semantics of Predicate Logic as a Programming Language; Journal of ACM, vol 23. 1976.Google Scholar
  16. [16]
    Voda P., Theory of Pairs, Part I: Provably Recursive Functions; Technical Report of Dept. Comp. Science UBC, Vancouver December 1984.Google Scholar
  17. [17]
    Voda P., A View of Programming Languages as Symbiosis of Meaning and Computations; New Generation Computing, Tokyo, February 1985.Google Scholar
  18. [18]
    Voda P.J., Computation of Full Logic Programs Using One-Variable Environments; New Generation Computing, vol.4 no. 2, May 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Paul J. Voda
    • 1
  1. 1.Department of Computer ScienceThe University of British ColumbiaVancouverCanada

Personalised recommendations