next up previous
Next: Bibliography Up: ECLiPSe User Manual Release Previous: Restrictions and Limits


Index

"
/0 , [*] , [*]
#define
'C'/3
'LC'/0
'NOLC'/0
*->/2 , [*]
+ -- set a spy point (debugger cmd)
+X
,/2 , [*]
- -- remove a spy point (debugger cmd)
->/2
-b (command line option)
-e (command line option)
-g (command line option)
-h (command line option)
-l (command line option)
-p (command line option)
-s (command line option)
->/2 , [*] , [*] , [*]
-X
. -- print definition (debugger cmd)
. -- Print structure definition (debugger cmd)
./2
.eclipse_history , [*]
.eclipserc
0 -- Move current subterm to toplevel (debugger cmd)
:/2 , [*] , [*] , [*] , [*]
;/2 , [*] , [*] , [*] , [*]
> -- set indentation step width (debugger cmd)
>/2 , [*] , [*] , [*]
>=/2 , [*] , [*] , [*]
< -- print depth (debugger cmd)
< -- set print depth (debugger cmd)
</2 , [*] , [*] , [*]
&/2 , [*]
=\=/2
~/1
=\=/2
\+/1
\=/2
\==/2
~=/2
\==/2 , [*]
-?->/1
\==/2
\=/2
=\=/2
=../2 , [*]
=/2 , [*] , [*]
=:=/2 , [*] , [*] , [*]
=</2 , [*] , [*] , [*]
==/2 , [*] , [*]
? -- help (debugger cmd)
?X
@/2 , [*]
[]
a -- abort (debugger cmd)
A -- Move current subterm up by N levels (debugger cmd)
abolish
abolish/1 , [*] , [*] , [*] , [*]
abolish_op/2
abolish_record/1 , [*]
abort/0
absolute_file_name/2
accept/3 , [*]
add_attribute/2 , [*]
add_attribute/3 , [*]
add_path/1
add_suffix/1
after events
alarm/1
all_dynamic , [*]
als/1
answer_output
anti_unify (library)
anti_unify/3
append/3
apply (library)
apply/2,3
arg/3 , [*] , [*] , [*] , [*] , [*] , [*]
argc/1 , [*]
argv/2 , [*]
arithmetic
arithmetic
built-ins
coroutining
expressions
float_precision
functions
predefined arithmetic functions
prefer_rationals
types
user defined arithmetic
arity
array , [*]
arrays
arrays
non-logical
assert
assert/1 , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*]
assert/1,2
assert/2
asserta/1
asserta/2
assertz/2
at/2 , [*] , [*] , [*]
atom
atom/1 , [*]
atom_chars/2
atom_length/2
atom_string/2 , [*] , [*]
atomic
atomic/1 , [*]
atoms
attach_suspensions/2
attribute
attribute
specification
qualified
unqualified
attributed variables
handlers
attributed variables|(
attributed variables|)
autoload_handler/3
b -- break (debugger cmd)
B -- Move current subterm down by N levels (debugger cmd)
b_external/1
b_external/2
backtracking
bagof/3
begin_module/1 , [*] , [*] , [*] , [*] , [*]
between/3 , [*]
bignum
bind/2
block/1
block/3 , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*]
Blocks
body
break/0
break_level
buffered output
bug reports
c -- creep (debugger cmd)
C -- Move current subterm right by N positions (debugger cmd)
C-Prolog
C/3
call/1 , [*] , [*] , [*] , [*]
call/2 , [*]
call_c/2
call_explicit/2 , [*] , [*]
call_priority/2 , [*]
call_residue/2
callable term
cancel_after_event/1
cd/1 , [*] , [*] , [*]
char_int/2
character class , [*]
character lists
character_count/2
check (library)
check_singletons
CHIP
choicepoint
cio (library)
clause , [*]
clause
goal
head
iterative
matching
program
regular
termination
unit
clause/1,2 , [*]
clause/3
close_handler/2
code heap
command line options , [*]
command line options
-b
-e
-p
compare_handler/3
compare_instances/3
comparison
arithmetic
compilation
error messages
nesting compile commands
compile
compile/1 , [*] , [*] , [*] , [*] , [*] , [*] , [*]
compile/1, 2
compile/1,2
compile/2 , [*] , [*]
compile_stream/1 , [*] , [*] , [*] , [*]
compile_term/1 , [*] , [*]
compiled/0
compiled_file/2
compiled_file_handler/2
compiled_stream/1
compiler
arithmetic
compiler_abort_handler/2
compiler_error_handler/2
compiler_warning_handler/2
compound term
compound/1 , [*]
concat_atom/2
concat_atoms/3
concat_string/2
concat_strings/3
connect/2 , [*] , [*] , [*]
constrained
consult/1
control stack
copy_term/2 , [*]
coroutine
coroutining , [*]
coroutining
arithmetic
builtins
coverof/3
cprolog (library) , [*]
cputime/1 , [*]
create_module/1 , [*]
current_after_event/1
current_array/2 , [*]
current_built_in/1
current_compiled_file/3
current_error/1 , [*]
current_functor/2
current_host/1
current_input/1
current_interrupt/2
current_key/2
current_module/2
current_output/1
current_predicate/1
current_predicate/2
current_stream/1
current_suspension/1
cut
cut warnings , [*]
cut
parallel
soft
cwd
d -- delayed goals (debugger cmd)
D -- Move current subterm left by N positions (debugger cmd)
database , [*]
date/1 , [*]
db_reference/1
dbgcomp/0 , [*]
DCG
debug/0 , [*] , [*]
debug/1
debug_compile , [*]
debug_input , [*]
debug_output , [*]
debugger
Debugger Commands
debugger
arithmetic
parallel
debugger_model
debugging
debugging/0
decval/1 , [*] , [*] , [*]
default/0 , [*]
define_error/2
define_macro/3
define_struct/1
definite clause grammar
delay clauses
delay
arithmetic
delay/1
delayed_goals/1
delayed_goals/2
delayed_goals_handler/2
delayed_goals_number/2
delete/1 , [*]
delete/3
demon
demon/1
dfid (library)
dfid_compile , [*] , [*]
dictionary
DID
dif/2
difference list
dim/2 , [*]
display/1 , [*]
do/2
double float
downarrow key -- Move current subterm down by N levels (debugger cmd)
dump/1 , [*]
dynamic/1 , [*] , [*] , [*] , [*] , [*] , [*]
dynamic_handler/3
ec_post_event
ECLiPSe , [*]
ECLIPSEINIT
ECLIPSELIBRARYPATH , [*]
ECLIPSETMP
enable_interrupts
ensure_loaded/1
env/0 , [*] , [*] , [*] , [*]
eof_handler/2
erase_all/1
erase_array/1 , [*] , [*] , [*]
erase_module/1
erased/1
error
error handlers , [*]
error/2
error/3 , [*]
error_exit/0
error_handler/2
error_handler/3
error_id/2 , [*]
errors
errors
handlers
user defined
event handlers , [*]
event/1 , [*] , [*] , [*]
event_after/2
event_after_every/2
events
exec/2 , [*]
exec/3 , [*] , [*] , [*]
exec_group/3 , [*] , [*]
exists/1 , [*]
exit status
exit/1 , [*] , [*]
exit_block/1 , [*] , [*] , [*] , [*] , [*] , [*]
Exiting ECLiPSe
expand_term/2 , [*]
export/1 , [*] , [*] , [*] , [*] , [*]
extended head
extension
external/1
external/2
f -- fail (debugger cmd)
fact
factorial function
fail/0 , [*]
fail_if/1 , [*]
fatal errors
fcompile/1
fileerrors/0
files
findall/3 , [*] , [*] , [*]
flags
float/1
float_precision , [*] , [*]
floating point numbers
floundering
flush/1 , [*]
flush_output/1
fork/2 , [*]
format/2, 3
free/1 , [*] , [*]
freeze/2 , [*]
frozen/2
fullstop
functor , [*]
functor/3 , [*] , [*] , [*]
G -- all ancestors (debugger cmd)
g -- ancestor (debugger cmd)
garbage collection
garbage_collect/0
gc
gc/0
gc_interval
gc_interval_dict
general heap
get/1 , [*] , [*]
get/1, 2
get/2 , [*]
get0/1
get0/2
get_error_handler/3 , [*]
get_file_info/2
get_file_info/3 , [*]
get_flag/2 , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*]
get_flag/3 , [*] , [*] , [*] , [*] , [*]
get_interrupt_handler/3
get_priority/1
get_prompt/3 , [*]
get_stream/2 , [*]
get_stream_info/3
get_suspension_data/3
get_timer/2
getcwd/1 , [*] , [*] , [*]
getenv/2 , [*]
getval/2 , [*] , [*] , [*] , [*] , [*] , [*]
global flag
prefer_rationals
global flags , [*] , [*] , [*]
global reference
global stack
global trigger
global/1 , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*]
global_op/3
goal
goal expansion
goal_expansion , [*]
grammar rules
ground
h -- help (debugger cmd)
halt/0 , [*] , [*] , [*]
head
head
clause
pair
heap
code
general
heapused/1
help
help/0
help/1 , [*] , [*] , [*]
history
hostarch
hostid , [*]
hostname , [*]
http (library)
i -- invocation skip (debugger cmd)
ifdef (library) , [*]
ignore_eof
import/1
import_from/2 , [*] , [*] , [*] , [*] , [*]
inconsistent redefinition
incore/1
incval/1 , [*] , [*] , [*]
indexing
indomain/1
inheritance
init_suspension_list/2
initialisation file
inline/2 , [*]
inlining
input
input/output
insert_suspension/3 , [*] , [*] , [*]
insert_suspension/4 , [*]
insert_suspension/4,3
Inspect subterm commands (debugger)
Inspect subterm commands (debugger)
interaction with output modes
installation_directory
instance/2
instantiated
integer/1 , [*]
integer/2
integer_atom/2
integer_overflow_handler/2
integers
interrupt
interrupt handlers
interrupt_prolog/0
interrupts
is/2 , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*]
is_built_in/1
is_digit/1
is_dynamic/1 , [*] , [*]
is_lower/1
is_predicate/1
is_suspension/1 , [*]
is_upper/1
ISO Standard Prolog
iso (library)
it_handler/0
it_overflow/0
it_reset/0
iteration
j -- jump to level (debugger cmd)
kill/2 , [*] , [*] , [*]
kill_display_matrix/1
kill_suspension/1
l -- leap (debugger cmd)
last_errno
leftarrow key -- Move current subterm left by N positions (debugger cmd)
lib/1 , [*] , [*]
lib/1,2 , [*]
libraries , [*]
library search path
library
structures.pl
suspend.pl , [*]
suspend_simple.pl
library_path , [*]
line_count/2
lips (library)
lips/0,1
list
list_error/3 , [*]
listing/0 , [*]
listing/0,1 , [*]
load/1 , [*] , [*] , [*]
loaded_library
local stack
local/1 , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*]
lock/1
lock/1,2
lock/2
locked_access_handler/2
log/2
log10/2
logical update semantics
loops
m -- module (debugger cmd) , [*]
macro expansion
macro
write
macro_expansion , [*] , [*]
macro_handler/3
macros
clause
global
goal
local
protect_arg
read , [*]
term
top_only
type
write , [*]
mailing list
make/0
make_array/1
make_array_handler/3
make_display_matrix/2
make_display_matrix/5
make_suspension/3 , [*] , [*] , [*]
make_suspension/3,4 , [*]
make_suspension/4
manual/0
maplist/3 , [*]
matching , [*] , [*]
matmult/3
matrix
max_global_trail
max_local_control
max_predicate_arity
MegaLog
member/2 , [*]
memory usage
merge_suspension_lists/4
message_handler/2
meta-predicates
meta/1 , [*] , [*]
meta_attribute/2
meta_predicate/1
meta_unify/1
metaterm , [*] , [*]
min_max/2
minimize/2
mode analysis
mode declaration
mode/1 , [*] , [*]
modular items
module body
module interface
module/1 , [*] , [*]
module/2 , [*]
module_interface/1 , [*] , [*] , [*] , [*] , [*]
multifile/1
mutex/2
N -- nodebug permanently (debugger cmd)
n -- nodebug (debugger cmd)
naive reverse benchmark
name server
Name/Arity , [*] , [*]
nil
no_macro_expansion/1 , [*]
no_style_check/1
nodbgcomp
nodbgcomp/0 , [*] , [*] , [*]
nodebug/0
nofileerrors/0
nogc/0
Non-logical Variables
nonground/1 , [*] , [*] , [*]
nonground/2
nonvar/1 , [*]
nospy/1 , [*] , [*]
nospyall/0
not/1 , [*] , [*]
not_unify/2 , [*]
notify_constrained/1
notrace/0
nsrv
null
number
number/1 , [*]
number_chars/2
number_string/2
numbervars(Term, From, To)
numbervars/3
o -- output mode (debugger cmd) , [*]
occur check
occur_check
of/2
on_exception/3
once/1 , [*]
op/3 , [*]
open/3 , [*] , [*] , [*] , [*] , [*] , [*]
open/4 , [*]
open_null_stream/1
operators
OPIUM
Or-parallelism
otherwise/0
output
output_error_handler/2
output_mode , [*] , [*]
p -- Show subterm path (debugger cmd)
pair
par_between/3 , [*]
par_delete/3 , [*]
par_indomain/1
par_maplist/3 , [*]
par_member/2 , [*]
par_refine/1
par_statistics/0
parallel annotation
parallel utilities
parallel/1
parallelism
parser_error_handler/1
past_eof_handler/2
pathname/2 , [*]
pathname/3 , [*] , [*]
pattern matching , [*]
pause/0
phrase/2 , [*] , [*]
phrase/2,3
phrase/3
pid
pid (global flag)
pipe/2 , [*]
plus/3 , [*] , [*]
portray/1, 2
portray_clause/1
postponed
ppid
ppid (global flag)
pragma
pred/1 , [*]
Pred/N1, N2
Pred/N1, Pred/N2
predicate
predicate_property/2
PredSpec
prefer_rationals , [*] , [*] , [*]
prefix
primitive/1
print/1
print/1, 2 , [*]
print_depth
printf/2 , [*] , [*] , [*] , [*]
printf/2, 3 , [*] , [*] , [*]
printf/2,3 , [*]
printf/3 , [*]
priority
procedure
built_in
dynamic
external
functor
protected
regular
simple
static
tool
profiling
program clause
Prolog
prolog_flag/2
prolog_flag/3
prolog_suffix , [*]
prompt/2
ptags (library)
ptags/1
ptags/2
ptags_all/0
public/1
put/1 , [*] , [*]
put/1, 2
put/2 , [*]
put_line/1
qualified attribute specification
query , [*] , [*] , [*]
Quintus Prolog
quintus (library)
raise_exception/1
rational numbers , [*]
rational/1
rationals (library)
read macros
read/1 , [*] , [*] , [*] , [*] , [*]
read/1, 2
read/2 , [*]
read_directory/4 , [*]
read_line/1
read_line/2
read_string/3
read_string/3,4
read_string/4
read_token/2, 3
read_token/3
readvar/3 , [*]
real/1 , [*]
reconsult/1
record/2
reference
referenced_record/2
refine/1
rename/2 , [*]
reset_error_handler/1
reset_error_handlers/0
reset_interrupt_handler/1
reset_interrupt_handlers/0
resolvent
retract
retract/1 , [*] , [*] , [*] , [*] , [*]
retract_all/1
retractall/1
rightarrow key -- Move current subterm right by N positions (debugger cmd)
s -- skip (debugger cmd)
scattered (library) , [*] , [*]
schedule_suspensions/1 , [*] , [*]
schedule_suspensions/2 , [*] , [*]
see/1 , [*]
seeing/1 , [*]
seek/2 , [*] , [*] , [*]
seen/0
seen/1
select/3
SEPIA , [*]
sepia_banner/2
sepia_end_break/3
sepia_start/0
sepia_start_break/3
sepia_toplevel_prompt/2
set_chtab/2 , [*] , [*]
set_error_handler/2 , [*] , [*] , [*]
set_event_handler/2 , [*]
set_flag/2 , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*]
set_flag/3 , [*] , [*] , [*] , [*] , [*] , [*]
set_input/1
set_interrupt_handler/2 , [*] , [*] , [*] , [*]
set_output/1
set_prompt/3
set_stream/2 , [*] , [*] , [*]
set_suspension_data/3
set_timer/2
setarg/3 , [*] , [*]
setof/3 , [*] , [*] , [*]
setval/2 , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*] , [*]
setval/2, getval/2
sh/0
sh/1 , [*] , [*] , [*]
SICStus Prolog
sicstus (library)
simple goals
sin/2
single float
singleton variables
skip/1 , [*]
skip/2
skipped/1 , [*]
skippped/1
socket/2
socket/3 , [*]
socket_accept/2
socket_bind/2
socket_connect/3
socket_listen/2
socket_select/5
sockets (SICStus compatibility)
soft cut
sort/2
source transformation
source_file/1, 2
SpecList
spell (library)
spelling correction
spy point , [*] , [*]
spy point
add
remove
spy/1 , [*] , [*] , [*] , [*] , [*]
spy_term/2
spy_var/1
stacks
start_tracing
statistics
statistics(times,_)
statistics/0 , [*] , [*] , [*]
statistics/0,2
statistics/2 , [*] , [*] , [*] , [*] , [*] , [*]
stderr
stdin
stdout
stream
stream/1
stream_code/2
stream_position/2, 3
stream_select/3
streams
streams/0
string
string/1 , [*]
string_length/2 , [*]
string_list/2 , [*] , [*]
strings
struct/1
structure
structures
structures (library)
style_check/1
subcall/2 , [*]
subscript
subscript/2
subscript/3
substring/3
substring/4
suffix/2 , [*] , [*]
suspend , [*]
suspend/3 , [*] , [*]
suspend/3,4
suspend/4 , [*]
suspended goal
suspending variables , [*]
suspension list , [*]
suspension list
bound@bound
constrained@constrained , [*]
inst@inst
suspension
creating
executed
sleeping
waking
suspension_to_goal/3
suspensions/1
suspension|(
suspension|)
symbolic trigger
syntax differences of ECLiPSe
syntax errors
syntax_option , [*]
system/1 , [*]
system_error_handler/2
tab/1 , [*]
tab/2
tags/2
tail
tell/1 , [*]
telling/1 , [*]
term
term_expansion/2
term_string/2
term_variables/2
time/1
timed events
timeout/3
timers
times/3 , [*] , [*]
token
token class
told/0
told/1
tool
body
interface
system
tool/1 , [*] , [*]
tool/2 , [*]
Tools
top level loop , [*] , [*]
toplevel_input
toplevel_module
toplevel_output
trace/0 , [*] , [*]
trace/1 , [*]
trace_port/3 , [*]
traceable/1 , [*]
trail stack
trigger
trigger/1
true/0 , [*] , [*] , [*] , [*] , [*] , [*]
ttyflush/0 , [*]
ttynl/0
ttyput/1 , [*]
ttyskip/1
ttytab/1
tyi/1
tyi/1, 2
tyi/2
tyo/1
tyo/1, 2
tyo/2
type macros
type
integer
rational
real
type_of/2
u -- scheduled goals (debugger cmd)
undef_array_handler/3
undef_dynamic_handler/2
unification
pattern matching
unix/1
unix_time
unknown/2
unlock/2
unskipped/1
unskippped/1
untraceable/1 , [*]
uparrow key -- Move current subterm up by N levels (debugger cmd)
use_module/1 , [*] , [*] , [*]
user
user group
v -- var/term modification skip (debugger cmd)
var/1 , [*] , [*] , [*] , [*] , [*]
variable names
variable output
variable_names , [*] , [*]
variables
version
version/0
vi
wait/2 , [*]
wake/0 , [*]
waking , [*]
waking/1
warning_handler/2
when declarations
when/2
with/2
wm_get/2 , [*]
wm_set/2 , [*]
worker , [*] , [*]
worker manager , [*] , [*]
write macros
write/1 , [*] , [*] , [*] , [*] , [*] , [*]
write/1, 2 , [*]
write/2 , [*]
write_canonical/1
write_history/0 , [*]
writeq/1 , [*] , [*]
writeq/1, 2 , [*]
writeq/2
x -- examine goal (debugger cmd)
xref (library)
z -- zap (debugger cmd)
"


1999-08-06