Global Index
This is a global index containing pointers to places where concepts, predicates, modes, properties, types, applications, etc., are referred to in the text of the document.Symbols
- (in atoms)
- +/1 (commons_modes_doc instantiation mode)
- +/2 (commons_modes_doc instantiation mode)
- -->/2 (in statistics)
- -/1 (commons_modes_doc instantiation mode)
- -/2 (commons_modes_doc instantiation mode)
- :/1 (commons_modes_doc instantiation mode)
- :/2 (commons_modes_doc instantiation mode)
- ?/1 (commons_modes_doc instantiation mode)
- ?/2 (commons_modes_doc instantiation mode)
- @/1 (commons_modes_doc instantiation mode)
- @/2 (commons_modes_doc instantiation mode)
- |/2 (in statistics)
A
- add_assoc/4 (assoc predicate)
- add_to_heap/4 (heaps predicate)
- aggregate/3 (c_aggregate predicate)
- aggregate/4 (c_aggregate predicate)
- aggregate_all/3 (c_aggregate predicate)
- aggregate_all/4 (c_aggregate predicate)
- append/3 (c_lists udreexp)
- assoc (assoc library)
- assoc_table/1 (in assoc)
- assoc_to_list/2 (assoc predicate)
- atom_number/2 (atoms udreexp)
- atom_property/2 (atoms predicate)
- atom_split/3 (atoms predicate)
- atom_to_codes/2 (codesio predicate)
- atom_to_codes/3 (codesio predicate)
- atomic_basic (in atoms)
- atomic_concat/3 (atoms predicate)
- atomic_list_concat/2 (atoms predicate)
- atomic_list_concat/3 (atoms predicate)
- atoms (atoms library)
B
- basic_props (in c_lists)
- between/3 (c_arith udreexp)
- binomialheap (binomialheap library)
- binomialheap_new (binomialheap_new library)
C
- c_aggregate (c_aggregate library)
- c_aggregate_test (c_aggregate_test library)
- c_arith (c_arith library)
- c_commas (c_commas library)
- c_errors (in c_aggregate)
- c_lists (c_lists library)
- c_numlists (c_numlists library)
- c_ordsets (c_ordsets library)
- c_pairs (in c_aggregate)
- c_terms (in c_aggregate)
- call/2 (in commons_modes_doc)
- codesio (codesio library)
- comma_append/3 (c_commas predicate)
- comma_length/2 (c_commas predicate)
- comma_member/2 (c_commas predicate)
- comma_memberchk/2 (c_commas predicate)
- comma_to_list/2 (c_commas predicate)
- commons_modes (commons_modes_doc library)
- contains_term/2 (occurs predicate)
- contains_var/2 (occurs predicate)
- copy_term/3 (coroutining predicate)
- coroutining (coroutining library)
- cross_product/2 (multisets predicate)
D
- dcg_basics (dcg_basics library)
- default_predicates (in c_arith)
- del_assoc/4 (assoc predicate)
- del_max_assoc/4 (assoc predicate)
- del_min_assoc/4 (assoc predicate)
- delete_first_ht/3 (hashtable predicate)
- delete_ht/3 (hashtable predicate)
- delete_ht1/4 (hashtable predicate)
- delete_min_q/3 (binomialheap_new predicate)
- det(free_variables(Generator,Template,VarList0,VarList)) (in c_aggregate_test)
- dif/2 (coroutining predicate)
- difference/3 (sets predicate)
- downcase_atom/2 (atoms predicate)
E
- empty_assoc/1 (assoc predicate)
- empty_heap/1 (heaps predicate)
- empty_q/1 (binomialheap_new predicate)
- empty_queue/1 (queues.dec10 predicate)
- exclude/3 (c_lists predicate)
F
- find_min_q/2 (binomialheap_new predicate)
- flatten/2 (c_lists predicate)
- foldl/4 (assoc predicate)
- foo/3 (c_aggregate_test predicate)
- foreach/2 (c_aggregate predicate)
- format_to_codes/3 (codesio predicate)
- format_to_codes/4 (codesio predicate)
- free_of_term/2 (occurs predicate)
- free_of_var/2 (occurs predicate)
- free_variables/4 (c_aggregate predicate)
- freeze/2 (coroutining predicate)
- frozen/2 (coroutining predicate)
- fst_of_pairs/2 (pairlist predicate)
G
- gen_assoc/3 (assoc predicate)
- gennum/2 (gensym predicate)
- gensym (gensym library)
- gensym/2 (gensym predicate)
- get_assoc/3 (assoc predicate)
- get_assoc/5 (assoc predicate)
- get_from_heap/4 (heaps predicate)
- get_next_assoc/4 (assoc predicate)
- get_prev_assoc/4 (assoc predicate)
H
- hashtable (hashtable library)
- head_queue/2 (queues.dec10 predicate)
- heap_size/2 (heaps predicate)
- heap_to_list/2 (heaps predicate)
- heaps (heaps library)
I
- include/3 (c_lists predicate)
- insert_ht/3 (hashtable predicate)
- insert_ht/4 (hashtable predicate)
- insert_list_q/3 (binomialheap_new predicate)
- insert_q/3 (binomialheap_new predicate)
- integertable (integertable library)
- intersection/3 (sets predicate)
- is_assoc/1 (assoc predicate)
- is_list/1 (c_lists predicate)
- is_member/1 (in assoc)
J
- Jan Wielemaker (made some SWI-Prolog enhancements) (in c_aggregate_test)
- Jose F. Morales (commons_modes_doc author)
- join_queue/3 (queues.dec10 predicate)
- jump_queue/3 (queues.dec10 predicate)
K
L
- last/2 (c_lists udreexp)
- length/2 (c_lists udreexp)
- length_queue/2 (queues.dec10 predicate)
- list_concat/2 (c_lists predicate)
- list_join_queue/3 (queues.dec10 predicate)
- list_jump_queue/3 (queues.dec10 predicate)
- list_to_assoc/2 (assoc predicate)
- list_to_heap/2 (heaps predicate)
- list_to_ord_set/2 (c_ordsets predicate)
- list_to_queue/2 (queues.dec10 predicate)
- lookup/3 (pairlist predicate)
- lookup_any/3 (pairlist predicate)
- lookup_any_eq/3 (pairlist predicate)
- lookup_eq/3 (pairlist predicate)
- lookup_ht/3 (hashtable predicate)
- lookup_ht1/4 (hashtable predicate)
- lookup_ht2/4 (hashtable predicate)
M
- Manuel Carro (assoc author)
- Manuel Hermenegildo (commons_modes_doc author)
- make_queue/1 (queues.dec10 predicate)
- map/3 (assoc predicate)
- map_assoc/2 (assoc predicate)
- map_assoc/3 (assoc predicate)
- maplist/2 (c_lists predicate)
- maplist/3 (c_lists predicate)
- maplist/4 (c_lists predicate)
- maplist/5 (c_lists predicate)
- markup_language (markup_language library)
- max_assoc/3 (assoc predicate)
- max_list/2 (c_numlists predicate)
- member/2 (c_lists udreexp)
- memberchk/2 (c_lists predicate)
- merge/3 (c_ordsets predicate)
- min_assoc/3 (assoc predicate)
- min_list/2 (c_numlists predicate)
- min_of_heap/3 (heaps predicate)
- min_of_heap/5 (heaps predicate)
- msort/2 (c_lists predicate)
- multisets (multisets library)
N
- new_ht/1 (hashtable predicate)
- newsym/2 (gensym predicate)
- nextto/3 (c_lists predicate)
- nondet(aggregate(Template,Discriminator,Goal,Result)) (in c_aggregate_test)
- nondet(aggregate(Template,Goal,Result)) (in c_aggregate_test)
- nondet(foo(Template,Goal,Result)) (in c_aggregate_test)
- nonvar/1 (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in commons_modes_doc)
- (in commons_modes_doc)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- not_further_inst/2 (in commons_modes_doc)
- nth0/3 (c_lists predicate)
- nth1/3 (c_lists predicate)
- num_list/3 (c_numlists predicate)
- number_digits/2 (atoms predicate)
- number_to_codes/2 (codesio predicate)
- number_to_codes/3 (codesio predicate)
O
- occurrences_of_term/3 (occurs predicate)
- occurrences_of_var/3 (occurs predicate)
- occurs (occurs library)
- open_codes_stream/2 (codesio predicate)
- ord_add_element/3 (c_ordsets predicate)
- ord_del_element/3 (c_ordsets predicate)
- ord_disjoint/2 (c_ordsets predicate)
- ord_empty/1 (c_ordsets predicate)
- ord_insert/3 (c_ordsets predicate)
- ord_intersect/2 (c_ordsets predicate)
- ord_intersect/3 (c_ordsets predicate)
- ord_intersection/3 (c_ordsets predicate)
- ord_intersection/4 (c_ordsets predicate)
- ord_list_to_assoc/2 (assoc predicate)
- ord_member/2 (c_ordsets predicate)
- ord_memberchk/2 (c_ordsets predicate)
- ord_pairs/1 (in assoc)
- ord_seteq/2 (c_ordsets predicate)
- ord_setproduct/3 (c_ordsets predicate)
- ord_subset/2 (c_ordsets predicate)
- ord_subtract/3 (c_ordsets predicate)
- ord_symdiff/3 (c_ordsets predicate)
- ord_union/2 (c_ordsets predicate)
- ord_union/3 (c_ordsets predicate)
- ord_union/4 (c_ordsets predicate)
P
- Pablo Chico (assoc author)
- pairlist (pairlist library)
- pairlist_delete_eq/3 (pairlist predicate)
- pairs/1 (in assoc)
- pairup/3 (pairlist predicate)
- partition/4 (c_lists predicate)
- partition/5 (c_lists predicate)
- permutation/2 (c_lists predicate)
- powerset/2 (multisets predicate)
- prefix/2 (c_lists predicate)
- put_assoc/4 (assoc predicate)
- put_assoc/5 (assoc predicate)
- put_value/5 (in assoc)
Q
- q_delete/3 (queues predicate)
- q_empty/1 (queues predicate)
- q_insert/3 (queues predicate)
- q_member/2 (queues predicate)
- queue_to_list/2 (queues.dec10 predicate)
- queues (queues library)
- queues.dec10 (queues.dec10 library)
R
- Richard O'Keefe (in c_aggregate_test)
- read_from_codes/2 (codesio predicate)
- read_line_to_codes/2 (readutils predicate)
- read_line_to_codes/3 (readutils predicate)
- read_stream_to_codes/2 (readutils predicate)
- read_to_bytes/4 (readutils predicate)
- read_to_bytes/5 (readutils predicate)
- read_to_codes/4 (readutils predicate)
- read_to_codes/5 (readutils predicate)
- readutils (readutils library)
- remove_duplicates/2 (c_lists predicate)
- reset_gennum/0 (gensym predicate)
- reset_gennum/1 (gensym predicate)
- reset_gensym/0 (gensym predicate)
- reset_gensym/1 (gensym predicate)
- reverse/2 (c_lists udreexp)
S
- select/3 (c_lists udreexp)
- selectchk/3 (c_lists predicate)
- semidet(aggregate_all(Template,Discriminator,Goal,Result)) (in c_aggregate_test)
- semidet(aggregate_all(Template,Goal,Result)) (in c_aggregate_test)
- serve_queue/3 (queues.dec10 predicate)
- sets (sets library)
- snd_of_pairs/2 (pairlist predicate)
- sort/2 (c_lists udreexp)
- statistics (statistics library)
- stats_ht/1 (hashtable predicate)
- sub_list/5 (c_lists predicate)
- sub_term/2 (occurs predicate)
- sub_var/2 (occurs predicate)
- sublist/2 (c_lists predicate)
- subset/2 (sets predicate)
- succ/2 (c_arith predicate)
- suffix/2 (c_lists predicate)
- sum_list/2 (c_numlists predicate)
T
- T. Swift (c_commas author)
- The Prolog Commons Group (part_library author)
- translate/3 (pairlist predicate)
U
V
- value/1 (in assoc)
- value_ht/2 (hashtable predicate)
- var/1 (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in assoc)
- (in commons_modes_doc)
- (in commons_modes_doc)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)
- (in c_aggregate_test)