2. Описание стандартных предикатов

2.1. Арифметические предикаты и функции Турбо-Пролога

--------------------------------------------------Таблица 2.1----+ Функциональный ¦             Описание предикат                   ¦ -------1-------------------------2-------------------------------+ Простейшая арифметика +               Сложение -               Вычитание *               Умножение /               Деление Целочисленное деление X mod Y         Возвращает остаток от деления Х на Y. X div Y         Возвращает частное от деления Х на Y. (X и Y - переменные типа integer) Операторы отношения >               Больше <               Меньше =               Равно >=              Больше или равно <=              Меньше или равно <> или ><       Не равно Логические операции not             НЕ  (высший  приоритет) and             И   (средний приоритет) or              ИЛИ (низший  приоритет) Тригонометрические функции Тригонометрические функции требуют, чтобы R был связан с величиной представляющей угол в радианах. sin(R)          Синус cos(R)          Косинус tan(R)          Тангенс arctan(R)       Арктангенс Арифметические функции ln(R)           Натуральный логарифм (R > 0) log(R)          Десятичный логарифм  (R > 0) exp(R)          Экспонента sqrt(R)         Квадратный корень    (R > 0) abs(R)          Абсолютная величина round(R)        округление до целого (-32768.5 < R < 32767.5) trunc(R)        отсечение дробной части  (-32768 < R < 32768) (R - переменные типа integer или real) ------------------------------------------------------------------+

2.2. Предикаты ввода/вывода

2.2.1 Ввод (INPUT) readln(StringVariable) (string)  - (o) читает строку  с  текущего устройства и связывает ее с переменной StringVariable. readint(IntgVariable)  (integer) - (o) читает целое число с текущего устройства и связывает  его  с переменной IntgVariable. readreal(RealVariable) (real)    - (o) читает действительное число с текущего устройства и связывает его с переменной RealVariable. readchar(CharVariable) (char)    - (o) читает символ с текущего устройства и связывает ее  с  переменной CharVariable. file_str(DosFileName,StringVariable) (string,string) - (i,o) (i,i) читает (записывает)  из  файла (в файл) DosFileName строку и связывает ее с переменной StringVariable. inkey(CharVariable)    (сhar) - (o) читает символ со стандартного устройства ввода. В отличие от предиката  readchar выполнение программы не прерывается.  Поэтому inkey применяют главным образом для организации  циклов ожидания. keypressed проверяет нажата ли некоторая клавиша,  не  читая  при  этом введенный с клавиатуры символ. unreadchar(CharToBePushedBack) (сhar) - (i) заносит символ в буфер клавиатуры. readterm(Domain,Variable) (DomainName,Domain) - (i,o) читает терм, объявленный с именем Domain. С помощью readterm осуществляется доступ к фактам в файле. 2.2.2 Вывод (OUTPUT) write(Variable|Constant*) Записывает заданные значения на текущее устройство вывода. В качестве аргумента используется список переменных и/или констант. nl   перевод строки writef(FormatString,Variable|Constant*) Осуществляет вывод заданных значений в указанном формате. В формате строки используются следующие опции: %d  десятичное число (char и integer); %u  беззнаковое целое (char и integer); %R  указатель  на  запись  в  базе  данных  (database  reference number); %X  шестнадцатиричное число (string, database reference numb); %x  шестнадцатиричное число (char и integer); %s  строка  (symbol и string); %c  символ  (char и integer); %g  действительное число (по умолчанию для real); %e  действительное число в экспоненциальном формате %f  действительное число с фиксированной запятой %lf действительное число с фиксированной запятой \n - переход на новую строку \t - табуляция \nnn - символ в десятичном коде ASCII