Index

"

'C'/3

+ -- set a spy point (debugger cmd)

+/3

+X

,/2

- -- remove a spy point (debugger cmd)

->/2

-b (command line option)

-D (command line option)

-e (command line option)

-g (command line option)

-h (command line option)

-l (command line option)

-s (command line option)

->/2 ,

-?->/1

-X

. -- print definition (debugger cmd)

. -- Print structure definition (debugger cmd)

.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 ,

~/1

\==/2

\==/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

abort/0

accept/3 ,

accessible

add_attribute/2

add_attribute/3

after events

als/1

ambiguity warning

append/3

arg/3 , , , ,

argc/1 ,

argv/2 ,

arithmetic

arithmetic

built-ins

coroutining

expressions

functions

predefined arithmetic functions

prefer_rationals

types

user defined arithmetic

arity

array ,

array/1

arrays

arrays

non-logical

assert/1 , , , , , , , , , , , , ,

assert/1,2

at/2 , ,

atom

atom/1

atom_string/2

atomic

atomic/1

atoms

attach_suspensions/2

attach_tools/0

attached/1

attribute

attribute

specification

qualified

unqualified

attributed variables

attributed variables

handlers

b -- break (debugger cmd)

B -- Move current subterm down by N levels (debugger cmd)

backtracking

bag_abolish/1

bag_create/1

bag_dissolve/2

bag_enter/2

bag_retrieve/2

bags

bignum

bind/2

block/3 , , , , , , , , , ,

Blocks

body

bounded reals

break/0

breal

breal/1

breal/2

buffered output

bug reports

c -- creep (debugger cmd)

C -- Move current subterm right by N positions (debugger cmd)

call/1 , ,

call_c/2

call_priority/2 ,

callable term

caller module

cancel_after_event/1

ccompile

coverage ,

ccompile/1 ,

ccompile/2 ,

cd/1 , ,

character class ,

character lists

CHIP

choicepoint

clause ,

clause

goal

head

iterative

matching

program

regular

termination

unit

clause/1,2

code coverage

command line options , ,

command line options

-b

-e

comment directive

comment/2

compare_instances handler

compare_instances/3

comparison

arithmetic

compilation

nesting compile commands

compile/1 , , , , , ,

compile/1, 2

compile/2 , ,

compile_stream/1 , , ,

compile_term/1 , ,

compiled_file/2 ,

compiled_stream/1

compiler macros

compiler

arithmetic

compound term

compound/1

connect/2 , , ,

constrained

container

control stack

copy_term handler

copy_term/2 , ,

copy_term_vars/3

coroutining ,

coroutining

arithmetic

count - iterator construct

coverage ,

coverage counters

cputime/1 ,

create_module/1

create_module/3

current_after_event/1

current_array/2 ,

current_compiled_file/3 ,

current_error/1 ,

current_interrupt/2

current_module/1

current_stream/1

current_suspension/1

cut , ,

cut warnings ,

cut

soft

cyclic terms

d -- delayed goals (debugger cmd)

D -- Move current subterm left by N positions (debugger cmd)

database

dbgcomp/0

DCG

dead code

debug/0 ,

debug/1

debug_output

Debugger Commands

debugging/0

decval/1 , , ,

default/0

definite clause grammar

definition ,

delay clauses

delay

arithmetic

delayed_goals handler

delayed_goals/1

delayed_goals/2

delayed_goals_number handler

delayed_goals_number/2

delete/1 ,

demon

demon/1

dictionary

DID

dif/2 , , , ,

difference list

dim/2 ,

disjunction

display/2

do/2 ,

document (library)

double float

downarrow key -- Move current subterm down by N levels (debugger cmd)

dynamic/1 , , ,

ec_post_event

eci_to_html/3

ECLiPSe

eclipse_language

ECLIPSEINIT

ECLIPSELIBRARYPATH

ensure_loaded/1 , , ,

enter_suspension_list/3

env/0 , ,

erase_all/1

erase_array/1 , ,

erase_module/1

error

error handlers

error/2

error/3 ,

error_id/2 ,

errors

errors

handlers

user defined

event handlers

event/1 , , ,

event_after/2

event_after_every/2

events

events_after/1

exec/2 , , ,

exec/3 , , , , ,

exec_group/3 , , , ,

existing_file/4 ,

exists/1 ,

exit status

exit/1 , ,

exit_block/1 , , , , , , ,

Exiting ECLiPSe

export/1 , , , , ,

exporting

extended head

f -- fail (debugger cmd)

fact

factorial function

fail/0

failure loop

fatal errors

fcompile/1 ,

fcompile/2

fcompile:fcompile/1

file name

findall/3 ,

fix/2

float/1

float/2

floating point numbers

floundering

flush/1 ,

for - iterator construct

foreach - iterator construct

foreacharg - iterator construct

format string

free/1 ,

freeze/2

fromto - iterator construct

fullstop

functor ,

functor/3 , ,

G -- all ancestors (debugger cmd)

g -- ancestor (debugger cmd)

garbage collection

garbage_collect/0

get/1

get/1, 2

get/2

get_bounds handler

get_event_handler/3 , , ,

get_file_info/2

get_file_info/3 ,

get_flag/2 , , , , , , , , , , , , , , , , ,

get_flag/3 , , ,

get_interrupt_handler/3

get_module_info/3 ,

get_priority/1

get_stream/2 ,

get_stream_info/3 ,

get_suspension_data/3

get_var_bounds/3 ,

getcwd/1 , ,

getenv/2 ,

getval/2 , , , , , ,

global flag

prefer_rationals

global flags ,

global reference ,

global stack

global trigger

goal

goal expansion

grammar rules

ground

h -- help (debugger cmd)

halt/0 , ,

hash table

head

head

clause

pair

heap

help

help/0

help/1 ,

history

hostid

hostname

i -- invocation skip (debugger cmd)

icompile/2

if then else

ifdef (library)

import/1 , , ,

importing

include/1 , , ,

incval/1 , , ,

indexing

inheritance

init_suspension_list/2

initialisation file

initialization

initialization/1

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

instance/2

instantiated

integer constants

integer/1

integers

interrupt

interrupts

interrupts

tkeclipse

interval arithmetic

is/2 , , , , ,

is_dynamic/1 ,

is_suspension/1

iteration

j -- jump to level (debugger cmd)

kill/2 , , ,

kill_display_matrix/1

kill_suspension/1

l -- leap (debugger cmd)

language

leftarrow key -- Move current subterm left by N positions (debugger cmd)

lib/1 , , ,

lib/1,2

libraries ,

library search path

library

coverage

suspend.pl

library(hash)

library(source_processor)

library_path

line coverage

lint (library)

lint/1

lint/2

list

list_error/3

listing/0,1

load/1 ,

local stack

local/1 , , , , , , ,

lock/1

lock/2

locking

log_output

logical update semantics

lookup module

loop_name - iterator construct

loops

m -- module (debugger cmd) ,

macro expansion

macro

no_macro_expansion ,

write

macro/3 , ,

macro_expansion

macros

clause

compiler

goal

protect_arg

read ,

term

top_only

type

write ,

mailing list

make/0 , ,

make_display_matrix/2 , ,

make_display_matrix/5 ,

make_suspension/3 , ,

make_suspension/3,4 ,

make_suspension/4

matching , ,

matmult/3

matrix

MegaLog

member/2

memberchk/2

memory usage

merge_suspension_lists/4

meta-predicates

meta/1 ,

meta_attribute/2

metaterm ,

min_max/2

minimize/2

mode declaration

mode/1

module/1 , , , ,

module/3 ,

modules

N -- nodebug permanently (debugger cmd)

n -- nodebug (debugger cmd)

name conflict

Name/Arity ,

named structure

nil

no_macro_expansion/1 , ,

nodbgcomp/0 , ,

nodebug/0

Non-logical Variables

nonground/1 , , ,

nonground/2

nonlogical variables

nonvar/1

nospy/1 ,

not/1

not_unify/2 ,

notify_constrained/1

notrace/0

null

number

number/1

numbervars/3

o -- output mode (debugger cmd) ,

object code

occur check

of/2

op/3 , ,

open/3 , , , , , , , ,

open/4 ,

operators

optimisation

os_file_name/2

output

output options

output_mode

overflow, stack

p -- Show subterm path (debugger cmd)

pair

param - iterator construct

pathname/4 ,

pattern matching ,

pause/0

performance

phrase/3 , , ,

pid (global flag)

pipe streams

plus/3

port_profiler (library)

portray/3 ,

postponed

ppid (global flag)

pragma

pre_unify handler

pred/1 ,

predicate

predicate name

PredSpec

prefer_rationals ,

prefix

pretty_print/2

pretty_printer (library)

print handler

print/2

printf/2 , , , ,

printf/2, 3

printf/2,3

printf/3 ,

priority

private heap

procedure

built_in

dynamic

external

functor

regular

simple

static

tool

profile/1

profiling ,

program analysis

program clause

Prolog

prolog_suffix

properties

module

predicate

put/1

put/1, 2

put/2

q -- query the failure culprit (debugger cmd)

qualified acccess

qualified attribute specification

query , ,

rational numbers

rational/1

rational/2

read macros

read mode

read/1 , , , , ,

read/1, 2

read/2 ,

read_directory/4 ,

read_string/3

read_string/3,4

read_string/4

read_term/2

read_term/3

read_token/2 ,

read_token/3 ,

readvar/3 ,

real/1

record/2

redefinition error

redefinition warning

redirecting streams

reexport/1

reference ,

Reference Manual ,

rename/2 ,

reset_error_handlers/0

reset_event_handler/1

resolvent

result

coverage

result/1 ,

retract/1 , , , , ,

rightarrow key -- Move current subterm right by N positions (debugger cmd)

runtime system

s -- skip (debugger cmd)

scattered (library)

schedule_suspensions/1 , ,

schedule_suspensions/2 , ,

seek/2 , , ,

SEPIA

set_bounds handler

set_chtab/2 , ,

set_event_handler/2 , , , ,

set_flag/2 , , , , , ,

set_flag/3 , , , , ,

set_interrupt_handler/2 , ,

set_stream/2 , , ,

set_stream_property/3 , , ,

set_suspension_data/3

set_var_bounds/3 ,

setarg/3 ,

setof/3 , ,

setval/2 , , , , , , , ,

setval/2, getval/2

sh/1 , , ,

shared heap

shelf

shelf_abolish/1

shelf_create/2

shelf_create/3

shelf_get/3

shelf_set/3

shelves

simple goals

sin/2

singleton

singleton variables

skipped/1 ,

socket streams

socket/3 , ,

soft cut

sort/2

source files

source transformation

SpecList

split_string/4

spy point , ,

spy point

add

remove

spy/1 , ,

spy_term/2

spy_var/1

stack overflow

stacks

start_tracing

statistics/0 ,

statistics/0,2

statistics/2 , , ,

stderr

stdin

stdout

store

store/ 1

store_create/1

store_delete/2

store_erase/1

store_get/3

store_set/3

stored_keys/2

stored_keys_and_values/2

stream

streams

string

string/1

string_length/2

string_list/2

strings

struct/1

structure ,

structures ,

subcall/2 ,

subscript

subscript/2

subscript/3

substring/4

suspend ,

suspend/3 , ,

suspend/3,4

suspend/4 ,

suspended goal

suspending variables ,

suspension

suspension list ,

suspension list

bound

constrained ,

inst

suspension

creating

executed

sleeping

waking

suspensions handler

suspensions/1

suspensions/2

symbolic trigger

syntax

syntax differences of ECLiPSe

syntax_option

system/1 ,

tail

term

term_hash/4

term_string/2

term_variables/2 ,

test_unify handler

throw/1

timed events

timeout/3

timers

times/3

token

token class

tool

system

tool/2

tool_body/3

Tools

tools/0 ,

top level loop ,

toplevel module

trace/0 ,

trace/1 ,

trace_call_port/3

trace_exit_port/0

trace_parent_port/1

trace_point_port/3

traceable/1

trail stack

trigger

trigger/1

trimcore/0

true/0 , , , ,

twice/1

tyi/1

tyi/1, 2

tyi/2

tyo/1

tyo/1, 2

tyo/2

type macros

type

breal

float

integer

rational

type_of/2

u -- scheduled goals (debugger cmd)

unification

pattern matching

unify handler

unlock/2

unskipped/1

untraceable/1

uparrow key -- Move current subterm up by N levels (debugger cmd)

update mode

update_struct/4

use_module/1 , , ,

user

user group

v -- var/term modification skip (debugger cmd)

var/1 , , , ,

variable name

variable names

variable output

variable/1

variable_names

variables

variant/2

visible ,

wait/2 ,

wake/0 ,

waking ,

waking/1

warning_output

when declarations

windows

with/2

write macros

write mode

write/1 , , , , ,

write/1, 2 ,

write/1,2

write/2 , ,

write_canonical/2

write_history/0

write_term/2

write_term/3 ,

writeln/1,2

writeq/1 ,

writeq/1, 2

writeq/2 , ,

x -- examine goal (debugger cmd)

xref (library)

xref/2

z -- zap (debugger cmd)

"