Рекурсивно-логическое программирование. Глотова Т.В. - 5 стр.

UptoLike

Составители: 

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