RISC Logo
    News       Library       Links       Sitemap       Search  
line
 
 Logic Programming
 

Introduction to Logic Programming

The course is an introduction to logic programming through Prolog. It basically follows the following book:

W. F. Clocksin and C. S. Mellish. Programming in Prolog. Fourth edition. Springer. 1994.

With each lecture the students will be given exercises involving the concepts of the lecture. At the end of the semester there will be a final written exam.

Organization

Winter Semester 2003/2004.

  • Number: 326.531
  • Title: Logic Programming
  • Lecturer: Temur Kutsia
  • Time: Wed 16:15-18:00
  • Place: T 911
  • Starts: October 15
  • Final Exam: January 28

Contents

  • Logical foundations. Introduction to Prolog programming.
  • Questions, variables, conjunctions, rules, goals.
  • Prolog syntax. Characters, operators, equality and matching, arithmetic.
  • Using data structures. Several programming techniques on Prolog (Mapping, recursion, accumulators, difference structures).
  • Backtracking, generating multiple solutions, the cut.
  • Examples, debugging.
  • Unification, computational model.
  • Constraint logic programming.

Materials

    This page is maintained by Temur Kutsia . Last updated on November 20, 2003