Index

call/1

dump/3

once/1

nonground/1

ground/1

nonvar/1

var/1

==/2

atom/1

atomic/1

functor/1

real/1

arithmetic/1

=../2

functor/3

arg/3

occurs/2

floor/2

dynamic/2

dump/1

dump/2

nl/0

print/1

write/1

writeln/1

printf/2

printf_to_atom/3

read/1

see/1

seeing/1

seen/0

tell/1

telling/1

told/0

flush/0

fork/0

pipe/1

edit/1

more/1

halt/0

clpr/0

abort/0

sh/0

csh/0

oracle/3

history/0

history/1

h/0

new_constant

symbolic constants

srand/1

rand/1

ztime/0

ctime/0

style_check/1

single_var

discontiguous

name_overload

no_style_check/1

single_var

discontiguous

name_overload

reset_all

$clear_style_check

warning/1

fassert/1

fasserta/1

fassertz/1

$call/1

implicit/0

noimplicit/0

partial_implicit/0

set_counter/2

counter_value/2

add_counter/2

*/2

sin/1

arcsin/1

cos/1

arccos/1

pow/2

max/2

min/2

abs/1

[ ]

[` ]

/0

sin/1

arcsin/1

cos/1

arccos/1

pow/2

max/2

min/2

abs/1

quote/1

eval/1

rule/2

retract/1

assert/1

dump/1

dump/2

dump/3

assert/1

retract/1

codegen_debug/0

codegen_nodebug/0

spy/0

spy/2

spy/1

nospy/0

nospy/2

nospy/1

trace/0

notrace/0

op/3

listing/0

ls/0

listing/1

ls/1

consult/1

reconsult/1

retractall/0

retractall/1

asserta/1

assertz/1

assert/1

rule/2

deny/2

retract/1

prot/2

prot/1

fail/0

true/0

repeat/0

,/2

;/2

->;/3

call/1

abort

analog to clause

analog to retract

answer constraints

arithmetic constraint

arithmetic term

assert ,

bug reports

clam files

clause ,

CLPRLIB ,

CLPRSUFFIX

code space

command line arguments

comments

constraint

consulted files

contiguous ,

continue

counter

debugging

delayed constraint , , ,

disjunction

dump ,

dynamic code ,

Environment variables ,

errors

eval ,

fassert

file names

functor constraint

functor term

garbage collection

goal

goals ,

heap

if-then-else

implicit dump

implicit equalities

indexing

init.clpr ,

installation guide

installation options

LIBPATH

local stack

meta-programming

Monash interpreter

nonlinear constraint , ,

notation conventions

operational model

operators

Out of range errors

output

portability

pre-defined operators

program

projection

prot

queries

quote ,

random number seed

redefine_off

redefine_on

retract

rule ,

sample session

singleton variable ,

solver variables

static code

statistics ,

style checking

suffix

system parameters

tail recursion

target variables ,

trail

type

warning ,

warning_off

warning_on

zero