Четыре лабораторные работы (сделать минимум две) -
Формализовать набор фраз естественного языка в виде программы на языке Prolog;
Создание предикатов для обработки списков;
Решение задачи методом Британского музея или Грубой силы;
(дополнительно) Реализация программы на языке
Logtalk.
Версия методички с заданиями - ais2.pdf.
Версия методички в виде tutorial (в ней нет заданий) - ais.pdf