Back to Teaching Page

LOGIC PROGRAMMING Courses

  1. Introduction in Prolog Lecture 1
  2. Data structures. Lists. Recursion Lecture 2
  3. Lists. Recursion (II) AccumulatorsLecture 3
  4. Backtracking. The Cut predicate (!) Lecture 4
  5. Efficient Prolog. I/O Lecture 5
  6. Exercises (I) Lecture 6
  7. Exercises (II) Lecture 7
  8. Exercises (III) Lecture 8
  9. Exercises (IV) - Sorting algorithms Lecture 9
  10. First order predicate logic. Clausal form Lecture 10
  11. Clausal form of formulae -- Exercises Lecture 11
  12. Unification. Resolution Lecture 12
  13. Revision
  14. Colloquium


LOGIC PROGRAMMING Labs

  1. Introduction in Prolog Lab 1 -- Homework1
  2. Recursion Lab 2 -- Homework2
  3. Backtracking. The Cut predicate (!) Lab 3
  4. I/O in Prolog Lab 4
  5. I/O in Prolog (II) Lab 5
  6. Revision Lab 6
  7. TEST

Bibliography

  1. Free download SWI-PROLOG .
  2. [Nilsson, Maluszynski, 2000] Ulf Nilsson, Jan Maluszynski, Logic, Programming and Prolog, 2nd Edition, copyright Ulf Nilsson and Jan Maluszynski, 2000.
  3. [Brna, 1988] Paul Brna, Prolog Programming A First Course, Copyright Paul Brna, 1988.
  4. [Covington, 1989] M. A. Covington, Efficient Prolog: A Practical Guide, Research Report AI-1989-08, The University of Georgia, Athens, Georgia, 1989.
  5. [Covington et al, 1997] M.A. Covington, D. Nute, A. Vellino, Prolog Programming in Depth Prentice Hall, New Jersey, 1997.
  6. [Kowalski, 1979] Robert Kowalski, Logic for Problem Solving, North Holland New York, Amsterdam, Oxford, 1979.
  7. [Mellish, Clocksin 1994] C.S. Mellish, W. F. Clocksin, Programming in Prolog, Springer Verlag Telos, 4th edition, 1994.
  8. [Wielemaker, 2008] Jan Wielemaker, SWI-Prolog 5.6.60 Reference Manual, 1990-2008 , University of Amsterdam. http://gollem.science.uva.nl/SWI-Prolog/Manual.