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


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

  - Формализовать набор фраз естественного языка в виде программы на языке Prolog;
  - Создание предикатов для обработки списков;
  - Решение задачи методом Британского музея или Грубой силы;
  - (дополнительно) Реализация программы на языке [[loop:home|Logtalk]].

Версия методички с заданиями - [[https://github.com/eugeneai/ais/raw/new-isu/ais2.pdf|ais2.pdf]].\\
Версия методички в виде tutorial (в ней нет заданий) - [[https://github.com/eugeneai/ais/raw/ais-pure-math/ais.pdf|ais.pdf]]