Обучение Prolog — работа в Москве

Для себя Я: студент МГТУ им. Н. Э. Баумана, кафедры ИУ7 (программная инженерия). Хочу разобраться в базе Prolog’а, ибо как-то тяжко воспринимается информация с лекций, а запускать предмет не хочется. Курс только начался, хотелось бы рассмотреть лабораторные работы и «наложить» на них теорию, пройденную на лекции (общая прологовая теория, так сказать). Сейчас не особо понимаю, как оно сочетается. Некоторые моменты из теории для понимания тем: 1) база знаний и вопрос; 2) термы; 3) факты и правила; 4) переменные, конкретизация; 5) функтор; 6) подстановка; 7) процедура; 8) пример, общий пример, более общий, наиболее общий пример; 9) унификация, успешная унификация, алгоритм унификации; 10) унификатор двух термов; 11) наиболее общий унификатор двух термов; 12) общая схема согласования целевых утверждений; 13) резольвента; 14) редукция.