Index

+

-

*

/

//

**

#\ / 1

#/\ / 2

#\/ / 2

#=> / 2

#<=> /2

#\ / 2

#

#=/2

#\=/2

#<>/2

#<-/2

#<\-/2

\+/1

\=/2

Unification

\==/2

\@</2

\@=</2

\@>/2

\@>=/2

=:=/2

=\=/2

+

-

*

/

//

**

>>

<<

/\

\/

\

@=/2

@:=/2

@=/2

@=/2

@=/2

/0: Cut

#>/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

Example:

abs

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

Arrays and the array

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

All solutions

bp_build_atom

bp_build_float

bp_build_integer

bp_build_list

bp_build_nil

bp_build_structure

bp_build_var

bp_call_string

Calling Prolog from C

bp_call_term

Calling Prolog from C

bp_get_arg

bp_get_arity

Fetching arguments of Prolog

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_cleanup/2 (not in ISO)

call/1

call/1 and once/1

call/2-n

call/2-n (not in ISO)

call_cleanup/2

callable/1

catch/3

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

Consulting

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

Properties

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

CLP(Tree)

diffn/1

directory_exists/1

directory_files/2

domain/3

Programming Constraint Propagators

dvar/1

dynamic/1

Dynamic declaration

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

Formatted output of terms

float_integer_part

floor

flush_output/0

flush_output/1

forall/2

forall/2 (not in ISO)

format/2

format/3

Formatted output of terms

freeze/2

CLP(Tree)

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

Building standalone applications

get_main_args/1

getcwd/1

global_cardinality/2

global_get/2

global_get/3

Global heap variables (not

global_heap_get/2

global_heap_set/2

Global heap variables (not

global_set/2

global_set/3

ground/1

halt/0

How to enter and

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

How to enter and

in/2

include/1

include/1

indomain/1

indomain_down/1

indomain_updown/1

Profile program executions

init_profile/0

initialize_bprolog

Calling Prolog from C

initialize_table/1

integer/1

interrupt

Exceptions

intersection/3

is/2

is_global/1

is_global/2

Global heap variables (not

is_global_heap/1

is_hashtable/1

is_set/1

java_exception

javaGetField/3

javaMethod/2

javaMethod/3

javaSetField/3

keysort/2

labeling/1

labeling/2

labeling_ff/1

labeling_ffc/1

last/2

length/2

list_to_and/2

list_to_set/2

listing/0

listing/1

load/1

log

Creating decision variables

lp_domain/3

lp_integer/1

Creating decision variables

lp_integers/1

Creating decision variables

make_directory/1

max

maxof/2

Aggregates | Optimization

maxof/3

Optimization

membchk/2

member/2

min

minof/2

Aggregates | Optimization

minof/3

Optimization

mod

Programming Constraint Propagators

multifile/1

multifile/1

n_vars_gt/2

name/2

new_array/2

Arrays and the array

new_hashtable/1

new_hashtable/2

nextto/3

nl/0

nl/1

nonvar/1

nospy/0

Execution modes

nospy/1

Execution modes

not/1

notin/2

notrace/0

nth/3

nth0/3

nth1/3

number/1

number_chars/2

number_codes/2

number_vars/3

numbervars/3

numlist/3

once/1

only_one/1

op/3

open/3

open/4

parse_atom/2

parse_atom/3

parse_string/2

parse_string/3

path_from_to/3

path_from_to/4

paths_from_to/1

peek_byte/1

peek_byte/2

peek_char/1

peek_char/2

peek_code/1

peek_code/2

permutation/2

pi

portray_clause/1

portray_clause/2

post_disjunctive_tasks/1

post_event/2

Syntax

post_event_df/2

Syntax

post_ins/1

Syntax

post_neqs/1

Profile program executions

predicate_property/2

Properties

profile/0

profile_consult/1

Profile program executions

profile_src/1

Profile programs

put/1

put_attr/3

put_attr_no_hook/3

put_byte/1

put_byte/2

put_char/1

put_char/2

put_code/1

put_code/2

random

read/1

read/2

read_term/2

read_term/3

readFile/2

readLine/1

real/1

recorda/3

recorded/3

recordz/3

rename_file/2

repeat/0

repeat/0

retract/1

retractall/1

reverse/2

round

savecp/1

Example:

scalar_product/4

see/1

seeing/1

seen/0

select/3

serialized/2

set_input/1

set_output/1

set_prolog_flag/2

set_to_list/2

setarg/3

setof/3

sign

sin

sort/2

sort/3

spy/1

sqrt

statistics/0

statistics/2

stream_property/2

sub_atom/5

subgoal_table_size/1

subset/2

Set manipulation (not in | CLP(Set)

subsumes_term/2

subtract/3

sum/3

sum

sumlist/3

system/1

system/2

tab/1

table/1

Tabling

table_all/0

Tabling

table_cardinality_limit/2

Examples

table_cardinality_limit/3

Examples

table_find_all/2

table_find_one/1

tell/1

telling/1

term2atom/2

term2string/2

term_variables/2

term_variables/3

throw/1

throw/1

time/1

Statistics

time/3

time_out/3

time_out/3 (not in ISO)

time_out

timer/1

timer/2

timer_get_interval/2

timer_kill/1

timer_set_interval/2

timer_start/1

timer_stop/1

told/0

trace/0

Execution modes

true/0

Control constructs

truncate

union/3

unnumber_vars/2

var/1

variant/2

vars_set/2

working_directory/1

write/1

write/2

write_canonical/1

write_canonical/2

write_string/1

write_term/2

write_term/3

writeq/1

writeq/2

action rules

Action Rules and Events

aggregate argument

aggregates

Aggregates

arrays

atoms

Atoms

attributed variables

External Language Interface with

AWT

backtracks

Statistics

boolean constraints

CLP(Boolean)

bp

How to enter and

cardinality

command-line options

Memory allocation

compound terms

conjunction

Directives and Prolog Flags

constraints

Constraints

cut

Cut

debugging

Debugging commands

directive

disjunction

div

Dynamic Clauses and Global

dynamic clauses

dynamic declaration

Dynamic declaration

environment variables

How to run programs | Commands

escape character

Atoms

event handling

Action Rules and Events

events

Action Rules and Events

exceptions

Exceptions

extensional constraints

Table constraints

facts

Facts

file names

How to run programs

finite-domain constraints

CLP(FD)

floating-point numbers

Examples:

garbage collection

Prolog flags | Garbage collection

gc

Garbage collection

global variables

Dynamic Clauses and Global

hashtables

if-then-else

External Language Interface with

initialization

input

integers

interruption

JDBC

list

matching clause

mod

mode

mode declaration

multifile

multifile/1

MySQL

External Language Interface with

negation

numbers

Examples:

optimization predicates

Aggregates

optimized argument

Building standalone applications

output

programs

rows

rules

spy points

standalone application

stream

strings

structures

suspension variables

table cardinality

table constraints

Table constraints

table declaration

Tabled predicate declaration | Table mode declaration | Table mode declarations

table mode

Table mode declaration

terms

Terms

timers

Another example

tree constraints

CLP(Tree)

unification of attributed variables

variables

Variables

xor