ВУЗ:
Составители:
5
12 Способы создания БД в
Прологе
4 2 2
13 Динамические БД 2 2
14 Использование языков
логического
программирования для
представления знаний и
создания экспертных
систем.
2 2
Возможности Visual Prolog
15 Среда разработки программ
Visual Prolog. Отладка программ.
3 2 1
16 Интерфейс визуального про-
граммирования в среде Visual
Prolog.
2 2
17 Заключение 2 2
4.2. Содержание разделов дисциплины
Введение
Области применения языка Пролог. Процедурные и
декларативные языки программирования. История развития языков
рекурсивно-логического программирования. Версии Пролога.
Неформальное введение в Пролог. Факты, правила, запросы.
Примеры построения простейших баз данных и простейших баз
знаний.
Основы программирования на Прологе.
Структура программ Пролога. Описание доменов и
предикатов. Факты и правила. Цели программы. Виды запросов.
Структуры данных. Составные объекты. Управление ходом
выполнения программы. Механизм возврата. Откат. Унификация.
Правила унификации термов. Конкретизация и связность
переменных. Отрицание и отсечение.
Рекурсия как метод программирования на Прологе Методы
организации рекурсии. Стандартные встроенные предикаты.
Операторы работы
с числовыми величинами. Ввод и вывод.
Использование списков и деревьев.
12 Способы создания БД в 4 2 2 Прологе 13 Динамические БД 2 2 14 Использование языков 2 2 логического программирования для представления знаний и создания экспертных систем. Возможности Visual Prolog 15 Среда разработки программ 3 2 1 Visual Prolog. Отладка программ. 16 Интерфейс визуального про- 2 2 граммирования в среде Visual Prolog. 17 Заключение 2 2 4.2. Содержание разделов дисциплины Введение Области применения языка Пролог. Процедурные и декларативные языки программирования. История развития языков рекурсивно-логического программирования. Версии Пролога. Неформальное введение в Пролог. Факты, правила, запросы. Примеры построения простейших баз данных и простейших баз знаний. Основы программирования на Прологе. Структура программ Пролога. Описание доменов и предикатов. Факты и правила. Цели программы. Виды запросов. Структуры данных. Составные объекты. Управление ходом выполнения программы. Механизм возврата. Откат. Унификация. Правила унификации термов. Конкретизация и связность переменных. Отрицание и отсечение. Рекурсия как метод программирования на Прологе Методы организации рекурсии. Стандартные встроенные предикаты. Операторы работы с числовыми величинами. Ввод и вывод. Использование списков и деревьев. 5