Programming in Prolog

Latest News

• Advised book: I. Bratko. PROLOG Programming for Artificial Intelligence, 3rd ed. Addison-Wesley, Harlow, 2001 (older editions are also suitable)
• Lectures: Monday, Meston 2, 10-11am; Friday, Meston 2, 11-12am
• Practicals: Meston 205; Group I, Monday 3-5pm; Group II, Tuesday 11am-1pm; Group III: Tuesday 3pm-5pm
• Tutorials: please send an e-mail to plucas@csd.abdn.ac.uk if you have problems understanding some basic issues of LP and Prolog, so that a tutorial can be arranged to explain those issues
• Association for Logic Programming (ALP)
• Logic Programming at the Catholic University of Leuven

Content of Lectures

• Introduction: history and principles of Prolog and logic programming
  [Introductory paper: PDF, or Gzipped Postscript]
  [Slides 6/page: PDF, or Gzipped Postscript]
• Declarative programming in Prolog and beyond
  [Slides 6/page: PDF, or Gzipped Postscript]
• Controlling backtracking
  [Slides 6/page: PDF, or Gzipped Postscript]
• Prolog: bits and pieces (backtracking and evaluation)
  [Slides 6/page: PDF, or Gzipped Postscript]
• Self-reflection (database manipulation and applications)
  [Slides 6/page: PDF, or Gzipped Postscript]