БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1.Логическое программирование: Сборник статей. Пер. с англ.
ифр. М.:Мир, 1988. 368 с.
2.Клоксин У., Мелиш К. Программирование на языке Пролог: Пер. с англ. М. :Мир, 1987. 336 с.
3.Маслов С.Ю. Теория дедуктивных систем и ее применения. М. :Радио и связь, 1986. 136 с.
4.Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М.: изд-во Моск. ун-та, 1982. 120 с.
5.Ершов Ю.Л., Палютин Е.А. Математическая логика. М. :Нау ка, 1979. 320 с.
6.Янсон А. Турбо-Пролог в сжатом изложении. М.: Мир, 1991.
94 с.
7.Малпас Дж. Реляционный язык Пролог и его применение. М.: Наука, 1990. 464 с.
8.Доорс Дж., Рейблейн А.Р., Вадера С. Пролог – язык програм мирования будущего. М.: Финансы и статистика, 1990. 144 с.
|
ОГЛАВЛЕНИЕ |
|
1. |
ИСПОЛЬЗОВАНИЕ ЯЗЫКА ПРОЛОГ............................................................................................ |
3 |
2. |
ЛОГИЧЕСКИЕ ОСНОВЫ ЯЗЫКА ПРОЛОГ................................................................................. |
4 |
|
2.1. ПРЕДСТАВЛЕНИЕ ЗНАНИЙ И ФАКТОВ......................................................................................................... |
4 |
|
2.2. ИСЧИСЛЕНИЯ ЛОГИЧЕСКОГО ТИПА............................................................................................................ |
6 |
|
2.3. ИСЧИСЛЕНИЕ РЕЗОЛЬВЕНТ....................................................................................................................... |
9 |
3. |
МЕХАНИЗМ РАБОТЫ ИНТЕРПРЕТАТОРА ПРОЛОГ-МАШИНЫ...................................... |
11 |
ТРАССИРОВКА ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ......................................................................... |
13 |
|
4. |
ЯЗЫК ПРОЛОГ................................................................................................................................... |
14 |
|
4.1. ОБЪЯВЛЕНИЯ....................................................................................................................................... |
14 |
|
4.2. ДАННЫЕ И КОНСТАНТЫ......................................................................................................................... |
17 |
|
4.3. УПРАВЛЕНИЕ ВОЗВРАТОМ...................................................................................................................... |
19 |
5. |
ВСТРОЕННЫЕ ПРЕДИКАТЫ И ФУНКЦИИ ............................................................................. |
20 |
|
5.1. АРИФМЕТИЧЕСКИЕ ВЫЧИСЛЕНИЯ............................................................................................................ |
20 |
|
5.2. ВВОД И ВЫВОД ................................................................................................................................... |
21 |
|
5.3. ТЕКСТОВЫЕ ОКНА И УПРАВЛЕНИЕ ЭКРАНОМ............................................................................................. |
24 |
|
5.4. ОБРАБОТКА СТРОК И ПРЕОБРАЗОВАНИЕ ТИПОВ.......................................................................................... |
25 |
|
5.5. БАЗЫ ДАННЫХ .................................................................................................................................... |
26 |
|
5.6. ВСПОМОГАТЕЛЬНЫЕ СРЕДСТВА ............................................................................................................ |
27 |
6. |
МОДУЛЬНОЕ ПРОГРАММИРОВАНИЕ...................................................................................... |
29 |
БИБЛИОГРАФИЧЕСКИЙ СПИСОК ............................................................................................... |
31 |
|
ОСНОВНЫЕ КОНСТРУКЦИИ ЯЗЫКА ПРОЛОГ
Составитель В.И.Суханов
Корректор Е.В.Рябая
Подписано в печать |
. .98 |
Формат 60*84 1/16 |
Плоская печать |
|
Усл.п.л. |
Уч.-изд.л. |
Тираж 100 |
Заказ |
Редакционно-издательский отдел ИПК УГТУ 620002 Екатеринбург, ул. Мира, 19, УГТУ - УПИ