Лебедева Н.С. Методическое пособие по программированию на Turbo Prolog

Подождите немного. Документ загружается.

Приложение 2

Встроенные предикаты Турбо- Пролога

Встроенные (стандартные) предикаты Турбо-Пролога являются той

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

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

втором разделе они приводятся уже в алфавитном порядке; о каждом из

них дается такая информация: предикат (список аргументов) (типы

доменов): (возможные способы употребления).

Список дополнен кратким словесным описанием того, что

получается в результате вызова каждого из предикатов.

Функциональные группы предикатов

Системные предикаты

beep, bios, comline, date, keyword, membyte, memword, portbyte,

ptr_dword, sound, storage, system, time, trace.

Языковые предикаты

bound, exit, fail, findall, free, not.

Предикаты для работы с файлами

closefile, consult, deletfile, dir, disk, eof, existfile, filemod, filepos,

file_str, flush, openappend, openmodify, openread, readdevice,

renamefile, save, writedevice.

Предикаты для чтения данных

readchar, readint, readln, readreal, readterm.

Предикаты для записи данных

nl, write, writedevice, writef.

Предикаты для работы с экраном монитора

attribute, back, clearwindow, cursor, cursorform, display, dot, edit,

editmsg, field_attr, field_str, forward, gotowindow, graphics, line,

makewindow, pencolor, penpos, penup, removewindow, scr_attr,

scr_char, scroll, shiftwindow, text, window_attr, window_str.

Предикаты базы данных

asserta, assertz, consult, retract, save.

Предикаты для работы со строками

concat, frontchar, frontstr, fronttoken, isname, str_len.

Предикаты преобразования типов

char_int, str_char, str_unt, str_real, upper_lower.

Алфавитный список предикатов

asserta(<факт>)

(dbasedom) (i): заносит факт (утверждение) в начало

резидентной БД (домен, обозначенный как dbasedom автомати-

чески объявляется для каждого предиката из раздела database);

assertz(<факт>)

(dbasedom) (i): заносит факт (утверждение) в конец

резидентной БД;

attribute(Attr)

(integer) (i), (о):

(i): устанавливает значение атрибута;

(о): присваивает переменной Attr установленное по умолчанию

значение атрибута;

back(Step)

(integer) (i): сдвигает экранное перо на несколько позиций

назад. Величина сдвига задается значением параметра Step. Если

результирующая позиция находится за пределами экрана, то

данный предикат неуспешен;

beep (i)

при вызове этого предиката раздается звуковой сигнал;

bios(InterruptNo, RegsIn, RegsOut)

(integer, regdom, regdom) (i,i,o):

происходит обращение к подпрограммам системы прерываний.

InterruptNo задает номер прерывания, RegsIn содержит новые

значения регистров, а RegsOut – старые. Тип regdom считается в

Турбо-Прологе предописанным.

Появление на экране дисплея строки для ввода имени

конфигурационного файла. (Если ввести имя PROLOG.SVS и

записать файл в директорию системных файлов Турбо-Пролога,

то данная конфигурация в дальнейшем станет загружаться по

умолчанию). Его описание выглядит так:

regdom = (integer, integer, integer, integer, integer, integer, integer,

integer)

Компоненты типа integer соответствуют регистрам

микропроцессора АХ, ВХ, СХ, DX, SI, DI, DS и ES;

bound(Variable)

(<произвольная переменная>) (i): предикат успешен в

случае, если переменная означена;

char_int(CharParam, IntParam)

(char, integer) (i,o), (o,i), (i,i):

(i.o): присваивает переменной IntParam код ASCII значения

IntParam;

(o,i): присваивает CharParam символ,, код которого равен

значению IntParam;

(i.i): предикат успешен, если код символа CharParam совпадает со

значением IntParam;

clearwindow

очищает активное в настоящий момент текстовое окно,

заполняя его цветом фона;

closefile(SymbolicFileName)

(file) (i): закрывает физический файл,

отождествленный с логическим файлом SymbolicFileName.

Предикат успешен даже в том случае, если этот файл уже был

закрыт;

comline(Line)

(string) (о): позволяет считать управляющие параметры

Вашей программы;

concat(Stringl, String2, String3)

(string, string, string) (i,i,o), (o,i,i), (i,o,i),

(i,i,i):

(i.i.o): создает String3 путем склеивания Stringl и String2;

(o,i,i): если значением String2 является часть строки String3, то

Stringl означивается оставшейся частью;

(i,o,i): если значением Stringl является часть строки String3, то

String2 означивается оставшейся частью;

(i.i.i): предикат успешен, если значение String3 совпадает с

результатом конкатенации Stringl и String2;

consult(DOS_FileName)

(string) (i): загружает в память файл БД

DOS_FileName (файл должен быть текстовым);

cursor(Row, Column)

(integer, integer) (i,i), (o,o):

(i,i): помещает курсор в позицию с координатами (Row, Column);

(o,o): присваивает переменным Row и Column значения текущих

координат курсора;

cursorform(Startline, Endline)

(integer, integer) (i,i): определяет высоту и

вертикальное положение курсора в пределах отведенной ему

области из 14 линий точек (величины могут лежать в пределах от

1 до 14 );

date (Year, Month, Day)

(integer, integer, integer) (i,i,i), (o,o,o):

(i,i,i): устанавливает новое значение текущей даты при помощи

переменных Year (год), Month (месяц), Day (день);

(о,о,о): считывает текущую дату, которая определяется по

показаниям встроенных часов компьютера;

deletefile(DOS_FileName)

(string) (i): удаляет из текущей директории

файл с заданным именем;

dir(Pathname, FileSpecString, DOS_FileName)

(string, string, string) (i,i,o):

активизирует средства Турбо-Пролога для работы с файлами.

Значения выходных переменных Pathname и FileSpecString

определяют путь доступа и расширения файлов, имена которых

появятся в окне каталога директории. Имя выбранного

пользователем в каталоге файла будет присвоено переменной

DOS_FileName;

disk(DOS_Path)

(string) (i), (o):

(i): определяет новый текущий диск и новый текущий путь

доступа. Предикат успешен, если диск и путь заданы

правильно;

(о): присваивает переменной DOS_Path значения заданных по

умолчанию имени диска и пути доступа;

display(String)

(string) (о): высвечивает значение переменной String в том

окне, которое активно в настоящий момент;

dot(Row, Column, Color)

(integer, integer, integer) (i,i,i), (i,i,o):

(i,i,i): рисует на экране точку (небольшой пиксель) цвета Color в

позиции с координатами (Row, Column), если дисплей

находится в графическом режиме;

(i,i,o): переменная Color получает номер цвета пикселя, коорди-

наты которого задаются переменными Row и Column;

edit(InputString, OutputString)

(string, string) (i,o): активизирует редактор

Турбо-Пролога, что дает возможность отредактировать строку

InputString; новая редакция будет присвоена переменной

OutputString;

editmsg(InStr, OutStr, LeftHeader, RightHeader, Message, HelpFileName,

Position, Code)

(string, string, string, string, string, string, integer,

integer) (i,o,i,i,i,i,i,o): вызывает редактор Турбо-Пролога.

Позволяет отредактировать входную строку InStr, исправленный

вариант которой будет содержать переменная OutStr. LeftHeader и

RightHeader содержат тексты заголовков, Position задает

расположение курсора. HelpFileName указывает имя файла,

загружаемого по нажатию функциональной клавиши Fl(Help).

Code определяет клавишу для завершения процесса

редактирования (0 - функциональная клавиша F10, 1 - Esc);

eof(SymbolicFileName)

(file) (i): предикат успешен, если указатель файла

стоит на метке конца файла SymbolicFileName;

existfile(DOS_FileName) (string)

(i): предикат успешен, если в текущей

директории существует файл с именем, задаваемым переменной

DOS_FileName;

exit

прекращает выполнение программы и передает управление системе

Турбо-Пролог, если программа запускалась в среде Турбо-

Пролога, или DOS, если запуск производился вне рамок этой

системы;

fail

вызывает откат ввиду неуспеха данного предиката;

field_attr(Row, Column, Length, Attr)

(integer, integer, integer, integer)

(i,i,i,i), (i,i,i,o):

(i,i,i,i): создает поле символов длиной Length, имеющее атрибут

Attr, и начинающееся в позиции с координатами (Row,

Column) в пределах активного окна (окно должно

соответствовать заданным значениям длины и координат)

(i,i,i,o): присваивает Attr значение атрибута поля, длина которого

есть Length, а начальная позиция определяется коорди-

натами (Row,Column);

field_str(Row, Column, Length, String)

(integer, integer, integer, string)

(i,i,i,i), (i,i,i,o): записывает в активное окно экрана Length

символов из строки String, начиная с позиции с координатами

(Row, Column) (заданное поле чтения должно находиться в

пределах активного в настоящий момент окна);

filemode(SymbolicFileName, FileMode)

(file, integer) (i,i), (i,o):

(i,i): позволяет получить доступ к двоичному файлу.

SymbolicFileName задает имя файла, а FileMode

−

его тип

−

текстовой, 1

−

двоичный);

(i,o): возвращает значение FileMode для файла SymbolicFileName;

filepos(SymbplicFileName, FilePosition, Mode)

(file, integer, integer) (i,i,i),

(i,o,i):

(i,i,i): задает в файле SymbolicFileName позицию, из которой будет

считан, или в которую будет записан очередной символ

(Mode=0 указывает на то, что смещение будет

отсчитываться от начала файла, Mode=l

−

от текущей

позиции, Mode=2

−

от конца файла);

(i,o,i): переменная FilePosition получает значение смещения

текущего положения указателя файла. Смещение берется

относительно начала файла;

file_str(DOS_FileName, StringVariable)

(string, string) (i,i), (i,o):

(i,i): записывает строку StringVariable в файл DOS_FileName

(максимум 64К);

(i,o): считывает в строку StringVariable символы, содержащиеся в

файле DOS_FileName (до 64 Кб);

findall(Variable,<npeдикат>,ListVariable)

записывает значение объекта

Variable в список ListVariable. Variable должен являться одним из

аргументов указанного предиката;

flush(SymbolicFileName)

(file) (i): вызывает вывод на текущее выводное

устройство writedevice содержимого находящегося в оперативной

памяти буфера файла;

forward(Step)

(integer) (i): в графическом режиме forward сдвигает

экранное перо на Step позиций вперед;

free(Variable)

(<переменная>) (о): успешен, если переменная Variable не

означена;

frontchar(String, FrontChar, RestString)

(string, char, string) (i,o,o), (i,i,o),

(i,o,i), (i,i,i), (o,i,i):

(i,o,o): присваивает первый символ строки String переменой

FrontChar, а остаток строки

−

переменной RestString

Возможны и другие комбинации входных и выходных

параметров; важно лишь то, чтобы либо была означена

переменная String, либо переменные FrontChar и RestString

одновременно;

frontstr(NumberOfChars, Stringl, StartStr, String2)

(integer, string, string,

string) (i,i,o,o): присваивает первые NumberOfChars символов

строки Stringl переменной StertStr, а остаток

−

переменной

String2;

fronttoken(String, Token, RestString)

(string, string, string) (i,o,o), (i,i,o),

(i,o,i), (i,i,i), (o,i,i):

(o,i,i): переменной String присваивается результат конкатенации

Token и RestString. Token может быть либо группой

символов, задающих допустимое в Турбо-Прологе имя,

либо символьным представлением целого или действи-

тельного числа, либо одиночным символом, отличным от

пробела. В любых других комбинациях входных и

выходных параметров должны быть означены по крайней

мере два аргумента предиката;

gotowindow(WindowNo

) (integer) (i): осуществляет очень быстрый

переход из одного окна в другое, если эти два окна не

пересекаются. Может также быть использован для перехода в

окно, находящееся позади активного в настоящий момент окна;

graphics(ModeParam, Palette, Background)

(integer, integer, integer) (i,i,i):

активизирует графические средства Турбо-Пролога и устанавли-

вает номер режима работы (ModeParam), палитры (Palette) и цвета

фона (Background);

isname(StringParam)

(string) (i): предикат успешен, если значением

аргумента StringParam является допустимое в Турбо-Прологе имя;

keypressed(stringParam)

(string) (i): успешен, если будет нажата

произвольная клавиша;

line(Rowl, Coll, Row2, Col2, Color

) (integer, integer, integer, integer)

(i,i,i,i,i): в графическом режиме рисует линию между точками с

координатами (Rowl, Coll) и (Row2, Col2), номер цвета задается

аргументом Color;

makewindow(WindowNo, ScrAtt, FrameAttr, Header, Row, Col, Height,

Width)

(integer, integer, integer, string, integer, integer, integer,

integer) (i,i,i,i,i,i,i,i), (o,o,o,o,o,o,o.o): создает окно, номер которого

задается WindowNo. Координаты окна задаются аргументами

Row и Col, высота и ширина

−

Height и Width. Окно должно

умещаться на экране. Если FrameAttr отличен от 0, вокруг окна

появится бордюр. Header задает название окна;

membyte(Segment, Offset, Byte)

(integer, integer, integer) (i,i,i), (i,i,o):

(i,i,i): записывает значение Byte (1 байт) в память по адресу,

задаваемому при помощи Segment и Offset;

(i,i,o): считывает в переменную Byte из памяти байт, адрес

которого задается аргументами Segment и Offset. В обоих

случаях адрес вычисляется по формуле Segment*16+0ffset;

memword(Segment, Offset, Word)

(integer, integer, integer) (i,i,i), (i,i,o):

(i,i,i): записывает значение Word (1 слово) в память по адресу,

задаваемому при помощи Segment и Offset;

(i,i,o): считывает в переменную Word из памяти слово, адрес

которого задается аргументами Segment и Offset В обоих

случаях адрес вычисляется по формуле Segment*16+0ffset.

nl посылает на текущее устройство writedevice комбинацию спец-

символов возврат каретки и перевод строки;

not(<утверждение>)

успешен, если <утверждение> представляет собой

цель, оказавшуюся при доказательстве неуспешной;

openappend(SymbolicFileName, DOS_FileName)

(file, string) (i,i):

открывает для до записи файл DOS_FileName и отождествляет его

с логическим файлом SymbolicFileName;

openmodify(SymbolicFileName, DOS_FileName)

(file, string) (i,i):

открывает для чтения и записи файл DOS_FileName и

отождествляет его с логическим файлом SymbolicFileName;

openread(SymbolicFileName, DOS_FileName)

(file, string) (i,i): открывает

для чтения файл DOS_FileName и отождествляет его с логическим

файлом SymbolicFileName;

openwrite(SymbolicFileName, DOS_FileName)

(file, string) (i,i):

открывает для записи файл DOS_FileName и отождествляет его с

логическим файлом SymbolicFileName;

pencolor(Color)

(integer) (i): задает цвет, в который будет окрашено

графическое экранное перо. Применим только в графическом

режиме;

pendown

после выполнения этого предиката становится возможным

рисование линий при помощи предикатов forward и back;

penpos(Row, Column, Direction)

(integer, integer, integer) (i,i,i), (o,o,o):

(i,i,i): помещает графическое перо в позицию с координатами

(Row, Column) и ориентирует его в направлении,

задаваемом аргументом Direction;

(o,o,o): присваивает переменным координаты текущей позиции

пера и номер его направления;

penup

прекращает рисование, то есть выполняет действие, обратное

действию предиката pendown;

portbyte(PortNo,Value)

(integer,integer) (i,i), (i,o):

(i,i): значение Value посылается в порт ввода-вывода номер

PortNo;

(i,o): присваивает Value десятичный эквивалент значения байта из

порта ввода-вывода номер PortNo;

ptr_dword(StringVar, Segment, 0ffset)

(string, integer, integer) (i,o,o), (o,i,i):

(i,o,o): выдает номер сегмента (Segment) и смещение (Offset)

означенной переменной StringVar;

(o,i,i): присваивает переменной StringVar строку символов,

располагающуюся по адресу, задаваемому аргументами

Segment и Offset. Адрес вычисляется по формуле

Segment*16+0ffset. Конец строки определяется пустым

(null) битом;

readchar(CharVariable)

(char) (о): считывает символ с текущего

устройства чтения readdevice;

readdevice(SymbolicFileName)

(symbol) (i), (о):

(i): назначает для чтения файл с логическим именем

SymbolicFileName;

(о): переменная SymbolicFileName означивается логическим

именем текущего устройства чтения;

readint(IntVariable

) (integer) (о): считывает с текущего устройства

чтения readdevice целое число;

readln(StringVariable)

(string) (о): считывает с текущего устройства

чтения readdevice символьную строку;

readreal(RealVariable)

(real) (о): считывает с текущего устройства чтения

readdevice действительное число;

readterm(Domain,Term)

(<имя домена>,<переменная>) (i,o): позволяет

считать из открытого файла любой объект, записанный туда при

помощи предиката write. Объект присваивается переменной Term,

коль скоро он соответствует описанию домена этой переменной;

removewindow

удаляет текущее окно;

renamefile(01dDOS_FileName, NewDOS_FileName)

(string, string) (i,i):

переименовывает файл с именем 01dDOS_FileName, новое имя

задается переменной NewDOS_FileName;

save(DOS_FileName)

(string) (i): сохраняет утверждение динамической

базы данных в текстовом файле DOS_FileName;

scr_attr(Row,Col,Attr)

(integer, integer, integer) (i,i,i), (i,i,o):

(i,i,i): определяет значение атрибута позиции экрана с

координатами (Row, Col);

(i,i,o): присваивает переменной Attr значение атрибута позиции

экрана с координатами (Row,Col);

scr_char(Row, Column, Char)

(integer, integer, char) (i,i,i), (i,i,o):

(i,i,i): записывает символ Char в позицию экрана с координатами

(Row,Column);

(i,i,o): означивает переменную Char символом из позиции экрана с

координатами (Row,Column);

scroll(NoOfRows, NoOfCols)

(integer, integer) (i,i): смещает активное окно

вверх или вниз на количество строк, задаваемое параметром

NoOfRows, влево или вправо на количество колонок, задаваемое

параметром NoOfCols. Смещение вверх и влево соответствует

отрицательным числам, вниз и вправо

−

положительным;

shiftwindow(WindowNo)

(integer) (i,o):

(i): активизирует окно с номером WindowNo, а также сохраняет

содержимое окна, активного в момент вызова предиката;

(o): присваивает переменной WindowNo номер активного в

настоящий момент окна;

sound(Duration, Frequency)

(integer,integer) (i,i): вызывает звучание ноты

частоты Frequency и длительности Duration (длительность

задается в сотых долях секунды);

storage(StackSize, HeapSize, TrailSize)

(real,real,real) (o,o,o): выдает

доступный объем (в Кб) трех динамических областей памяти;

str_char(StringParam, CharParam)

(string, char) (i,o), (o,i), (i,i):

(i,o): присваивает CharParam символ, заданный при помощи

StringParam;

(o,i): присваивает StringParam символ, заданный при помощи

CharParam;

(i,i): успешен, если StringParam и CharParam представляют один и

тот же символ;

str_int (StringParam, IntParam)

(string, integer) (i,o), (o,i), (i,i):

(i,o): присваивает IntPararn двоичный эквивалент десятичного

символьного представления целого числа StringParam;

(o,i): присваивает StringParam строку, являющуюся десятичным

символьным представлением целого числа IntParam;

(i,i): успешен, если StringParam и IntParam представляют одно и то

же число;

str_len(String, Length)

(string, integer) (i,i), (i,o):

(i,i): успешен, если в строке String содержится Length символов;

(i,o): присваивает переменной Length количество символов,

содержащихся в строке String;

str_real(StringParam, RealParam)

(string, real) (i,o), (o,i), (i,i):

(i,o): присваивает RealParam двоичный эквивалент десятичного

символьного представления действительного числа

StringParam;

(o,i): присваивает StringParam строку, являющуюся десятичным сим-

вольным представлением действительного числа RealParam;

(i,i): успешен, если StringParam и RealParam представляют одно и

то же число;

system(DOS_ComandString)

(string) (i): позволяет исполнить команду

операционной системы, представленную в виде символьной строки;

text

возвращает экран в алфавитно-цифровой режим;

time(Hours, Minutes, Seconds, Hundreds)

(integer, integer, integer, integer)

(i,i,i,i), (o,o,o,o):

(i,i,i,i): устанавливает системные часы: Hours

−

часы, Minutes

минуты, Seconds

−

секунды, Hundreds

−

сотые доли

секунды;

(о,о,о,о): присваивает переменным показания системных часов;

trace(Status)

(symbol) (i,o):

(i): внесение предиката trace(on) в самое начало программы задает

пошаговое ее выполнение

−

трассировку. Выключение трас-

сировки осуществляется при помощи trace(off). Аналогичные

функции имеет и предикат shorttrace, с той лишь разницей, что

несколько меньшим становится количество информации,

выдаваемой в окно трассировки (Trace Window);

(о): присваивает переменной Status значение оп или off, в

зависимости от режима выполнения программы;

upper_lower(StringInUpperCase, StringInLowerCase)

(string, string) (i,o),

(o,i), (i,i):

(i,o): присваивает переменной StringlnLowerCase эквивалент

строки StringInUpperCase, в котором все большие буквы

заменены на маленькие;