Introduction to Logic Programming

Goals

• Introduction to logic programming.
• Understanding logical foundations and computational model.
• Learning practical programming in Prolog.

The final grade will depend on the assignment results and on the final exam at the end of the semester (solving assignments is a necessary precondition to be admitted to the exam).

Organization

Winter Semester 2012.

• Number: 326.028
• Title: Logic Programming
• Lecturer: Temur Kutsia
• Time: Wed 16:15-18:00
• Place: T 212
• Language: English
• First lecture: October 3.
• Exam: February 14, 11:15-12:45, Room K 012D

Registration

Please register for the course via the KUSSS system.

Contents

• Logical foundations. Introduction to Prolog programming.
• Questions, variables, conjunctions, rules, goals.
• Prolog syntax. Characters, operators, equality and matching, arithmetic.
• Using data structures. Programming techniques on Prolog (Mapping, recursion, accumulators, difference structures).
• Backtracking, generating multiple solutions, the cut.
• Selected examples.
• Unification, computational model of logic programs.
• Constraint logic programming.
• Grammar rules (DCG).
• Efficiency issues.

Course Materials

• Book: W. F. Clocksin and C. S. Mellish. Programming in Prolog. Fifth edition. Springer. 2003.
• Slides:
  • Introduction - pdf
  • Questions, variables, conjunctions, rules, goals - pdf
  • Prolog syntax - pdf
  • Data structures, mapping, recursion - pdf
  • Data structures, comparison, joining, accumulators, difference structures - pdf
  • Backtracking, the cut - pdf
  • Unification - pdf
  • Computational Model - pdf
  • Using Grammar Rules - pdf
  • Efficiency issues - pdf
  • Examples - pdf
  • Manipulating programs - pdf
• Assignments: Assignments are for individual work. They are to be submitted by email. There will be three assignments in total. Please write LP12-AS1, LP12-AS2, LP12-AS3, in the subject of your mail when you submit assignments.
  • Assignment 1. Due: November 23.
  • Assignment 2. Due: December 20.
  Assignment 3. Due: January 18.
• Programs:
  • Crossword: problem, solution.
  • Einstein's puzzle.
  • Logic puzzle.
  • Missionaries and Cannibals
• Additional material:
  • M. A. Covington et al. Some Coding Guidelines for Prolog. (Highly recommended!)
  • M. A. Covington. Efficient Prolog: A Practical Guide. Research Report AI-1989-08, The University of Georgia, Athens, Georgia, 1989.
  • W. F. Clocksin. Prolog Programming (PowerPoint format).
  • J. Lloyd. Foundations of Logic Programming, second edition, 1987. Springer.
  • Open lists and difference lists. A section from Paul Brna's online Prolog book.
  • P. Gloess. Constraint Logic Programming (PowerPoint format).
• System(s):
  • SWI-Prolog. For Windows users there is a convenient SWI-Prolog editor.
  • GNU-Prolog.
  • Prolog mode for (X)Emacs.
• Some interesting on-line resources:
  • Prolog newsgroup.
  • Prolog Development Center.
  • SICStus Prolog web page.
  • Quintus Prolog web page.
  • Related Web resources from the SWI-Prolog Web page.

---

Maintained by Temur Kutsia

---