Logic Programming Books, Documents, and Lectures

Title	Year	Description
Logic Programming with Prolog	1993	This book is a short introduction to logic programming and Prolog. This material is an excellent resource to any student taking a course Logic Programing or AI using Prolog as an implementation languange.