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


   Teletrade        

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

Вычисление максимума
Процедура проверки принадлежности списку, дающая единственное решение
Добавление элемента к списку, если он в нем отсутствует (добавление без дублирования)
Задача классификации объектов
Задача классификации объектов - 2

Упражнения
Отрицание как неуспех
Отрицание как неуспех - 2
Отрицание как неуспех - 3
Упражнения
Упражнения - 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
Упражнения
Обработка символов

Обработка символов - 2
Упражнение
Создание и декомпозиция атомов
Создание и декомпозиция атомов - 2
Создание и декомпозиция атомов - 3
Создание и декомпозиция атомов - 4
Упражнения
Ввод программ: consult, reconsult
Резюме
Резюме - 2

ДРУГИЕ ВСТРОЕННЫЕ ПРОЦЕДУРЫ
Предикаты var, nоnvar, atom, integer, atomic
Предикаты var, nоnvar, atom, integer, atomic - 2
Предикаты var, nоnvar, atom, integer, atomic - 3
Решение числового ребуса с использованием nonvar
Решение числового ребуса с использованием nonvar - 2
Решение числового ребуса с использованием nonvar - 3
Решение числового ребуса с использованием nonvar - 4
Решение числового ребуса с использованием nonvar - 5
Решение числового ребуса с использованием nonvar - 6

Упражнения
Создание и декомпозиция термов: =, functor, arg, name
Создание и декомпозиция термов: =, functor, arg, name - 2
Создание и декомпозиция термов: =, functor, arg, name - 3
Создание и декомпозиция термов: =, functor, arg, name - 4
Создание и декомпозиция термов: =, functor, arg, name - 5
Создание и декомпозиция термов: =, functor, arg, name - 6
Упражнения
Различные виды равенства
Различные виды равенства - 2

Работа с базой данных
Работа с базой данных - 2
Работа с базой данных - 3
Работа с базой данных - 4
Работа с базой данных - 5
Упражнения
Средства управления
Bagof , setof и findall
Bagof , setof и findall - 2
Bagof , setof и findall - 3

Упражнения
Резюме
Резюме - 2
СТИЛЬ И МЕТОДЫ ПРОГРАММИРОВАНИЯ
Общие принципы хорошего программирования
Общие принципы хорошего программирования - 2
Общие принципы хорошего программирования - 3
Как представлять себе программы на Прологе
Использование рекурсии
Обобщение

Использование рисунков
Стиль программирования
Некоторые правила хорошего стиля
Некоторые правила хорошего стиля - 2
Некоторые правила хорошего стиля - 3
Некоторые правила хорошего стиля - 4
Табличная организация длинных процедур
Отладка
Отладка - 2
Эффективность

Эффективность - 2
Повышение эффективности решения задачи о восьми ферзях
Повышение эффективности программы раскраски карты
Повышение эффективности программы раскраски карты - 2
Повышение эффективности программы раскраски карты - 3
Повышение эффективности программы раскраски карты - 4
Повышение эффективности конкатенации списков за счет совершенствования структуры данных
Повышение эффективности конкатенации списков за счет совершенствования структуры данных - 2
Повышение эффективности зa счет добавления вычисленных фактов к базе данных
Повышение эффективности зa счет добавления вычисленных фактов к базе данных - 2

Повышение эффективности зa счет добавления вычисленных фактов к базе данных - 3
Повышение эффективности зa счет добавления вычисленных фактов к базе данных - 4
Упражнения
Резюме
ОПЕРАЦИИ НАД СТРУКТУРАМИ ДАННЫХ
Замечания в некоторых альтернативных способах представления списков
Замечания в некоторых альтернативных способах представления списков - 2
Упражнения
Сортировка списков
Сортировка списков - 2

Сортировка списков - 3
Сортировка списков - 4
Сортировка списков - 5
Сортировка списков - 6
Упражнения
Представление множеств двоичными деревьями
Представление множеств двоичными деревьями - 2
Представление множеств двоичными деревьями - 3
Представление множеств двоичными деревьями - 4
Представление множеств двоичными деревьями - 5

Упражнения
Двоичные справочники: добавление и удаление элемента
Двоичные справочники: добавление и удаление элемента - 2
Двоичные справочники: добавление и удаление элемента - 3
Двоичные справочники: добавление и удаление элемента - 4
Двоичные справочники: добавление и удаление элемента - 5
Отображение деревьев
Отображение деревьев - 2
Упражнение
Представление графов

Представление графов - 2
Поиск пути в графе
Поиск пути в графе - 2
Поиск пути в графе - 3
Поиск пути в графе - 4
Построение остовного дерева
Построение остовного дерева - 2
Построение остовного дерева - 3
Построение остовного дерева - 4
Построение остовного дерева - 5

Упражнение
Резюме
Литература
УСОВЕРШЕНСТВОВАННЫЕ МЕТОДЫ ПРЕДСТАВЛЕНИЯ МНОЖЕСТВ ДЕРЕВЬЯМИ
Двоично - троичные справочники
Двоично - троичные справочники - 2
Двоично - троичные справочники - 3
Двоично - троичные справочники - 4
Двоично - троичные справочники - 5
Двоично - троичные справочники - 6

Двоично - троичные справочники - 7
Двоично - троичные справочники - 8
Упражнения
Упражнения - 2
Упражнения - 3
Содержание