IIS / Печень О.А / Тема 2 / Prolog10 / Docs / ProHlp_W

ФУНКЦИОНАЛЬНЫЕ КЛЮЧИ СПЕЦИАЛЬНЫЕ КОМБИНАЦИИ

================================ ============
| F1 || F2 | |Ctrl|| <- | Сдвиг на слово влево
| Help || Пер.к строке| ============
| || Номер строки| |Ctrl|| -> | Сдвиг на слово вправо
================================ ============
| F3 || F4 | |Ctrl||PgUp| Переход на начало текста
| Поиск || Замена | ============
| Повт.поиск || Повт.замена | |Ctrl||PgDn| Переход на конец текста
================================ ============
| F5 || F6 | |Ctrl||Home| Переход на начало страницы
| Копирование || Перенос | ============
| Повт.копир. || | |Ctrl||End | Переход на конец страницы
================================ ============
| F7 || F8 | |Ctrl|| bs | Удаление строки
| Удаление || Доп. Редакт.| ============
| || | |Ctrl|| V | Вставка/наложение
================================ ============
| F9 || F10 | |Del | Удаление символа
| Внеш.копир. || Выход из ред| ======
| Показ окон || Масшт. окна | |Ins | Вставка/наложение
================================ ======

Вторая функция каждого ключа выполняется при нажатии клавиши SHIFT
одновременно с функциональным ключом.
Комбинация Ctrl-F10 увеличивает текущее окно до размеров экрана.

---------------------------------------------------------------
Ц В Е Т А
---------------------------------------------------------------

КАК ВЫЧИСЛЯТЬ АТРИБУТЫ ЭКРАНА

1. Выберите ОДИН наружный цвет и ОДИН цвет фона.
2. Сложите указанные ниже величины для этих цветов.
3. Добавьте 128, если хотите, чтобы объект с этим атрибутом
мерцал.

ФОНОВЫЕ ЦВЕТА (Экран) НАРУЖНЫЕ ЦВЕТА (Символы)
--------------------------------+---------------+------
Черный 0 Черный 0
Синий 16 Синий 1
Зеленый 32 Зеленый 2
Голубой 48 Голубой 3
Красный 64 Красный 4
Сиреневый 80 Сиреневый 5
Коричневый 96 Коричневый 6
Белый 112 Белый 7
Серый 8
Ярко-синий 24
Ярко-зеленый 40
Ярко-красный 72
Ярко-сиреневый 88
Желтый 104
Ярко-белый 120

---------------------------------------------------------------
СТАНДАРТНЫЕ ПРЕДИКАТЫ
--------------------------------------------------------------- ---------------------------------------------------------------

ВВОД
readln(StringVariable)
(string) -- (outp)
readint(IntgVariable)
(integer) -- (outp)
inkey(CharVariable)
(char) -- (outp)
keypressed
readreal(RealVariable)
(real) -- (outp)
readchar(CharVariable)
(char) -- (outp)
file_str(DosFileName,StringVariable) File <---> String
(string,string) -- (inp,outp) (inp,inp)

РАБОТА С ФАЙЛАМИ
openread(SymbolicFileName,DosFileName)
(file,string) -- (inp,inp)
openwrite(SymbolicFileName,DosFileName)
(file,string) -- (inp,inp)
filemode(SymbolicFileName,TextOrBinaryMode)
(file,integer) -- (inp,inp)
openappend(SymbolicFileName,DosFileName)
(file,string) -- (inp,inp)
openmodify(SymbolicFileName,DosFileName)
(file,string) -- (inp,inp)
readdevice(SymbolicFileName)
(file) -- (inp) (outp)
writedevice(SymbolicFileName)
(file) -- (inp) (outp)
closefile(SymbolicFileName)
(file) -- (inp)
filepos(SymbolicFileName,FilePosition,Mode)
(file,real,integer) -- (inp,inp,inp) (inp,outp,inp)
Mode specifies: 0:Start 1:Relative 1:End eof(SymbolicFileName)
(file) -- (inp)
flush(SymbolicFileName)
(file) -- (inp)
existfile(DosFileName)
(string) -- (inp)
deletefile(DosFileName)
(string) -- (inp)
renamefile(OldDosFileName,NewDosFileName)
(string,string) -- (inp,inp)
disk(DosPath)
(string) -- (inp) (outp)

УПРАВЛЕНИЕ ЭКРАНОМ
scr_char(Row,Column,Char)
(integer,integer,char) -- (inp,inp,inp) (inp,inp,outp)
scr_attr(Row,Column,Attr)
(integer,integer,integer) -- (inp,inp,inp) (inp,inp,outp)
field_str(Row,Column,Length,String)
(integer,integer,integer,string) --
(inp,inp,inp,inp) (inp,inp,inp,outp)
field_attr(Row,Column,Length,Attr)
(integer,integer,integer,integer) -- (inp,inp,inp,inp)
cursor(Row,Column)
(integer,integer) -- (inp,inp) (outp,outp)
cursorform(Startline,Endline) 0<Startline<15, 0<Endline<15
(integer,integer) -- (inp,inp)
attribute(Attr)
(integer) -- (inp) (outp)

OKHA
makewindow(WindowNo,ScrAtt,FrameAtt,Framestr,Row,Column,Height,Width)
(integer,integer,integer,string,integer,integer,integer,integer) --
(inp,inp,inp,inp,inp,inp,inp,inp)
shiftwindow(WindowNo)
(integer) -- (inp) (outp)
gotowindow(WindowNo)
(integer) -- (inp)
removewindow()
clearwindow()
scroll(RowsToScroll,ColsToScroll)
(integer,integer) -- (inp,inp)
window_str(ScreenString)
(string) -- (inp) (outp)
window_attr(Attr)
(integer) -- (inp)

ОБРАБОТКА СТРОК
frontchar(String,FrontChar,RestString)
(string,char,string) -- (inp,outp,outp) (inp,inp,outp)
(inp,outp,inp) (inp,inp,inp) (outp,inp,inp)
fronttoken(String,Token,RestString)
(string,string,string) -- (inp,outp,outp) (inp,inp,outp)
(inp,outp,inp) (inp,inp,inp) (outp,inp,inp)
frontstr(Length,Inpstring,StartString,RestString)
(integer,string,string,string) -- (inp,inp,outp,outp)
concat(String1,String2,String3) String3 = String1 + String2
(string,string,string) -- (inp,inp,outp) (inp,outp,inp)
(outp,inp,inp) (inp,inp,inp)
str_len(String,Length)
(string,integer) -- (inp,inp) (inp,outp)
isname(StringParam)
(string) -- (inp)

ПРЕОБРАЗОВАНИЯ
char_int(CharParam,IntgParam)
(char,integer) -- (inp,outp) (outp,inp) (inp,inp)
str_int(StringParam,IntgParam)
(string,integer) -- (inp,outp) (outp,inp) (inp,inp)
str_char(StringParam,CharParam)
(string,char) -- (inp,outp) (outp,inp) (inp,inp)
str_real(StringParam,RealParam)
(string,real) -- (inp,outp) (outp,inp) (inp,inp)
upper_lower(StringInUpperCase,StringInLowerCase)
(string,string) -- (inp,inp) (inp,outp) (outp,inp)

ГРАФИКА
graphics(ModeParam,Palette,Background)
(integer,integer,integer) -- (inp,inp,inp)
dot(Row,Column,Color)
(integer,integer,integer) -- (inp,inp,inp) (inp,inp,outp)
line(Row1,Col1,Row2,Col2,Color)
(integer,integer,integer,integer,integer)
-- (inp,inp,inp,inp,inp)
text()
pendown
penup
pencolour(Color)
(integer) -- (inp)
forward(Step)
(integer) -- (inp)
back(Step)
(integer) -- (inp)
right(Angle)
(integer) -- (inp)
left(Angle)
(integer) -- (inp)
penpos(RowCoordinate,ColumnCoordinate,Angle)
(Integer,Integer,Integer) -- (inp,inp,inp)

РАЗНОЕ
edit(InputString,OutputString)
(string,string) -- (inp,outp)
editmsg(InputString,OutputString,Headstr,Headstr2,Msg,Pos,Helpfileename,
RetStatus)
(string,string,string,string,string,integer,string,integer)
-- (inp,outp,inp,inp,inp,inp,inp,outp)
display(String)
(string) -- (inp)
/* Показать директорий и вернуть имя файла */
dir(Path,Filespec,Filename)
(string,string,string) -- (inp,inp,outp)
random(RealVariable)
(real) -- (outp)
storage(StackSize,HeapSize,TrailSize)
(real,real,real) -- (outp,outp,outp)
sound(Duration,Frequency)
(integer,integer) -- (inp,inp)
date(Year,Month,Day)
(integer,integer,integer) -- (outp,outp,outp) (inp,inp,inp)
time(Hours,Minutes,Seconds,Hundredths)
(integer,integer,integer,integer) -- (outp,outp,outp,outp)
(inp,inp,inp,inp)
port_byte(PortNo,Value)
(integer,integer) -- (inp,inp) (inp,outp)
ptr_dword(8086Ptr,Segment,Offset)
(string,integer,integer) -- (inp,otp,outp) (outp,inp,inp)
memword(Segment,Offset,Word)
(integer,integer,integer) -- (inp,inp,inp) (inp,inp,outp)
membyte(Segment,Offset,Byte)
(integer,integer,integer) -- (inp,inp,inp) (inp,inp,outp)
bitand(X,Y,Z) : Z=X and Y
(integer,integer,integer) -- (inp,inp,outp)
bitor(X,Y,Z) : Z=X or Y
(integer,integer,integer) -- (inp,inp,outp)
bitexor(X,Y,Z) : Z=X exor Y
(integer,integer,integer) -- (inp,inp,outp)
bitnot(X,Y) : Y= not X
(integer,integer) -- (inp,outp)
bitleft(X,Y,Z) : Z=X, сдвинутому на Y мест влево
(integer,integer,integer) -- (inp,inp,outp)
bitright(X,Y,Z) : Z=X, сдвинутому на Y мест вправо
(integer,integer,integer) -- (inp,inp,outp)
comline(LineBuffer)
(string) -- (inp)
system(DosCommandString) Обращение к DOS
(string) -- (inp)
bios(Interruptno,reg(AXi,BXi,CXi,DXi,SIi,DIi,DSi,ESi),
reg(AXo,BXo,CXo,DXo,SIo,DIo,DSo,ESo))
Вызывает системное прерывание
(integer,REG,REG) -- (inp,inp,outp) (inp,inp,reg(outp,outp ... )
consult(DosFileName) Загрузить базу данных из файла
(string) -- (inp)
save(DosFileName) Выгрузить базу данных в файл
(string) -- (inp)
exit Возврат к системе меню
fail Всегда имеет значение false u вызывает backtracking
nl Новая строка
beep Короткий звук

СПЕЦИАЛЬНЫЕ ПРЕДИКАТЫ
write( Variable|Constant * )
writef( FormatString, Variable|Constant * )
findall( Variable, Atom, ListVariable )
not( Atom )
free( Variable )
bound( Variable )
readterm( Domain, Variable )
assertz( Term )
asserta( Term )
retract( Term )

----------------------------------------------------------------
ОПЦИИ
----------------------------------------------------------------
trace Трассировка всех предикатов.
trace p1,p2,.. Трассировка только предикатов р1,р2,...
shorttrace Трассировка без нарушения системной оптимизации
nowarnings Подавление предупреждений.
nobreak Предикаты не должны опрашивать клавиатуру
для обнаружения команды CTRL-BREAK.
check_determ Предупреждение о наличии недетерминированных выражений.
check_cmpio Проверка наличия смешанных потоковых типов.
diagnostics Печать диагностики компилятора
include "filename"
Включение файла в ходе компиляции.
Настройка таблиц компилятора:
code=nnn Размер массива кода в байтах
trail=nnn Размер массива Trail в байтах