Приложения Приложение №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. Количественные домены.

Таблица 1.2. Вещественные и символьные домены.

Примечание. При использовании домена 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. Форматный спецификатор.

Форматы вывода чисел сведены в таблицу 1.5..

Таблица 1.5. Примеры форматов для чисел.

Для организации ввода с клавиатуры в Visual Prolog используются системные предикаты, показанные в таблице 1.6.

Таблица 1.6. Системные предикаты ввода.

В качестве аргумента задается имя переменной, которая инициализируется вводимым значением.

Пример. Правило для ввода с клавиатуры двух целых чисел, их сложения и вывода суммы на экран.

sum:-readint(X1),nl,readint(X2),X3=X1+X2,write(X3).