Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Языки программирования интеллектуальных систем
3. Язык программирования Prolog
Предыдущая страница
Следующая страница
Table of contents
Предисловие
1. Методология разработки интеллектуальных систем
+
2. Методы представления знаний
+
3. Язык программирования Prolog
-
3.1. Синтаксис языка Prolog
3.1.1. Основные элементы языка Prolog
3.1.2. Представление клауз Хорна на языке Prolog. Факты. Правила. Вопросы
3.1.3. Пример простой программы на языке Prolog
3.1.4. Описание работы в среде программирования SWI-Prolog
3.2. Семантика языка программирования Prolog
3.3. Вычислительная модель логической программы
3.3.1. Унификация термов
3.3.2. Общая схема согласования целевых утверждений
3.3.3. Механизм поиска с возвратом
3.4. Рекурсивное программирование на языке Prolog
3.4.1. Рекурсивные правила
3.4.2. Схема поиска решений в рекурсивных программах
3.4.3. Списки и их представление на языке Prolog
3.4.4. Множества и их представление на языке Prolog. Простые программы обработки множеств
3.4.5. Prolog-программы сортировки списков
3.5. Стандартные предикаты языка Prolog
3.5.1. Арифметические предикаты
3.5.2. Предикаты сравнения арифметических выражений и символьных термов
3.5.3. Предикаты определения типов термов
3.5.4. Предикаты ввода/вывода термов и символов
3.5.5. (стандартные предикаты управления логическим выводом
3.5.6. Стандартные предикаты обработки списков
3.5.7. Стандартные предикаты для работы с базой данных
3.6. Проектирование экспертных систем на языке Prolog
3.6.1. Назначение и структура экспертной системы
3.6.2. Представление знаний с помощью предложений языка SWI-Prolog
3.6.3. Механизм логического вывода
3.6.4. Система пользовательского интерфейса
3.6.5. Пример экспертной системы, базирующейся на правилах
4. Функциональный язык программирования LISP
+
5. Среда разработки экспертных систем CLIPS
+
Библиографический список
Данный блок поддерживает скрол*