Download SICStus Prolog User`s Manual

Transcript
1382
assertz/[1,2] (built-in) . . . . . . . . . . . . . . . . . . . 177
assertz/[1,2] (built-in, ref page) . . . . . . . . 898
assignment, destructive . . . . . . . . . . . . . . . . . . . . . . . 129
assignment/[2,3] (clpfd) . . . . . . . . . . . . . . . . . . . 574
assoc_to_list/2 (assoc) . . . . . . . . . . . . . . . . . . . . 379
association list . . . . . . . . . . . . . . . . . . . . . . . . . . . 379, 388
associativity of operators . . . . . . . . . . . . . . . . . . . . . . 48
assumptions/1 (labeling/2 option) . . . . . . . . . 604
asynchronously, calling Prolog . . . . . . . . . . . . . . . . 304
at_end_of_line/[0,1] (built-in) . . . . . . . . . . . 106
at_end_of_line/[0,1] (built-in, ref page)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 900
at_end_of_stream/[0,1] (built-in) . . . . . . . . 106
at_end_of_stream/[0,1] (built-in, ref page)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 901
atan/1 (evaluable) . . . . . . . . . . . . . . . . . . . . . . . . . . 122
atan2/2 (evaluable) . . . . . . . . . . . . . . . . . . . . . . . . 122
atanh/1 (evaluable) . . . . . . . . . . . . . . . . . . . . . . . . 122
atom (definition) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
atom (double_quotes flag value) . . . . . . . . . . . 136
atom garbage collection. . . . . . . . . . . . . . . . . . . . . . . 154
atom, one-char (definition) . . . . . . . . . . . . . . . . . . . . . 15
atom/1 (built-in, ref page) . . . . . . . . . . . . . . . . 902
atom_chars/2 (built-in) . . . . . . . . . . . . . . . . . . . . 126
atom_chars/2 (built-in, ref page) . . . . . . . . . 903
atom_codes/2 (built-in) . . . . . . . . . . . . . . . . . . . . 126
atom_codes/2 (built-in, ref page) . . . . . . . . . 904
atom_concat/3 (built-in) . . . . . . . . . . . . . . . . . . . 126
atom_concat/3 (built-in, ref page) . . . . . . . . 905
atom_garbage_collection (statistics key)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
atom_length/2 (built-in) . . . . . . . . . . . . . . . . . . . 126
atom_length/2 (built-in, ref page) . . . . . . . . 906
atomic term (definition) . . . . . . . . . . . . . . . . . . . . . . . . 7
atomic/1 (built-in, ref page) . . . . . . . . . . . . . . 907
atomic_type/[1,2,3] (structs) . . . . . . . . . . . . . 528
atoms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
atoms (statistics key) . . . . . . . . . . . . . . . . . . . . . 147
atoms, canonical representation of . . . . . . . . . . . . 297
atoms_nbfree (statistics key) . . . . . . . . . . . . . 148
atoms_nbused (statistics key) . . . . . . . . . . . . . 148
atoms_used (statistics key) . . . . . . . . . . . . . . . . 148
attribute declaration. . . . . . . . . . . . . . . . . . . . . . . . . . 381
attribute/1 (declaration) . . . . . . . . . . . . . . . . . . 381
attribute_goal/2 (Module) . . . . . . . . . . . . . . . . . . 383
attributed variables . . . . . . . . . . . . . . . . . . . . . . . . . . . 381
auto-generation of names . . . . . . . . . . . . . . . . . . . . . 660
automaton/[3,8,9] (clpfd) . . . . . . . . . . . . . . . . . . 595
aux (table/3 method/1 value) . . . . . . . . . . . . . . . 577
avl_change/5 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . 389
avl_del_max/4 (avl) . . . . . . . . . . . . . . . . . . . . . . . . 390
avl_del_min/4 (avl) . . . . . . . . . . . . . . . . . . . . . . . . 390
avl_delete/4 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . 390
avl_domain/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . 388
avl_fetch/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
avl_fetch/3 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
avl_height/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . 388
avl_incr/4 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 390
SICStus Prolog
avl_map/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_map/3 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_max/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_max/3 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_member/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_member/3 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_min/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_min/3 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_next/3 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_next/4 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_prev/3 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_prev/4 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_range/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_size/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_store/4 (avl) . . . . . . . . . . . . . . . . . . . . . . . . . . .
avl_to_list/2 (avl) . . . . . . . . . . . . . . . . . . . . . . . .
avoiding append . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
390
391
388
388
389
389
388
388
389
389
389
389
388
388
390
388
361
B
bab (labeling/2 option) . . . . . . . . . . . . . . . . . . . . 604
backtrace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236, 258
backtrace (debugger command). . . . . . . . . . . . . . . 236
backtrace (definition) . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
backtracking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73, 75
backtracking (definition) . . . . . . . . . . . . . . . . . . . . . . . . 7
backtracking, terminating a loop . . . . . . . . . . . . . . 351
backtracks (fd_statistics/2 option) . . . . . . 607
backtracks (zinc option value) . . . . . . . . 689, 694
backward-paragraph (emacs command) . . . . . . . . . 36
bag . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 391
bag_add_element/4 (bags) . . . . . . . . . . . . . . . . . . . 394
bag_del_element/4 (bags) . . . . . . . . . . . . . . . . . . . 394
bag_intersect/2 (bags) . . . . . . . . . . . . . . . . . . . . . 394
bag_intersection/2 (bags) . . . . . . . . . . . . . . . . . . 394
bag_max/2 (bags) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 393
bag_max/3 (bags) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 393
bag_min/2 (bags) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 393
bag_subtract/3 (bags) . . . . . . . . . . . . . . . . . . . . . . 394
bag_to_list/2 (bags) . . . . . . . . . . . . . . . . . . . . . . . 392
bag_to_ord_set/2 (bags) . . . . . . . . . . . . . . . . . . . . 392
bag_to_ord_set/3 (bags) . . . . . . . . . . . . . . . . . . . . 392
bag_to_set/2 (bags) . . . . . . . . . . . . . . . . . . . . . . . . 392
bag_to_set/3 (bags) . . . . . . . . . . . . . . . . . . . . . . . . 393
bag_union/2 (bags) . . . . . . . . . . . . . . . . . . . . . . . . . . 394
bag_union/3 (bags) . . . . . . . . . . . . . . . . . . . . . . . . . . 394
bagof/3 (built-in) . . . . . . . . . . . . . . . . . . . . . . . . . . 186
bagof/3 (built-in, ref page) . . . . . . . . . . . . . . . 908
bagof_rd_noblock/3 (linda_client) . . . . . . . . 553
bb_delete/2 (built-in) . . . . . . . . . . . . . . . . . . . . . 182
bb_delete/2 (built-in, ref page) . . . . . . . . . . 909
bb_get/2 (built-in) . . . . . . . . . . . . . . . . . . . . . . . . 182
bb_get/2 (built-in, ref page) . . . . . . . . . . . . . . 910
bb_inf/[3,5] (clpqr) . . . . . . . . . . . . . . . . . . . . . . . 637
bb_put/2 (built-in) . . . . . . . . . . . . . . . . . . . . . . . . 182
bb_put/2 (built-in, ref page) . . . . . . . . . . . . . . 911
bb_update/3 (built-in) . . . . . . . . . . . . . . . . . . . . . 182
bb_update/3 (built-in, ref page) . . . . . . . . . . 912