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

Predicate Index

!

  • !/0, cut
  • #

  • # /2, bitwise exclusive or
  • # /2, boolean eor
  • #/\ /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
  • 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_to_heap/4
  • add_vertices/3
  • 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_to_chars/2
  • atom_to_chars/3
  • atomic/1
  • attribute/1 (declaration)
  • attribute_goal/2
  • b

  • 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
  • c

  • C/3
  • call/1
  • call_graph/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)
  • 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-predicate (emacs command)
  • compile-region (emacs command)
  • compile/1
  • compiling (prolog flag)
  • complement/2
  • compose/3
  • compound/1
  • consistency_error/4 (error class)
  • consult-buffer (emacs command)
  • consult-predicate (emacs command)
  • consult-region (emacs command)
  • 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_db/4
  • 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_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
  • debugger_print_options (prolog flag)
  • debugging (debugger command)
  • debugging (prolog flag)
  • debugging/0
  • deep_fails (profile_data/4 option)
  • del_assoc/4
  • del_edges/3
  • del_max_assoc/4
  • del_min_assoc/4
  • 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
  • element/3
  • empty_assoc/1
  • empty_fdset/1
  • empty_heap/1
  • empty_interval/2
  • empty_queue/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
  • 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)
  • findall/3
  • findall/4
  • float/1
  • float/1, coercion
  • floor/1, function
  • flush_output/0
  • flush_output/1
  • foreign/2
  • 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_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_noblock/1
  • in_set/2
  • incore/1
  • independent_set/3
  • indomain/1
  • inf/0, infinity
  • inf/2
  • initialization/0
  • initialization/1
  • 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_ordset/1
  • is_queue/1
  • k

  • keysort/2
  • kill/2
  • l

  • labeling/1
  • labeling/2
  • last/2
  • leap (debugger command)
  • leash/1
  • length/2
  • library_directory/1
  • 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_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_workers (muse_flag option)
  • maximize/1
  • maximize/2
  • member/2
  • memberchk/2
  • memory (statistics/2 option)
  • meta_predicate/1 (declaration)
  • 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_paths/3
  • min_tree/3
  • minimize/1
  • minimize/2
  • mktemp/2
  • mod/2, integer remainder
  • mode/1 (declaration)
  • module/1
  • module/1 (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
  • neighbours/3
  • new_array/1
  • nextto/3
  • nl/0
  • nl/1
  • no_doubles/1
  • nodebug (debugger command)
  • nodebug/0
  • noexpand/0
  • nofileerrors/0
  • nogc/0
  • non_member/2
  • nonvar/1
  • nospy this (debugger command)
  • nospy/1
  • nospyall/0
  • notrace/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
  • open/3
  • open/4
  • open_chars_stream/2
  • open_null_stream/1
  • ord_add_element/3
  • 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
  • otherwise/0
  • out/1
  • p

  • parallel/0 (declaration)
  • parallel/1 (declaration)
  • path/3
  • peek_char/1
  • peek_char/2
  • pending exception (debugger command)
  • 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
  • prolog_load_context/2
  • prompt/2
  • public/1 (declaration)
  • put/1
  • put/2
  • put_assoc/4
  • put_atts/2
  • put_label/4
  • put_label/5
  • q

  • queue/2
  • queue_head/3
  • queue_head_list/3
  • queue_last/3
  • queue_last_list/3
  • queue_length/2
  • r

  • 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
  • read/1
  • read/2
  • read_from_chars/2
  • read_term/2
  • read_term/3
  • reconsult/1
  • recorda/3
  • recorded/3
  • recordz/3
  • redefine_warnings (prolog flag)
  • reduce/2
  • reinitialise/0
  • relation/3
  • 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
  • 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/1
  • save/2
  • save_program/1
  • scalar_product/4
  • see/1
  • seeing/1
  • seek/4
  • seen/0
  • select/3
  • sequential/0 (declaration)
  • sequential/1 (declaration)
  • serialized/2
  • 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
  • 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/6
  • sort/2
  • source_file/1
  • source_file/2
  • 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_address() (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_load() (C function)
  • SP_make_stream() (C function)
  • SP_malloc() (C function)
  • SP_new_term_ref() (C function)
  • SP_next_solution() (C function)
  • SP_open_query() (C function)
  • SP_PATH (environment)
  • SP_pred() (C function)
  • SP_predicate() (C function)
  • SP_printf() (C function)
  • SP_put_address() (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_realloc() (C function)
  • SP_reinstall_signal() (C function)
  • SP_set_interrupt_hook (C function)
  • SP_set_read_hook (C function)
  • SP_set_reinit_hook (C function)
  • SP_set_tty() (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_VARIABLE (C macro)
  • splfr (utility)
  • spmkds (utility)
  • spmkrs (utility)
  • spy this (debugger command)
  • 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
  • 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_new/1
  • tell/1
  • telling/1
  • term_expansion/2
  • 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)
  • tmpnam/1
  • told/0
  • top_sort/2
  • toplevel_print_options (prolog flag)
  • trace/0
  • trail (statistics/2 option)
  • TRAILSTKSIZE (environment)
  • transitive_closure/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
  • undo/1
  • unify (debugger command)
  • unify_with_occurs_check/2
  • unknown (prolog flag)
  • unknown/2
  • unknown_predicate_handler/3
  • unload_foreign_resource/1
  • 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: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_edges_to_ugraph/3
  • vertices_edges_to_wgraph/3
  • view/1
  • 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
  • x

  • xref/1
  • {

  • {}/1
  • ~

  • ~ /1, boolean not

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