Лекция 1: Что такое логическое программирование
|
719 |
Лекция 2: Введение в Пролог и логическое программирование
|
884 |
Лекция 3: Логика
|
726 |
Лекция 4: Метод резолюции
|
2197 |
Лекция 5: Языки логического программирования Пролог и Mercury
|
916 |
Лекция 6: Рекурсивные структуры данных. Списки и деревья
|
805 |
Лекция 7: Отрицание в логическом программировании
|
642 |
Лекция 8: Решение логических задач. Метод генерации и проверок
|
674 |
Лекция 9: Типизация в логических языках
|
589 |
Лекция 10: Алгоритмы поиска в графах
|
636 |