1. Э. Мендельсон. Введение в математическую логику. «Наука», 1971.
2. Ц. Ин, Д. Соломон. Использование Турбо-Пролога «Мир», 1993.
3. И. Братко. Программирование на языке Пролог для искусственного интеллекта. «Мир», 1990.
4. Дж. Стобо. Язык программирования Пролог. «Радио и связь», 1993.
Оглавление
ГЛАВА 1. ВВЕДЕНИЕ В ПРОЛОГ................................................................................ 1
1. Декларативные и процедурные языки программирования 1
2. Пролог и логика предикатов. Внешние цели................................ 1
3. Управление программой. Подцели. Механизм сопоставления................................................................................................ 3
4. ВНУТРЕННИЕ ПОДПРОГРАММЫ УНИФИКАЦИИ..................................... 5
ГЛАВА 2. ВНУТРЕННИЕ ЦЕЛИ. МЕХАНИЗМ ВОЗВРАТА................................... 9
1. СТРУКТУРА ПРОЛОГ-ПРОГРАММЫ............................................................... 9
2. ИСПОЛЬЗОВАНИЕ ВНУТРЕННИХ ЦЕЛЕЙ.................................................... 10
ГЛАВА 10. ГЛОБАЛЬНЫЕ ПЕРЕМЕННЫЕ В TURBO PROLOG.......................... 91
1. МОДИФИКАЦИЯ БАЗЫ ДАННЫХ................................................................... 91
2. НАКОПЛЕНИЕ РЕЗУЛЬТАТОВ С ПОМОЩЬЮ ВЫНУЖДАЕМОГО ВОЗВРАТА.............................................................................................................. 91
3. ПОДСЧЕТ ЧЛЕНОВ ПАРТОРГАНИЗАЦИИ..................................................... 92
4. ПОИСК ПУТИ МИНИМАЛЬНОЙ СТОИМОСТИ ОТ A ДО Z......................... 95
1. Выявление объекта системного исследования. Определение природы объекта и его специфики, путем изучения связи объекта и отношение объекта со средой.
2. системное моделирование и проектирование объекта в контексте целостности его элементов и возможности его преобразования.
Дескриптивное определение системы – совокупность элементов связанных между собой в единое целое, которая обладает свойствами, отсутствующими у каждого элемента в отдельности.
Конструктивное определение системы – предполагает перечень параметров системы, среди которых особо выделяется системообразующий анализ. Системный анализ выступает функцией.
Функция системы ограничивает количество возможных исходов решений и взаимодействий. Функция не может быть сформулирована однозначно. Ее надо расширять – это дает возможность увеличить пространство поиска решений.
Социально-экономическая система является самой сложной, поэтому конструкторское представление системы предполагает выделение в соответствующих измерениях входа, выхода функции системы и структуры.
Для преобразования системы необходимо сформулировать совокупность критериев оценивающих степень реализации функции и множество ограничений в рамках, которых функция реализуется.
