Logic Programming Languages

  • Reinhard Wilhelm
  • Helmut Seidl


The idea of logic programming can be traced back to R. Kowalski and A. Colmerauer, who discovered, at the beginning of the Seventies, how to give an operational interpretation to expressions of predicate logic.


Virtual Machine Logic Programming Garbage Collection Horn Clause Translation Scheme 
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. [CM03]
    W.F. Clocksin, C.S. Mellish. Programming in Prolog: Using the ISO Standard. Springer, 2003.zbMATHGoogle Scholar
  2. [Han86]
    M. Hanus. Problemlösen mit Prolog. Teubner Verlag, 1986.Google Scholar
  3. [Hau06]
    Tobias Hauser. Einstieg in ActionScript. Galileo Press, 2006.Google Scholar
  4. [KBS86]
    H. Kleine-Büning, S. Schmittgen. Prolog. Teubner, 1986.zbMATHGoogle Scholar
  5. [SS94]
    L. Sterling, E. Shapiro. The Art of Prolog, Advanced Programming Techniques. MIT Press, 1994.zbMATHGoogle Scholar
  6. [MW88]
    D. Maier, D.S.Warren. Computing with Logic, Logic Programming with Prolog. Benjamin/Cummings, 1988.zbMATHGoogle Scholar
  7. [Llo87]
    J.W. Lloyd. Foundations of Logic Programming. 2nd ed., Springer, 1987.zbMATHGoogle Scholar
  8. [Apt90]
    K.R. Apt. Logic Programming, Handbook of Theoretical Computer Science. Elsevier, 1990.Google Scholar
  9. [Bez88]
    M. Bezem. Logic Programming and PROLOG. In CWI Quarterly 1(3), pp. 15– 29, Amsterdam, Centre for Mathematics and Computer Science, 1988.zbMATHMathSciNetGoogle Scholar
  10. [War77]
    D.H.D. Warren. Applied Logic: Its Use and Implementation as a Programming Language Tool. Ph.D. Thesis, Univ. of Edinburgh, 1977.Google Scholar
  11. [AK91]
    H. Aït-Kaci. Warren’s Abstract Machine: A Tutorial Reconstruction. MITPress, 1991.Google Scholar
  12. [SWD05]
    Tom Schrijvers, Jan Wielemaker, Bart Demoen. Constraint Handling Rules for SWI-Prolog. In Workshop on (Constraint) Logic Programming, Ulm, 2005.Google Scholar
  13. [SIC06]
    SICStus 4 Beta Documentation, 2006. Homepage:
  14. [AW06]
    Krzysztof Apt, Mark Wallace. Constraint Logic Programming Using ECLiPSe. Cambridge University Press, 2006.Google Scholar
  15. [HS99]
    Michael Hanus, Ramin Sadre. An Abstract Machine for Curry and Its Concurrent Implementation in Java. Journal of Functional and Logic Programming, SpecialIssue 1, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  1. 1.FB InformatikUniversität des SaarlandesSaarbrückenGermany
  2. 2.Fak. InformatikTU MünchenGarchingGermany

Personalised recommendations