Download context/2 - bei IF Computer

Transcript
Index
convert to structure, 60
decompose, 77
element, 812
form from head and tail, 161
generate, 771, 777
head, 812
individual element, 324
last element, 317
number of elements, 319
remove sublist, 454
reverse, 463
sort, 527
syntax, 811
tail, 812
test, 758
test membership, 344, 347, 364
unify, 788
literal, 821
local (control) stack
size, 309
used, 309
log, 309
logical function, 309, 820
loop
for, 258
repeat, 456
lowercase letters
convert to uppercase, 334
syntax, 802
history
configure, 654
import predicates, 299
infix operator, 813
input
byte, 266, 395
character, 268, 271, 397, 399
character string, 281
query end of line, 93
query end of stream, 95
skip line, 507
syntax errors, 548
term, 437, 442
input loop
generate, 123
installation path
of IF/Prolog system, 426
instantiation
test, 289, 367
integer
generate, 770
syntax, 801
test, 308, 756
unify, 787
integer division, 309
integer expression
test, 757
integers
generate a sequence, 258
interface of a module, 354
invocation parameters
query, 422
iteration
for, 258
repeat, 456
machine identification
query, 558
match
pattern, 338, 341
regular expression, 452
maximum function, 309
maxint, 309
memory
database, 309
global stack, 309
local (control)stack, 309
stacks, 309
trail stack, 309
memory management
query parameters, 183
set parameters, 484
statistics, 529
left shift, 309
letter
test, 316
lexical elements, 795
line
skip, 507
list
append, 77
Reference Manual
840
IF/Prolog V5.3