Next: Bibliography
Up: ECLiPSe User Manual Release
Previous: Restrictions and Limits
"
-
- /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