Математика
Общий обзор языка Пролог. Синтаксис Пролога. Арифметика. Сопоставление.Семантика Пролога. Списки. Встроенные предикаты. Отсечение. Сортировка списков. Встроенные предикаты. Поиск на Прологе. Встроенные предикаты обработки термов. Операции в Прологе. Поиск. Поиск с предпочтением: Эвристический поиск.Грамматические правила. Задача о двух кувшинах. Логические головоломки. Программа "Быки и Коровы"
Общий обзор языка Пролог.
Синтаксис Пролога. Арифметика. Сопоставление.
Семантика Пролога.
Списки. Встроенные предикаты.
Отсечение. Сортировка списков.
Встроенные предикаты. Поиск на Прологе.
Встроенные предикаты обработки термов.
Операции в Прологе. Поиск.
Поиск с предпочтением: Эвристический поиск.
Грамматические правила.
Задача о двух кувшинах.
Логические головоломки.
Программа "Быки и Коровы"