COSC 2P93 Winter 2013/14
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