Go to the first, previous, next, last section, table of contents.

Predicate Index

Jump to: ! - # - * - + - , - - - . - / - : - ; - < - = - > - ? - @ - [ - \ - ^ - a - b - c - d - e - f - g - h - i - k - l - m - n - o - p - q - r - s - t - u - v - w - x - z - { - ~

!

  • !/0, cut, !/0, cut

    • #

  • # /2, bitwise exclusive or
  • # /2, boolean eor
  • #/\ /2
  • #< /2
  • #<= /2
  • #<=> /2, #<=> /2
  • #= /2
  • #=< /2
  • #=> /2
  • #> /2
  • #>= /2
  • #\ /1
  • #\ /2
  • #\/ /2
  • #\= /2

    • *

  • * /2, boolean and
  • * /2, multiplication

    • +

  • + /1, identity
  • + /2, addition
  • + /2, boolean ior

    • ,

  • ,/2, conjunction

    • -

  • - /1, negation
  • - /2, subtraction
  • --> /2, grammar rule
  • -> /2 ;/2, if then else
  • -> /2, if then

    • .

  • . /2, consult
  • . /2, identity

    • /

  • / /2, floating division
  • // /2, integer division
  • /\ /2, bitwise conjunction

    • :

  • :- /1, command
  • :- /2, clause
  • :/2
  • ::/1 (message sending)
  • ::/2 (message sending)

    • ;

  • ;/2, disjunction

    • <

  • < /2, arithmetic less than
  • < /2, boolean less
  • <:/1 (message delegation)
  • <:/2 (message delegation)
  • << /2, left shift

    • =

  • = /2, unification
  • =.. /2, univ
  • =:= /2, arithmetic equal
  • =:= /2, boolean equal
  • =< /2, arithmetic less or equal
  • =< /2, boolean less or equal
  • == /2, equality of terms
  • =\= /2, arithmetic not equal
  • =\= /2, boolean not equal

    • >

  • > /2, arithmetic greater than
  • > /2, boolean greater
  • >= /2, arithmetic greater or equal
  • >= /2, boolean greater or equal
  • >> /2, right shift

    • ?

  • ?- /1, query
  • ?= /2, terms identical or cannot unify

    • @

  • @< /2, term less than
  • @=< /2, term less or equal
  • @> /2, term greater than
  • @>= /2, term greater or equal

    • [

  • []/0, consult

    • \

  • \ /1, bitwise negation
  • \+ /1, not provable
  • \/ /2, bitwise disjunction
  • \== /2, inequality of terms

    • ^

  • ^ /2, boolean existential quantifier
  • ^ /2, existential quantifier

    • a

  • abolish/1
  • abolish/2
  • abort (debugger command)
  • abort/0, abort/0
  • abs/1, absolute value
  • absolute_file_name/2
  • acos/1, function
  • acosh/1, function
  • acot/1, function
  • acot2/2, function
  • acoth/1, function
  • acyclic_term/1
  • add_edges/3, add_edges/3
  • add_to_heap/4
  • add_vertices/3, add_vertices/3
  • agc_margin (prolog flag)
  • all_different/1
  • all_distinct/1
  • ancestors (debugger command)
  • append/3
  • aref/3
  • arefa/3
  • arefl/3
  • arg/3
  • argv (prolog flag)
  • array_to_list/2
  • aset/4
  • asin/1, function
  • asinh/1, function
  • assert/1
  • assert/2
  • asserta/1
  • asserta/2
  • assertz/1
  • assertz/2
  • assignment/2
  • assoc_to_list/2
  • at_end_of_line/0
  • at_end_of_line/1
  • at_end_of_stream/0
  • at_end_of_stream/1
  • atan/1, function
  • atan2/2, function
  • atanh/1, function
  • atom/1
  • atom_chars/2
  • atom_garbage_collection (statistics/2 option)
  • atom_to_chars/2
  • atom_to_chars/3
  • atomic/1
  • atoms (statistics/2 option)
  • attribute/1 (declaration)
  • attribute_goal/2

    • b

  • backtrace (debugger command)
  • backtracks (profile_data/4 option)
  • bagof/3
  • bagof_rd_noblock/3
  • bb_delete/2
  • bb_get/2
  • bb_inf/3
  • bb_inf/5
  • bb_put/2
  • bb_update/3
  • block/1 (declaration)
  • blocked goals (debugger command)
  • break (debugger command)
  • break/0, break/0

    • c

  • C/3
  • call/1
  • call_cleanup/2
  • call_graph/2
  • call_residue/2, call_residue/2
  • callable/1
  • calls (profile_data/4 option)
  • card/2, boolean cardinality
  • ceiling/1, function
  • character_count/2
  • character_escapes (prolog flag)
  • choice (statistics/2 option)
  • choice_points (profile_data/4 option)
  • CHOICESTKSIZE (environment)
  • chr_debug/0
  • chr_debugging/0
  • chr_leash/1
  • chr_nodebug/0
  • chr_nospy/1
  • chr_notrace/0
  • chr_spy/1
  • chr_trace/0
  • circuit/1
  • circuit/2
  • clause/2
  • clause/3
  • clique/3
  • close/1
  • close_client/0
  • clpfd:dispatch_global/4
  • clpfd:full_answer/0
  • coloring/3
  • colouring/3
  • command (debugger command)
  • compare/3
  • compile-buffer (emacs command)
  • compile-file (emacs command)
  • compile-predicate (emacs command)
  • compile-region (emacs command)
  • compile/1, compile/1
  • compiling (prolog flag)
  • complement/2
  • compose/3
  • compound/1
  • consistency_error/4 (error class)
  • consult-buffer (emacs command)
  • consult-file (emacs command)
  • consult-predicate (emacs command)
  • consult-region (emacs command)
  • consult/1, consult/1
  • context_error/3 (error class)
  • copy_term/2
  • core (statistics/2 option)
  • cos/1, function
  • cosh/1, function
  • cot/1, function
  • coth/1, function
  • count/4
  • create_mutable/2
  • creep (debugger command)
  • cumulative/4
  • current_atom/1
  • current_constraint/2
  • current_db/4
  • current_handler/2
  • current_host/1
  • current_input/1
  • current_key/2
  • current_module/1
  • current_module/2
  • current_op/3
  • current_output/1
  • current_predicate/2
  • current_stream/3
  • cyclic_term/1

    • d

  • datime/1
  • db_buffering/2
  • db_buffering/3
  • db_canonical/2
  • db_canonical/3
  • db_close/0
  • db_close/1
  • db_erase/1
  • db_erase/2
  • db_fetch/2
  • db_fetch/3
  • db_findall/2
  • db_findall/3
  • db_open/3
  • db_open/4
  • db_store/2
  • db_store/3
  • debug/0, debug/0
  • debugger_print_options (prolog flag)
  • debugging (debugger command)
  • debugging (prolog flag)
  • debugging/0, debugging/0
  • deep_fails (profile_data/4 option)
  • del_assoc/4
  • del_edges/3, del_edges/3
  • del_max_assoc/4
  • del_min_assoc/4
  • del_vertices/3, del_vertices/3
  • delete/3
  • delete_file/1
  • delete_file/2
  • delete_from_heap/4
  • dif/2
  • directory_files/2
  • display (debugger command)
  • display/1
  • domain/3
  • domain_error/4 (error class)
  • dump/3
  • dynamic/1 (declaration)

    • e

  • edges/2, edges/2
  • element/3
  • empty_assoc/1
  • empty_fdset/1
  • empty_heap/1
  • empty_interval/2
  • empty_queue/1
  • ensure_loaded/1, ensure_loaded/1
  • entailed/1
  • environ/2
  • erase/1
  • error_exception/1
  • exec/3
  • execution_time (profile_data/4 option)
  • existence_error/5 (error class)
  • exp/1, exponent
  • exp/2, exponent
  • expand/0
  • expand_term/2

    • f

  • fail (debugger command)
  • fail/0
  • false/0
  • fcompile/1, fcompile/1
  • fd_closure/2
  • fd_dom/2
  • fd_global/3
  • fd_max/2
  • fd_min/2
  • fd_set/2
  • fd_size/2
  • fd_statistics/0
  • fd_statistics/2
  • fdset_add_element/3
  • fdset_complement/2
  • fdset_del_element/3
  • fdset_disjoint/2
  • fdset_eq/2
  • fdset_intersect/2
  • fdset_intersection/2
  • fdset_intersection/3
  • fdset_interval/3
  • fdset_max/2
  • fdset_member/2
  • fdset_min/2
  • fdset_parts/4
  • fdset_singleton/2
  • fdset_size/2
  • fdset_subset/2
  • fdset_subtract/3
  • fdset_to_list/2
  • fdset_to_range/2
  • fdset_union/2
  • fdset_union/3
  • file_exists/1
  • file_exists/2
  • file_property/2
  • file_search_path/2
  • fileerrors (prolog flag)
  • fileerrors/0
  • find this (debugger command)
  • find_constraint/2
  • find_constraint/3
  • findall/3
  • findall/4
  • findall_constraints/2
  • findall_constraints/3
  • float/1
  • float/1, coercion
  • floor/1, function
  • flush_output/0
  • flush_output/1
  • foreign/2
  • foreign/3, foreign/3
  • foreign_file/2
  • foreign_resource/2
  • format/2
  • format/3
  • format_to_chars/3
  • format_to_chars/4
  • freeze/2
  • frozen/2
  • functor/3

    • g

  • garbage_collect/0
  • garbage_collect_atoms/0
  • garbage_collection (statistics/2 option)
  • gc (prolog flag)
  • gc/0
  • gc_margin (prolog flag)
  • gc_trace (prolog flag)
  • gcd/2, greatest common divisor
  • gen_assoc/3
  • gen_label/3
  • generate_flinkage/1
  • get/1
  • get/2
  • get0/1
  • get0/2
  • get_assoc/3
  • get_assoc/5
  • get_atts/2
  • get_default_db/1
  • get_from_heap/4
  • get_label/3
  • get_mutable/2
  • get_next_assoc/4
  • get_prev_assoc/4
  • getrand/1
  • global_stack (statistics/2 option)
  • GLOBALSTKSIZE (environment)
  • goal_expansion/3
  • ground/1

    • h

  • halt/0
  • halt/1
  • heap (statistics/2 option)
  • heap_size/2
  • heap_to_list/2
  • help (debugger command)
  • help/0
  • host_id/1
  • host_name/1
  • hostname_address/2

    • i

  • if/3
  • in/1
  • in/2, in/2
  • in_noblock/1
  • in_set/2
  • incore/1
  • independent_set/3
  • indomain/1
  • inf/0, infinity
  • inf/2
  • initialization/0
  • initialization/1
  • insert_constraint/2
  • insert_constraint/3
  • instance/2
  • instantiation_error/2 (error class)
  • integer/1
  • integer/1, coercion
  • is/2
  • is_array/1
  • is_assoc/1
  • is_fdset/1
  • is_heap/1
  • is_list/1
  • is_mutable/1, is_mutable/1
  • is_ordset/1
  • is_queue/1

    • k

  • keysort/2
  • kill/2

    • l

  • labeling/1
  • labeling/2
  • last/2
  • LD_LIBRARY_PATH (environment), LD_LIBRARY_PATH (environment), LD_LIBRARY_PATH (environment)
  • LD_RUN_PATH (environment)
  • leap (debugger command)
  • leash/1, leash/1
  • length/2
  • library_directory/1
  • LIBRARY_PATH (environment)
  • linda/0
  • linda/1
  • linda_client/1
  • linda_timeout/2
  • line_count/2
  • line_position/2
  • link_foreign_resource/6
  • list_queue/2
  • list_to_assoc/2
  • list_to_fdset/2
  • list_to_heap/2
  • list_to_ord_set/2
  • list_to_tree/2
  • listing/0
  • listing/1
  • load/1, load/1
  • load_files/1
  • load_files/2
  • load_foreign_files/2
  • load_foreign_resource/1
  • local_stack (statistics/2 option)
  • LOCALSTKSIZE (environment)
  • log/1, logarithm
  • log/2, logarithm

    • m

  • make_directory/1
  • make_index:make_library_index/1
  • map_assoc/2
  • map_assoc/3
  • map_tree/3
  • max/2, maximum value
  • max_assoc/3
  • max_list/2
  • max_path/5, max_path/5
  • max_workers (muse_flag option)
  • maximize/1
  • maximize/2
  • member/2
  • memberchk/2
  • memory (statistics/2 option)
  • meta_predicate/1 (declaration), meta_predicate/1 (declaration)
  • method/3 (Java method identifier)
  • method_expansion/3
  • min/2, minimum value
  • min_assoc/3
  • min_list/2
  • min_of_heap/3
  • min_of_heap/5
  • min_path/5, min_path/5
  • min_paths/3, min_paths/3
  • min_tree/3, min_tree/3
  • minimize/1
  • minimize/2
  • mktemp/2
  • mod/2, integer remainder
  • mode/1 (declaration)
  • module/1
  • module/2 (declaration), module/2 (declaration)
  • module/3 (declaration), module/3 (declaration)
  • msb/1, most significant bit
  • multifile/1 (declaration)
  • muse_flag/2
  • muse_flag/3
  • muse_flags/0
  • muse_init_lock() (C function)
  • muse_lock() (C function)
  • muse_max_workers() (C function)
  • muse_num_workers() (C function)
  • muse_sync/0
  • muse_trace/1
  • muse_trace/2
  • muse_un_lock() (C function)