Next: About this document ...
Up: manual
Previous: Predefined Operators
  Contents
\/
\
#\ / 1
#/\ / 2
#\/ / 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
- abolish/0
- abolish/2
- abs
- all_different/1
- all_distinct/1
- alldifferent/1
- alldistinct/1
- and/3
- and0/2
- append/3
- arg/3
- assert/1
,
- asserta/1
,
- assertz/1
,
- at_end_of_stream/0
- at_end_of_stream/1
- at_least_one/1
- at_most_one/1
- atan
- atom
- atom/1
- atom_chars/2
- atom_codes/2
- atom_concat/2
- atom_length/2
- atomic/1
- bagof/3
- bp
- bpc/1
- build_ARG
- build_ATOM
- build_FLOAT
- build_INTEGER
- build_LIST
- build_NIL
- build_STRUCTURE
- build_VAR
- call_bprolog_string
- call_bprolog_term
- ceiling
- char_code/2
- chdir/1
- clause/2
- close/1
- close/2
- compare/3
- compile/1
- compound/1
- conjunction
- constraints_number/2
- consult/1
- copy_term/2
- cos
- cputime/1
- create_FUNCTOR
- create_LIST
- current_input/1
- current_op/3
- current_output/1
- current_predicate/1
- current_prolog_flag/2
- cut
- cutto/1
- debugging
- delay clause
- deleteff/3
- deleteffc/3
- determinacy declaration
- determinate
- directive
- disjunction
- domain/3
- dvar/1
- dynamic declaration
- dynamic/1
- element/3
- equiv/3
- erase/1
- exists/1
- exp
- fact
- fd_dom/2
- fd_include/2
- fd_max/2
- fd_min/2
- fd_min_max/3
- fd_next/3
- fd_prev/3
- fd_size/2
- fd_vector_min_max/3
- findall/3
- float
- float/1
- floating-point number
- floor
- flush_output/0
- flush_output/1
- freeze/2
- frozen/1
- frozen/2
- functor/3
- get_ARG
- get_ARITY
- get_CAR
- get_CDR
- get_char/1
- get_char/2
- get_code/1
- get_code/2
- get_FLOAT
- get_INTEGER
- get_main_args/1
- get_NAME
- ground/1
- halt/0
,
- if-then-else
- in/2
- indomain/1
- init_profile/0
- initialization
- initialize_bprolog
- initialize_table/1
- integer
- integer/1
- is/2
- is_ATOM
- is_COMPOUND
- is_FLOAT
- is_IDENTICAL
- is_INTEGER
- is_LIST
- is_NIL
- is_STRUCTURE
- is_UNIFIABLE
- javaGetField
- javaMethod
,
- javaSetField
- labeling/1
- labeling_ff/1
- labeling_ffc/1
- length/2
- list
- listing/0
- listing/1
- load/1
- log
- maxof/2
- membchk/2
- member/2
- minof/2
- mod
- mode
- mode declaration
- name/2
- negation
- nl/0
- nl/1
- no_vars_gt/2
- nonvar/1
- nospy/1
- not
- not/3
- notin/2
- notrace/0
- number
- number/1
- number_chars/2
- number_codes/2
- numbervars/3
- only_one/1
- op/3
- open/3
- open/4
- or/3
- or1/2
- profile/0
- profile_compile/1
- profile_consult/1
- profile_src/1
- program
- put_char/1
- put_char/2
- put_code/1
- put_code/2
- read/1
- read/2
- read_term/2
- read_term/3
- real/1
- recorda/3
- recorded/3
- recordz/3
- repeat/0
- retract/1
- reverse/2
- round
- rule
- savecp/1
- see/1
- seeing/1
- seen/0
- set_input/1
- set_output/1
- set_prolog_flag/2
- setarg/3
- setof/3
- sign
- sin
- sort/2
- spy/1
- sqrt
- stand-alone application
- stand-alone applications
- statistics/0
- statistics/2
- stream
- stream_property/2
- structure
- sub_atom/2
- system/1
- system/2