Джерела

1. Clocksin F. W. and Mellish С S. (1981). Programming in Prolog.  Springer-Verlag. [Имеется перевод: Клоксин У., Мелиш К. Программирование на языке Пролог. — М.: Мир, 1987.]

1.  Nilsson N. J. (1980). Principles of Artificial Intelligence.  Tioga; Springer-Verlag.

1.  Waterman D. A. and Hayes-Roth F. (1978, eds). Pattern-Directed Inference Systems.  Academic Press. 

Братко Иван - Программирование на языке Пролог

Пролог - язык программирования будущег

Logic, Programming and Prolog

Основы программирования на языке Пролог - курс Интуита

Документация по Swi-Prolog 

Туториалы по Visual Prolog

Мануалы по Gnu Prolog

Відеоматеріали

Курс по програмуванню у Пролог