Приложения Приложение №1. Базовые сведения о языке программирования Visual Prolog
При составлении программы в Visual Prolog ключевые слова языка программирования, константы, имена доменов, предикатов записываются латинскими буквами в нижнем регистре. В общем виде программа представляет собой структуру, состоящую из следующих разделов:
/*Структура программы
Visual Prolog
*/
domains
%Домены программы
predicates
%Описание предикатов
clauses
%предложения программы
goal
%Целевой предикат программы
В теле программы могут быть использованы комментарии. Однострочный комментарий должен начинаться со специального символа %, многострочный комментарий размещают в паре символов /* , */.
Домены программы – области допустимых значений, из которых могут выбираться значения констант и переменных поставляемые в предикаты.
Задается домен в программе в виде:
dom_name=system_domen
Здесь dom_name – имя домена выбранное программистом, а system_domen – наименование системного домена VIP, выбранное из таблиц 1.1 и 1.2.
Таблица 1.1. Количественные домены.
Домен | Описание | Реализация, диапазон кодирования |
short | Короткое, знаковое, целое число. | 16 бит (-32 768–32767) |
ushort | Короткое, беззнаковое, целое число. | 16 бит (0–65 535) |
long | Длинное, знаковое, целое число. | 32 бит (-2 147 483 648- 2 147 483 647) |
ulong | Длинное, беззнаковое, целое число. | 32 бит (0-4 294 967 295) |
integer | Знаковое, целое число, имеет платформо-зависимый размер. | 16 бит (-32 768–32 767) 32 бит (-2 147 483 648- 2 147 483 647) |
unsigned | Беззнаковое, количественное имеет платформо – зависимый размер. | 16 бит (0—65 535) 32 бит (0-4 294 967 295) |
byte |
| 8 бит (0–255) |
word |
| 16 бит (0–65 535) |
dword |
| 32 бит (0-4 294 967 295) |
Таблица 1.2. Вещественные и символьные домены.
Домен | Описание | Реализация, диапазон кодирования. |
real | Число с плавающей запятой. | Разрядность 8 байт. Допустимый диапазон кодирования 1∙10+308 до 1∙10-308 |
char | ASCII код символа. | Разрядность 8 бит. |
symbol | Последовательность символов. | 255 байт – символов |
string | Последовательность символов, заключенная в двойные кавычки. | 255 байт – символов |
Примечание. При использовании домена string строки могут заключаться в двойные кавычки и содержать как символы кириллицы, так и латинские буквы. Строки без двойных кавычек могут содержать только латинские буквы, первый символ – строчная буква. Домен symbol позволяют использовать любую последовательность латинских символов, начинающихся со строчной буквы.
Примеры:
hello_world – домены string и symbol;
“Привет МИР” – домен string.
Символьный домен char дает возможность использовать символы напрямую или в виде кода:
‘\169’ – код сим;
‘a’ – символ.
В разделе предикатов приводится описание всех предикатов создаваемой программы.
Аргумент предиката – условное обозначение домена, из которого может принимать значение переменная или константа предметной области программы. Допускается указывать напрямую имена доменов, в этом случае раздел доменов в программе может отсутствовать. Допускается наличие предикатов, не содержащих аргументов. Обычно такие предикаты используются для программирования правил.
Для организации вывода в окно утилиты TestGoal используются системные предикаты:
write – вывод в окно;
writef – форматный вывод в окно;
nl – переход на следующую строку при выводе.
При организации вывода в предикатах write и writef могут быть использованы служебные символы, показанные в таблице 1.3.
Таблица 1.3. Служебные символы.
-
Символ
Назначение
\n
Переход на другую строку
\t
Табулирование значения
\r
Переход в начало выводимой строки
Предикат write имеет формат write(param1,param2,…).В качестве параметра может выступать имя переменной, либо строка.
Формат предиката writef writef(Format_String,param1,param2,…)
где Format_String – форматная строка. Форматная строка должно содержать форматные спецификаторы. В общем виде такой спецификатор имеет вид %-m.pf, описание спецификатора приводится в таблице 1.4.
Таблица 1.4. Форматный спецификатор.
Элемент | Назначение |
- | Выравнивание поля по левому краю |
m | Минимальная длина поля вывода |
p | Максимальное число символов, выводимых в поле, число десятичных разрядов |
f | Формат вывода числа |
Форматы вывода чисел сведены в таблицу 1.5..
Таблица 1.5. Примеры форматов для чисел.
Формат | Назначение |
f | Вещественное число с фиксированной точкой |
e | Вещественное число в экспоненциальном представлении |
d | Целое знаковое число |
o | Целое восьмеричное число |
x | Целое шестнадцатеричное число |
Для организации ввода с клавиатуры в Visual Prolog используются системные предикаты, показанные в таблице 1.6.
Таблица 1.6. Системные предикаты ввода.
Системный предикат | Назначение |
readln | Чтение строки символов |
readint | Чтение целого числа |
readreal | Чтение вещественного числа |
readchar | Чтение символа |
В качестве аргумента задается имя переменной, которая инициализируется вводимым значением.
Пример. Правило для ввода с клавиатуры двух целых чисел, их сложения и вывода суммы на экран.
sum:-readint(X1),nl,readint(X2),X3=X1+X2,write(X3).
- Основы построения автоматизированных информационных систем
- Глава 1. Системный подход при разработке автоматизированных информационных систем
- 1.1. Общие положения
- 1.2. Автоматизированные информационные системы
- 1.3. Автоматизированные системы в управлении
- 1.4. Методы анализа автоматизированных информационных систем
- 1.5. Структура автоматизированной информационной системы
- Глава 2. Методы проектирования информационных систем
- 2.1. Обобщенная модель информационной системы и методы проектирования
- 2.2. Каноническое проектирование информационных систем
- 2.3. Управление требованиями, спецификация rup
- 2.4. Модели жизненного цикла информационной системы
- 2.5. Использование case технологий при разработке информационных систем
- 2.6. Методологии case проектирования
- 2.6.1. Методология datarun
- 2.6.2. Методология rad
- 2.6.3. Графические нотации
- 2.7. Системные методологии анализа
- 2.7.1. Методология aris
- 2.7.2. Методология baan
- 2.7.3. Методология Oracle
- 2.7.4. Методология Betec (©)
- Глава 3. Особенности современных информационных систем
- 3.1. Корпоративные информационные системы
- 3.2. Системы обработки транзакций
- 3.3. Системы поддержки принятия решения
- 3.4. Экспертные информационные системы
- 3.4.1. Основы создания информационных систем в Visual Prolog
- 3.4.2. Управления поиском решения в vip
- 3.4.3 Использование рекурсии
- 3.4.4. Управление потоком ввода–вывода
- 3.4.5. Особенности составления описания предметной области
- 3.4.6. Особенности работы с базой фактов
- 3.5. Объектно–ориентированные системы
- 3.6. Документальные системы
- 3.6.1. Информационно-поисковый язык
- 3.6.2. Структра поисковой системы
- 3.7. Гипертекстовые информационные системы
- 4. Управление процессом проектирования автоматизированной информационной системы
- 4.1. Методы управления качеством разработки аис
- 4.2. Оценка эффективности функционирования автоматизированных информационных систем
- 4.2.1. Экономическая эффективность
- 4.2.2. Производительность вычислительной системы
- 4.2.3. Оценка качества работы пользователя системы
- Приложения Приложение №1. Базовые сведения о языке программирования Visual Prolog
- Приложение №.2. Компилирование программ в Visual Prolog ver 5.2.
- Приложение №.3. Программа «Внутренняя база данных фактов»
- Приложение №.4. Программа «Внешняя база данных»
- Приложение №5.Некоторые стилевые параметры
- Список литературы