#\=/2
+
-
*
/
//
**
#\ / 1
#/\ / 2
#\/ / 2
#=> / 2
#<=> /2
#\ / 2
#
#=/2
#\=/2
#<>/2
#<-/2
#<\-/2
$=/2
$>=/2
$=</2
\+/1
\=/2
\==/2
=:=/2
=\=/2
+
-
*
/
//
**
>>
<<
/\
\/
\
@=/2
@:=/2
@=/2
@=/2
@=/2
-
- /0
- #>/2
- #>=/2
- #</2
- #=/2
- #=</2
- ','/2
- '->'/2
- ::/2
- ;/2
- >/2
- >=/2
- </2
- =../2
- =/2
- =</2
- ==/2
- ?=/2
- @>/2
- @>=/2
- @</2
- @=</2
- []/1
- a2_get/4
- a2_new/3
- a3_get/5
- a3_new/4
- abolish/0
- abolish/2
- abort/0
- abs
,
![[*]](/usr/share/latex2html/icons/crossref.png)
- acyclic_term/1
- acyclic_term/2
- all_different/1
- all_distinct/1
- alldifferent/1
- alldistinct/1
- and_to_list/2
- append/3
- append/4
- arg/3
- array_to_list/2
- assert/1
- asserta/1
- assertz/1
- assignment/2
- assignment0/2
- at_end_of_stream/0
- at_end_of_stream/1
- at_least_one/1
- at_most_one/1
- atan2
- atan
- atleast/2
- atmost/2
- atom/1
- atom_chars/2
- atom_codes/2
- atom_concat/2
- atom_length/2
- atomic/1
- attach/2
- attr_unify_hook/3
- attvar/1
- bagof/3
- bp_build_atom
- bp_build_float
- bp_build_integer
- bp_build_list
- bp_build_nil
- bp_build_structure
- bp_build_var
- bp_call_string
- bp_call_term
- bp_get_arg
- bp_get_arity
- bp_get_call_arg
- bp_get_car
- bp_get_cdr
- bp_get_float
- bp_get_integer
- bp_get_name
- bp_is_atom
- bp_is_compound
- bp_is_float
- bp_is_identical
- bp_is_integer
- bp_is_list
- bp_is_nil
- bp_is_structure
- bp_is_unifiable
- bp_unify
- bp_write
- call/1
- call/2
n
- call_cleanup/2
- callable/1
- catch/3
- cd/1
- ceiling
- char_code/2
- chdir/1
- circuit/1
- cl/1
- clause/2
- close/1
- close/2
- closetail/2
- clpset_added/2
- clpset_disjoint/2
- clpset_excluded/2
- clpset_in/2
- clpset_low/2
- clpset_notin/2
- clpset_subset/2
- clpset_up/2
- clpset_var/1
- compare/3
- compile/1
- compile_clauses/1
- compound/1
- constraints_number/2
- consult/1
- copy_file/2
- copy_term/2
- cos
- count/3
- cputime/1
- cumulative/4
- current_input/1
- current_op/3
- current_output/1
- current_predicate/1
- current_prolog_flag/2
- cutto/1
- date/1
- date/3
- del_attr/2
- delete/3
- delete_directory/1
- delete_file/1
- deleteff/3
- deleteffc/3
- dif/2
- diffn/1
- directory_exists/1
- directory_files/2
- domain/3
- dvar/1
- dynamic/1
- element/3
- eliminate_duplicate/2
- environ/2
- erase/1
- exactly/2
- exists/1
- exp
- expand_environment/2
- fail/0
- fd_atleast/2
- fd_atmost/2
- fd_degree/2
- fd_disjoint/2
- fd_dom/2
- fd_exactly/2
- fd_include/2
- fd_labeling_ff/1
- fd_labeling_ffc/1
- fd_max/2
- fd_min/2
- fd_min_max/3
- fd_new_var/1
- fd_next/3
- fd_prev/3
- fd_set_false/2
- fd_size/2
- fd_true/2
- fd_var/1
- fd_vector_min_max/3
- file_base_name/2
- file_directory_name/2
- file_exists/1
- file_property/2
- file_stat/2
- findall/3
- flatten/2
- float/1
- float
- float_fractional_part
- float_integer_part
- floor
- flush_output/0
- flush_output/1
- forall/2
- format/2
- format/3
- freeze/2
- frozen/1
- frozen/2
- functor/3
- get/1
- get0/1
- get_attr/3
- get_byte/1
- get_byte/2
- get_char/1
- get_char/2
- get_code/1
- get_code/2
- get_cwd/1
- get_environment/2
- get_main_args/1
- getcwd/1
- global_cardinality/2
- global_get/2
- global_get/3
- global_heap_get/2
- global_heap_set/2
- global_set/2
- global_set/3
- ground/1
- halt/0
- hashtable_get/3
- hashtable_keys_to_list/2
- hashtable_register/3
- hashtable_size/2
- hashtable_to_list/2
- hashtable_values_to_list/2
- help/0
- in/2
- include/1
- indomain/1
- indomain_down/1
- indomain_updown/1
- init_profile/0
- initialize_bprolog
- initialize_table/1
- integer/1
- interrupt
- intersection/3
- is/2
- is_global/1
- is_global/2
- is_global_heap/1
- is_hashtable/1
- is_set/1
- java_exception
- javaGetField/3
- javaMethod/2
- javaMethod/3
- javaSetField/3
