Логическое программирование

Четыре лабораторные работы (сделать минимум две) -

  1. Формализовать набор фраз естественного языка в виде программы на языке Prolog;
  2. Создание предикатов для обработки списков;
  3. Решение задачи методом Британского музея или Грубой силы;
  4. (дополнительно) Реализация программы на языке Logtalk.

Версия методички с заданиями - ais2.pdf.
Версия методички в виде tutorial (в ней нет заданий) - ais.pdf