Logic Programming

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

Содержит исходные файлы и соответствующую информацию о кодах логического программирования, запрограммированных весной 2018 года для курса CS6374: Вычислительная логика Рахула Налаваде.

Каталоги:

1. Базовый Пролог
2. Обработка списков, деревья и арифметика
3. Эффективная арифметика, недетерминированный поиск и задача бельгийской змеи
4. Программирование набора ответов и s(ASP)
5. Программирование логики ограничений