Программирование на языке ПРОЛОГ для искуственного интеллекта


Содержание


Простая программа для автоматического докаэательства теорем - часть 10
СИНТАКСИС И СЕМАНТИКА ПРОЛОГ ПРОГРАММ
Объекты данных
Атомы и числа
Атомы и числа - часть 2
Переменные
Имеетребенка( X) :- родитель( X, Y)
Имеетребенка( X) :- родитель( X, _ )
Некто_имеет_ребенка :- родитель( X, Y)
?- Родитель( X, _ )
Структуры
Структуры - часть 2
Структуры - часть 3
Упражнения
Сопоставление
Сопоставление - часть 2
Сопоставление - часть 3
Сопоставление - часть 4
Сопоставление - часть 5
Упражнения
Процедурная семантика
Процедурная семантика - часть 2
Процедурная семантика - часть 3
Процедурная семантика - часть 4
Процедурная семантика - часть 5
Процедурная семантика - часть 6
Процедурная семантика - часть 7
Процедурная семантика - часть 8
Процедурная семантика - часть 9
Упражнение
Пример: обезьяна и банан
Пример: обезьяна и банан - часть 2
Пример: обезьяна и банан - часть 3
Пример: обезьяна и банан - часть 4
Пример: обезьяна и банан - часть 5
Пример: обезьяна и банан - часть 6
Декларативный смысл пролог-программ
Декларативный смысл пролог-программ - часть 2
Декларативный смысл пролог-программ - часть 3
Упражнения
Замечания о взаимосвязи между Прологом и логикой
Упражнение
Резюме
Литература
Опасность бесконечного цикла
Опасность бесконечного цикла - часть 2
Опасность бесконечного цикла - часть 3
Варианты программы, полученые путем переупорядочивания предложений и целей
Варианты программы, полученые путем переупорядочивания предложений и целей - часть 2
Варианты программы, полученые путем переупорядочивания предложений и целей - часть 3
Сочетание декларативного и процедурного подходов
СПИСКИ, ОПЕРАТОРЫ, АРИФМЕТИКА
Представление списков
Представление списков - часть 2
Представление списков - часть 3
Операторная запись (нотация)
Операторная запись (нотация) - часть 2
Операторная запись (нотация) - часть 3
Операторная запись (нотация) - часть 4
Операторная запись (нотация) - часть 5
Упражнения
Упражнения - часть 2
Арифметические действия
Арифметические действия - часть 2
Арифметические действия - часть 3
Арифметические действия - часть 4
Арифметические действия - часть 5
Арифметические действия - часть 6
Арифметические действия - часть 7
Упражнения
Упражнения - часть 2
Резюме
Некоторые операции над списками
Принадлежность к списку
Сцепление ( конкатенация)
Сцепление ( конкатенация) - часть 2
Сцепление ( конкатенация) - часть 3
Упражнения
Добавление элемента
Удаление элемента
Удаление элемента - часть 2
Подсписок
Перестановки
Перестановки - часть 2
Упражнения
Упражнения - часть 2
ИСПОЛЬЗОВАНИЕ СТРУКТУР: ПРИМЕРЫ
Получение структурированной информации из базы данных
Получение структурированной информации из базы данных - часть 2
Получение структурированной информации из базы данных - часть 3
Получение структурированной информации из базы данных - часть 4
Получение структурированной информации из базы данных - часть 5
Упражнения
Абстракция данных
Абстракция данных - часть 2
Абстракция данных - часть 3
Упражнение
Планирование поездки
Планирование поездки - часть 2
Планирование поездки - часть 3
Планирование поездки - часть 4
Планирование поездки - часть 5
Планирование поездки - часть 6
Моделирование недетерминированного автомата
Моделирование недетерминированного автомата - часть 2
Моделирование недетерминированного автомата - часть 3
Моделирование недетерминированного автомата - часть 4
Моделирование недетерминированного автомата - часть 5
Упражнения
УПРАВЛЕНИЕ ПЕРЕБОРОМ
Ограничение перебора
Эксперимент 1
Эксперимент 1 - часть 2
Эксперимент 2
Эксперимент 2 - часть 2
Эксперимент 2 - часть 3
Задача о восьми ферзях
Задача о восьми ферзях - часть 2
Задача о восьми ферзях - часть 3
Задача о восьми ферзях - часть 4
Упражнение
Программа 2
Программа 2 - часть 2
Программа 2 - часть 3
Программа 3
Программа 3 - часть 2
Программа 3 - часть 3
Программа 3 - часть 4
Заключительные замечания
Упражнение
Резюме
Вычисление максимума
Процедура проверки принадлежности списку, дающая единственное решение
Добавление элемента к списку, если он в нем отсутствует (добавление без дублирования)
Задача классификации объектов
Задача классификации объектов - часть 2
Упражнения
Трудности с отсечением и отрицанием
Трудности с отсечением и отрицанием - часть 2
Трудности с отсечением и отрицанием - часть 3
Резюме
Литература
ВВОД И ВЫВОД
Связь с файлами
Связь с файлами - часть 2
Связь с файлами - часть 3
Связь с файлами - часть 4
Reаd и write
Reаd и write - часть 2
Reаd и write - часть 3
Reаd и write - часть 4
Вывод списков
Вывод списков - часть 2
Формирование термов
Формирование термов - часть 2
Формирование термов - часть 3
Обработка произвольного файла термов
Обработка произвольного файла термов - часть 2
Обработка произвольного файла термов - часть 3
Упражнения



Начало    



Книжный магазин