COSC 2P93 Winter 2014/15

Logic Programming

Resources

Prolog Systems

• SWI Prolog

Prolog Programming

• Learn Prolog Now!
• Nilsson & Maluszynski: Logic, Programming and Prolog
• Spivey: An Introduction to Programming through Prolog
• Prolog editor

Specific topics

• Artificial Intelligence - Foundations of Computational Agents by David Poole and Alan Mackworth
• Introduction to Logic by Michael Genesereth and Eric Kao
• Sets, relations, functions by Ivo Düntsch and Günther Gediga