Introduction to Logic Programming. Michael Genesereth

Программы. Synthesis Lectures on Artificial Intelligence and Machine Learning