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


         

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

ВВЕДЕНИЕ В ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
История
Логический вывод

Логический вывод - 2
Логический вывод - 3
Логический вывод - 4
Логический вывод - 5
Применение метода резолюций для ответов на вопросы
Применение метода резолюций для ответов на вопросы - 2
Особенности языка Пролог
Особенности языка Пролог - 2
Пример Пролог-программы: родственные отношения
Фразы Хорна как средство представления знания

Алгоритм работы интерпретатора Пролога
Алгоритм работы интерпретатора Пролога - 2
Порядок предложений и целей
Порядок предложений и целей - 2
Этот вызов приводит к бесконечному циклу
Вариант 4
Декларативная и процедурная семантики
Арифметика в Прологе
Арифметика в Прологе - 2
Структуры

Структуры - 2
Списки
Списки - 2
Примеры использования структур
Примеры использования структур - 2
Ограничение перебора
Ограничение перебора - 2
Ограничение перебора - 3
Вычисление максимума
Процедура проверки принадлежности списку, дающая единственное решение

Добавление элемента списку, если он отсутствует (добавление без дублирования)
Негативная информация
Предположение о замкнутости мира
Тогда и только тогда, когда
Отрицание в явной форме
Преимущества отсечения
Недостатки отсечения
Отрицание определяется через отсечение
Повторение и откат
Повтор, определяемый пользователем

Эквивалентность программ и данных
Предположение об открытости мира
Доступ к программам и обработка программ
Загрузка базы данных (файла с программой)
Информирует систему, что указанный
Информирует систему, что указанный - 2
Программирование второго порядка
Программирование второго порядка - 2
Программирование второго порядка - 3
Программирование второго порядка - 4

Программирование второго порядка - 5
Мутанты
Олимпиадная задача
Рекомендуемая литература
Содержание






Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий