Institute for Logic,
                         Language and Computation
                           Lecture Notes
               An Introduction to Prolog Programming
                             Ulle Endriss
                        Universiteit van Amsterdam
          c
          
byUlle Endriss, University of Amsterdam (Email: ulle.endriss@uva.nl)
                     Version: 1 September 2014
                               Preface
           These lecture notes introduce the declarative programming language Prolog. The em-
           phasis is on learning how to program, rather than on the theory of logic programming.
           Nevertheless, a short chapter on the logic foundations of Prolog is included as well.
           All examples have been tested using SWI-Prolog (www.swi-prolog.org) and can be ex-
           pected to work equally well with most other Prolog systems. These notes have originally
           been developed for a course I taught at King’s College London in 1999 and 2000.
           Amsterdam, August 2005                       U.E.
           The present version corrects a number of minor errors in the text, most of which
           have been pointed out to me by students following a number of courses I have given at
           the University of Amsterdam since 2005.
           Amsterdam, September 2014                    U.E.
                                   iii