Brock COSC 2P93 Introduction to Logic Programming

COSC 2P93 Introduction to Logic Programming

PROLOG Programming for Artificial Intelligence (4e),
Ivan Bratko, Addison-Wesley, 2011, ISBN 0321417461.
- Chapters (4e): 1, 2, 3, 4, 5, 6, 7, 8, 9, 23, 25
- Use the content from these chapters that offers additional explanation about lecture material.
- Companion web site for the book. (eg. Prolog source code)
(recommended) Programming in Prolog (5e),
Clocksin and Mellish, Springer-Verlag, 2003, ISBN 978-3540006787.
Outline
Assignment 1
Assignment 2
Assignment 3 (corrected Feb 7 2013)
Assignment 4
- Example code for a 4-by-4 grid of cities: 4x4map.pro
- Djibouti data: dj38.tsp
- Djibouti map: djmap.jpg
- Djibouti points: djpoints.gif
- Djibouti labelled points: dj38_points.png
  (numbers based on order in data file; use this to draw your best solution!):
- Djibouti tour (solution): djtour.gif
- Source of Djibouti data: www.tsp.gatech.edu/world/countries.html
- More crazy TSP data sets: TSP Test Data @ gatech
Assignment 5
Assignments, old exams
Information on using Linux Script for assignment execution.
Example Prolog programs discussed in class, assignment and midterm solutions.
Example Lisp programs.
News

Lectures

These files may be incomplete. Complete notes are given during lectures.

Introduction (rev 1/2/2013)
Unification and control (rev 1/23/2013)
Debugging, recursion (rev 1/24/2013)
List processing (rev 1/29/2013)
More lists, data structures (rev 1/24/2013)
Even more examples: sorting, lotto, puzzle (rev 2/5/2013)
Extralogical Prolog (rev 2/26/2013)
Control and the cut (rev 2/5/2013)
Style and efficiency (rev 3/4/2013)
Meta-interpreters (rev 3/11/2013)
Grammars (rev 3/18/2013)
Constraint Logic Programming (rev 3/12/2013)
Misc. logic programming topics (rev 3/20/2013)
- Benchmarks (local access)
Expert systems (rev 3/25/2013)
- Buchanan paper (local access)
Intro to Lisp (rev 3/25/2013)
- Man page (local access)