The Logic Programming Paradigm and Prolog

   page       BibTeX_logo.png       attach   
Krzysztof R. Apt
John C. Mitchell (a cura di)
Concepts in Programming Languages, capitolo 15, pp. 475–508
Cambridge University Press, Cambridge, UK
gennaio 2005

This is a tutorial on logic programming and Prolog appropriate for a course on programming languages for students familiar with imperative programming.