COSC 2P93 Introduction to Logic Programming

• Instructor: Brian Ross (bross@brocku.ca)

• TA: TBA

Course Information

• 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
• Assignment 4
• Assignment 5
• Assignments, old exams
• Lecture material (Powerpoint files; local access)
• Example programs discussed in class, assignment and midterm solutions. (Local Brock network access only)

  Midterm: February TBA (in class)

• News

Available Prolog systems

• Linux and Windows: Sicstus Prolog 4
  • sandcastle path: /usr/local/sicstus/bin/
  • Online documentation and local PDF file.

Commercial and/or free Prolog implementations

• SWI Prolog (free)
• Prolog 2 DOS (free)
• Visual Prolog (free)
• Comparison of Prolog Implementations (Wikipedia)

Web sites

• Prolog (wikipedia)

Free Prolog books

• Adventure in Prolog, Dennis Merritt.
• Prolog wikibook
• Prolog Tutorial by J.R. Fisher
• Logic, Programming and Prolog by Ulf Nilsson and Jan Maluszynski
• Adventure in Prolog by Dennis Merrit
• Learn Prolog Now! by Patrick Blackburn, Johan Bos, and Kristina Striegnitz
• Prolog Programming: a first course by Paul Brna
• Introduction to Prolog for Mathematicians by Jocelyn Paine
• Artificial Intelligence through Prolog by Neil C. Rowe
• Prolog and Natural Language Analysis by Fernando C. N. Pereira and Stuart M. Shieber
• More freebies are here.

Go to Brock Computer Science home page.