Глава 2. Элементы языка 50

Имена. 50

Ключевые слова. 50

Специальные предикаты. 51

Разделы программы. 51

Раздел доменов (domains). 52

Стандартные домены. 52

Списковые домены. 53

Домены составных объектов. 53

Файловый домен. 53

Специально заданные предопределенные домены. 54

Сокращение объявлений доменов. 54

Объявление ссылочных доменов. 54

Раздел предикатов (predicates). 55

Раздел базы данных (database). 55

Раздел предложений (clauses). 56

Простые константы. 56

Термы. 57

Переменные. 57

Составные объекты. 58

Списки - Специальный вид составных объектов. 58

Раздел констант. 58

Условная компиляция. 60

Включение файлов в вашу программу. 60

Директивы компилятора. 61

bgidriver 61

bgifont 61

check_determ O/C/Non-Determ) 62

code 62

config 63

diagnostics O/C/Diagnostics 63

errorlevel O/C/Error Lever 64

heap O/C/M/Heap 64

nobreak O/C/R/Break Check 65

nowarnings O/C/Variable Used Once 65

printermenu O/C/Printer Menu in EXE file 65

project 65

trace (shorttrace) O/C/T/Trace (Short Trace) 65

trail O/C/M/Trail Array 67

Управление памятью в Турбо Прологе. 67

Экономия ресурсов памяти. 68

Управление распределением памяти. 68

Генерирование выполняемых программ. 69

Модульное программирование. 70

Проекты. 70

Глобальные объявления. 71

Глобальные домены. 71

Глобальная база данных. 72

Глобальные предикаты. 72

Компиляция и компоновка модулей. 72

Пример. 73

Глава 3. Интерфейс с другими языками 75

Вызов других языков из Турбо Пролога. 75

Что делать перед вызовом. 75

Объявление внешних предикатов. 75

Вызов соглашений и передача параметров. 75

Соглашение об обозначениях 76

Использование ключевого слова as 77

Вызов процедуры, написанной на Си из Пролога. 77

Опции компилятора Турбо Си и компоновка. 78

Вызов программ на языке ассемблера из Турбо Пролога. 79

Использование внутреннего ассемблера Турбо Си. 82

Вызов Турбо Пролога из других языков. 82

Динамическое распределение памяти. 84

Передача составных объектов в другие языки. 84

Передача списков. 84

Передача структур. 85

Примеры. 85

Обработка списков. 86

Программирование на низком уровне. 88

Часть 2. Стандартные предикаты 91

arc/5 Графика 91

assert/1 92

assert/2 92

asserta/1 93

asserta/2 93

assertz/1 94

assertz/2 95

attribute/1 95

bar/4 Графика 96

beep/0 97

bios/3 97

bios/4 98

bitand/3 99

bitleft/3 99

bitnot/2 100

bitor/3 100

bitright/3 101

bitxor/3 101

bound/1 102

break/1 102

breakpressed/0 103

bt_close/2 Внешняя База Данных 103

bt_create/5 Внешняя База Данных 104

bt_delete/2 Внешняя База Данных 105

bt_open/3 Внешняя База Данных 105

bt_statistics/8 Внешняя База Данных 106

chain_delete/2 Внешняя База Данных 107

chain_first/3 Внешняя База Данных 108

chain_inserta/5 Внешняя База Данных 108

chain_insertafter/5 Внешняя База Данных 109

chain_insertz/5 Внешняя База Данных 110

chain_last/3 Внешняя База Данных 110

chain_next/3 Внешняя База Данных 111

chain_prev/3 Внешняя База Данных 112

chain_terms/5 Внешняя База Данных 113

char_int/2 113

circle/3 Графика 114

cleardevice/0 Графика 115

clearviewport/0 Графика 115

clearwindow/0 115

closefile/1 116

closegraph/0 Графика 116

colorsetup/1 117

comline/1 117

concat/3 118

consult/1 119

consult/2 120

consulterror/3 120

cursor/2 121

cursorform/2 121

cutbacktrack/1 122

date/3 123

db_btrees/2 Внешняя База Данных 123

db_chains/2 Внешняя База Данных 124

db_close/1 Внешняя База Данных 124

db_copy/3 125

db_create/3 Внешняя База Данных 126

db_delete/2 Внешняя База Данных 127

db_flush/1 Внешняя База Данных 128

db_garbagecollect/1 Внешняя База Данных 128

db_open/3 Внешняя База Данных 129

db_openinvalid/3 Внешняя База Данных 130

db_statistics/5 Внешняя База Данных 131

debug/0 132

deletefile/1 133

detectgraph/2 Графика 133

dir/3 134

dir/6 134

disk/1 135

display/1 135

drawpoly/1 Графика 136

edit/2 137

edit/13 137

editmsg/8 139

ellipse/6 Графика 139

envsymbol/2 140

eof/1 140

equals(=)/2 141

errormsg/4 142

existfile/1 143

existwindow/1 143

exit/0 143

exit/1 144

fail/0 144

field_attr/4 145

field_str/4 146

filemode/2 147

filepos/3 147

file_str/2 149

fillellipse/4 Графика 150

fillpoly/1 Графика 150

findall/3 150

floodfill/3 Графика 152

flush/1 152

format/* 153

framewindow/1 155

framewindow/4 155

free/1 156

frontchar/3 157

frontstr/4 158

fronttoken/3 158

getarccoords/6 Графика 160

getaspectratio/2 Графика 160

getbacktrack/1 160

getbkcolor/1 Графика 161

getcolor/1 Графика 162

getdefaultpalette/1 Графика 162

getdrivername/1 Графика 163

getfillpattern/1 Графика 163

getfillsettings/2 Графика 163

getgraphmode/1 Графика 165

getimage/6 Графика 165

getlinesettings/3 Графика 166

getmaxcolor/1 Графика 167

getmaxx/1 Графика 167

getmaxy/1 Графика 167

getmaxmode/1 Графика 168

getmodename/2 Графика 168

getmoderange/3 Графика 168

getpalette/1 Графика 169

getpalettesize/1 Графика 170

getpixel/3 Графика 170

gettextsettings/5 Графика 171

getviewsettings/5 Графика 172

getx/1 Графика 172

gety/1 Графика 173

gotowindow/1 173

graphdefaults/0 Графика 174

graphresult/1 Графика 175

imagesize/5 Графика 175

initgraph/5 Графика 176

inkey/1 179

isname/1 180

key_current/4 Внешняя База Данных 180

key_delete/4 Внешняя База Данных 181

key_first/3 Внешняя База Данных 182

key_insert/4 Внешняя База Данных 182

key_last/3 Внешняя База Данных 183

key_next/3 Внешняя База Данных 184

key_prev/3 Внешняя База Данных 184

key_search/4 Внешняя База Данных 185

keypressed/0 186

line/4 Графика 186

linerel/2 Графика 187

lineto/2 Графика 187

makewindow/8 187

makewindow/11 189

membyte/3 190

memword/3 191

moverel/2 Графика 191

moveto/2 Графика 192

nl/0 192

not 192

openappend/2 193

openmodify/2 194

openread/2 194

openwrite/2 195

outtext/1 Графика 196

outtextxy/3 Графика 196

pieslice/5 Графика 197

pieslicexy/6 Графика 197

port_byte/2 198

ptr_dword/3 198

putimage/4 Графика 199

putpixel/3 Графика 200

random/1 200

random/2 201

readchar/1 201

readdevice/1 202

readint/1 203

readln/1 203

readreal/1 204

readterm/2 205

readtermerror/2 206

rectangle/4 Графика 206

removewindow/0 207

removewindow/2 207

renamefile/2 208

resizewindow/0 208

resizewindow/4 209

restorecrtmode/0 Графика 209

retract/1 210

retract/2 211

retractall/1. 212

retractall/2. 213

save/1. 213

save/2. 214

scr_attr/3 215

scr_char/3 216

scroll/2 216

setactivepage/1 Графика 217

setallpalette/1 Графика 218

setaspectratio/2 Графика 219

setbkcolor/1 Графика 219

setcolor/1 Графика 220

setfillpattern/2 Графика 221

setfillstyle/2 Графика 221

setgraphmode/1 Графика 222

setgraphbufsize/1 Графика 223

setlinestyle/3 Графика 223

setpalette/2 Графика 224

setrgbcolor/4 Графика 225

settextjustify/2 Графика 226

settextstyle/3 Графика 226

setusercharsize/4 Графика 228

setviewport/5 Графика 229

setvisualpage/1 Графика 229

setwritemode/1 Графика 229

shiftwindow/1 230

snowcheck/1 231

sound/2 232

storage/3 233

str_char/2 234

str_int/2 234

str_len/2 235

str_real/2 236

system/1 237

system/3 237

term_delete/3 Внешняя База Данных 238

term_replace/4 Внешняя База Данных 239

textheight/2 Графика 239

textwidth/2 Графика 240

time/4 240

trace/1 241

trap 242

true 243

unreadchar/1 243

upper_lower/2 244

window_attr/1 245

window_str/1 245

write 246

writedevise/1 247

goal 247

writef/* 248