# 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, 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
• 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
• 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
• 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_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
• 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
• ## 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

• 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
• 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
• 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)
• muse_worker_id() (C function)
• ## n

• name/2
• nan/0, not-a-number
• neighbors/3, neighbors/3
• neighbours/3, neighbours/3
• new_array/1
• nextto/3
• nl/0
• nl/1
• no_doubles/1
• nodebug (debugger command)
• nodebug/0, nodebug/0
• noexpand/0
• nofileerrors/0
• nogc/0
• non_member/2
• nonvar/1
• nospy this (debugger command)
• nospy/1, nospy/1
• nospyall/0, nospyall/0
• notify_constrained/1
• notrace/0, notrace/0
• nozip/0, nozip/0
• nth/3
• nth/4
• nth0/3
• nth0/4
• num_workers (muse_flag option)
• number/1
• number_chars/2
• number_to_chars/2
• number_to_chars/3
• numbervars/3
• ## o

• on_exception/3
• op/3, op/3, op/3
• open/3
• open/4
• open_chars_stream/2
• open_null_stream/1
• ord_del_element/3
• ord_disjoint/2
• ord_intersect/2
• ord_intersection/2
• ord_intersection/3
• ord_intersection/4
• ord_list_to_assoc/2
• ord_member/2
• ord_seteq/2
• ord_setproduct/3
• ord_subset/2
• ord_subtract/3
• ord_symdiff/3
• ord_union/2
• ord_union/3
• ord_union/4
• order_resource/2
• ordering/1, ordering/1
• otherwise/0
• out (debugger command)
• out/1
• ## p

• parallel/0 (declaration)
• parallel/1 (declaration)
• path/3, path/3
• peek_char/1
• peek_char/2
• permission_error/5 (error class)
• permutation/2
• phrase/2
• phrase/3
• pid/1
• popen/3
• portray/1
• portray/1.
• portray_clause/1
• portray_clause/2
• portray_message/2
• predicate_property/2
• prefix/2
• prepare_foreign_resource/3
• prepare_resource_table/2
• print (debugger command)
• print/1
• print/2
• print_message/2
• profile_data/4
• profile_reset/1
• program (statistics/2 option)
• project_attributes/2
• prolog_flag/2
• prolog_flag/3
• PROLOGKEEPSIZE (environment)
• PROLOGMAXSIZE (environment)
• prompt/2
• public/1 (declaration)
• put/1
• put/2
• put_assoc/4
• put_atts/2
• put_label/4
• put_label/5
• ## q

• quasi-skip (debugger command)
• queue/2
• queue_last/3
• queue_last_list/3
• queue_length/2
• ## r

• raise exception (debugger command)
• raise_exception/1
• random/1
• random/3
• random_ugraph/3
• random_wgraph/4
• randseq/3
• randset/3
• range_to_fdset/2
• rd/1
• rd/2
• rd_noblock/1
• reachable/3, reachable/3
• reconsult/1
• recorda/3
• recorded/3
• recordz/3
• redefine_warnings (prolog flag)
• reduce/2, reduce/2
• reinitialise/0
• relation/3
• remove_constraint/1
• remove_duplicates/2
• rename_file/2
• repeat/0
• representation_error/3 (error class)
• require/1
• reset printdepth (debugger command)
• reset subterm (debugger command)
• restore/1, restore/1
• retract/1
• retractall/1
• retry (debugger command)
• reverse/2
• round/1, function
• runtime (statistics/2 option)
• ## s

• same_length/2
• same_length/3
• sat/1
• save_program/1, save_program/1
• save_program/2, save_program/2
• scalar_product/4
• see/1
• seeing/1
• seek/4
• seen/0
• select/3
• sequential/0 (declaration)
• sequential/1 (declaration)
• serialized/2
• serialized_precedence/3
• serialized_precedence_resource/4
• serialized_resource/3
• set printdepth (debugger command)
• set subterm (debugger command)
• set_default_db/1
• set_input/1
• set_output/1
• set_stream_position/2
• setof/3
• setrand/1
• shallow_fails (profile_data/4 option)
• shell/0
• shell/1
• shell/2
• SHLIB_PATH (environment)
• simple/1
• sin/1, function
• single_var_warnings (prolog flag)
• sinh/1, function
• skip (debugger command)
• skip/1
• skip/2
• skip_line/0
• skip_line/1
• sleep/1
• socket/2
• socket_accept/2
• socket_accept/3
• socket_bind/2
• socket_close/1
• socket_connect/3
• socket_listen/2
• socket_select/5, socket_select/5
• socket_select/6
• sort/2
• source_file/1
• source_file/2
• source_info (prolog flag)
• SP_ATOM (C macro)
• SP_atom_from_string() (C function)
• SP_atom_length() (C function)
• SP_close_query() (C function)
• SP_compare() (C function)
• SP_COMPOUND (C macro)
• SP_cons_functor() (C function)
• SP_cons_list() (C function)
• SP_continue() (C function)
• SP_CTYPE (environment)
• SP_cut_query() (C function)
• SP_errno (C macro)
• SP_ERROR (C macro)
• SP_error_message() (C function)
• SP_event() (C function)
• SP_exception_term() (C function)
• SP_FAILURE (C macro)
• SP_fclose() (C function)
• SP_fflush() (C function)
• SP_fgetc() (C function)
• SP_FLOAT (C macro)
• SP_force_interactive() (C function)
• SP_fprintf() (C function)
• SP_fputc() (C function)
• SP_fputs() (C function)
• SP_free() (C function)
• SP_get_arg() (C function)
• SP_get_atom() (C function)
• SP_get_float() (C function)
• SP_get_functor() (C function)
• SP_get_integer() (C function)
• SP_get_list() (C function)
• SP_get_list_chars() (C function)
• SP_get_list_n_chars() (C function)
• SP_get_number_chars() (C function)
• SP_get_string() (C function)
• SP_getc() (C function)
• SP_initialize() (C function)
• SP_INTEGER (C macro)
• SP_is_atom() (C function)
• SP_is_atomic() (C function)
• SP_is_compound() (C function)
• SP_is_float() (C function)
• SP_is_integer() (C function)
• SP_is_list() (C function)
• SP_is_number() (C function)
• SP_is_variable() (C function)
• SP_make_stream() (C function)
• SP_malloc() (C function)
• SP_new_term_ref() (C function)
• SP_next_solution() (C function)
• SP_on_fault() (C macro)
• SP_open_query() (C function)
• SP_PATH (environment), SP_PATH (environment)
• SP_pred() (C function)
• SP_predicate() (C function)
• SP_printf() (C function)
• SP_put_atom() (C function)
• SP_put_float() (C function)
• SP_put_functor() (C function)
• SP_put_integer() (C function)
• SP_put_list() (C function)
• SP_put_list_chars() (C function)
• SP_put_list_n_chars() (C function)
• SP_put_number_chars() (C function)
• SP_put_string() (C function)
• SP_put_term() (C function)
• SP_put_variable() (C function)
• SP_putc() (C function)
• SP_puts() (C function)
• SP_qid (C type)
• SP_query() (C function)
• SP_query_cut_fail() (C function)
• SP_raise_exception() (C function)
• SP_raise_fault() (C function)
• SP_realloc() (C function)
• SP_register_atom() (C function)
• SP_reinstall_signal() (C function)
• SP_restore() (C function)
• SP_set_interrupt_hook (C function)
• SP_set_memalloc_hooks() (C function)
• SP_set_reinit_hook (C function)
• SP_set_tty() (C function)
• SP_set_user_stream_hook() (C function)
• SP_set_user_stream_post_hook() (C function)
• SP_signal() (C function)
• SP_stream (C type)
• SP_string_from_atom() (C function)
• SP_SUCCESS (C macro)
• SP_term_ref (C type)
• SP_term_type() (C function)
• SP_unify() (C function)
• SP_unregister_atom() (C function)
• SP_VARIABLE (C macro)
• splfr (utility)
• spmkds (utility)
• spmkrs (utility)
• spy this (debugger command)
• spy/1, spy/1
• spypoint_condition/3
• sqrt/1, square root
• stack_shifts (statistics/2 option)
• statistics/0
• statistics/2
• stream_code/2
• stream_interrupt/3
• stream_position/2
• stream_select/3
• sublist/2
• substitute/4
• subsumes/2
• subsumes_chk/2
• suffix/2
• sum/3
• sum_list/2
• sup/2
• symmetric_closure/2, symmetric_closure/2
• syntax_error/5 (error class)
• syntax_errors (prolog flag)
• system/0
• system/1
• system/2
• system_error/1 (error class)
• system_type (prolog flag)
• ## t

• tab/1
• tab/2
• tan/1, function
• tanh/1, function
• taut/2
• tcl_delete/1
• tcl_eval/3, tcl_eval/3
• tcl_new/1
• tell/1
• telling/1
• term_expansion/2
• term_expansion/4
• term_hash/2
• term_hash/4
• term_subsumer/3
• term_variables/2
• time_out/3
• tk_all_events (tk_do_one_event/1 option)
• tk_destroy_window/1
• tk_do_one_event/0
• tk_do_one_event/1
• tk_dont_wait (tk_do_one_event/1 option)
• tk_file_events (tk_do_one_event/1 option)
• tk_idle_events (tk_do_one_event/1 option)
• tk_main_loop/0
• tk_main_window/1
• tk_make_window_exist/1
• tk_new/2
• tk_next_event/2
• tk_next_event/3
• tk_num_main_windows/1
• tk_timer_events (tk_do_one_event/1 option)
• tk_window_events (tk_do_one_event/1 option)
• tk_x_events (tk_do_one_event/1 option)
• TMPDIR (environment), TMPDIR (environment)
• tmpnam/1
• told/0
• top_sort/2, top_sort/2
• toplevel_print_options (prolog flag)
• trace/0, trace/0
• trail (statistics/2 option)
• TRAILSTKSIZE (environment)
• transitive_closure/2, transitive_closure/2
• transpose/2, transpose/2
• tree_size/2
• tree_to_list/2
• true/0
• truncate/1, function
• ttyflush/0
• ttyget/1
• ttyget0/1
• ttynl/0
• ttyput/1
• ttyskip/1
• ttytab/1
• type_error/4 (error class)
• typein_module (prolog flag)
• ## u

• ugraph_to_wgraph/2
• unconstrained/1
• unify (debugger command)
• unify_with_occurs_check/2
• unknown (prolog flag)
• unknown/2, unknown/2
• unknown_predicate_handler/3
• update_mutable/2
• use_module/1
• use_module/2
• use_module/3
• user:error_exception/1
• user:file_search_path/2
• user:goal_expansion/3
• user:library_directory/1
• user:method_expansion/3
• user:portray/1
• user:portray_message/2
• user:term_expansion/2
• user:term_expansion/4
• user:unknown_predicate_handler/3
• user:user_help/0
• user_error (prolog flag)
• user_error (stream alias)
• user_help/0
• user_input (prolog flag)
• user_input (stream alias)
• user_output (prolog flag)
• user_output (stream alias)
• ## v

• var/1
• variant/2
• verify_attributes/3
• version (muse_flag option)
• version (prolog flag)
• version/0
• version/1
• vertices/2, vertices/2
• vertices_edges_to_ugraph/3
• vertices_edges_to_wgraph/3
• view/1
• volatile/1 (declaration)
• ## w

• wait/2
• walltime (statistics/2 option)
• wgraph_to_ugraph/2
• when/2
• with_output_to_chars/2
• with_output_to_chars/3
• with_output_to_chars/4
• worker_id (muse_flag option)
• working_directory/2
• write (debugger command)
• write/1
• write/2
• write_canonical/1
• write_canonical/2
• write_term/2
• write_term/3
• write_to_chars/2
• write_to_chars/3
• writeq/1
• writeq/2

• xref/1
• ## z

• zip (debugger command)
• zip/0, zip/0

• {}/1
• ## ~

• ~ /1, boolean not