Concept Index
Symbols
A
- Austrian Research Institute for AI (in ciaointro)
- abort (in debugger_doc)
- abstract methods (in class_doc)
- acceptable modes (in assertions_props)
- acknowledgments (in ciaointro)
- active module (in ciaoc)
- active object (in actmods_doc)
- addmodule and pred(N) meta-arguments (in class_doc)
- ancestors (in debugger_doc)
- answer variable (in toplevel_doc)
- assertion body syntax (in assertions_props)
- assertions (in CiaoMode)
- attribute (in class_doc)
- attributed variables (in attributes)
- auto-documenter command args, setting (in CiaoMode)
- auto-documenter command, setting (in CiaoMode)
- auto-documenter default format, setting (in CiaoMode)
- auto-documenter lib path, setting (in CiaoMode)
- auto-documenter working dir, setting (in CiaoMode)
- auto-fill (in CiaoMode)
- auto-indentation (in CiaoMode)
B
- Bristol University (in ciaointro)
- binary directory (in Install)
- box-type debugger (in debugger_doc)
- breakpoints (in CiaoMode)
- bugs, reporting (in BeyondInstall)
C
- CGI (in pillow_doc)
- CGI executables (in ciao-shell)
- CLIP group (in ciaointro)
- Ciao auto-documenter (in CiaoMode)
- Ciao basic builtins (in ciaointro)
- Ciao engine (in ciaointro)
- Ciao mode version (in CiaoMode)
- Ciao preprocessor (in ciaointro)
- Ciao top-level (in CiaoMode)
- Ciao, why this name (in ciaointro)
- Cygnus Win32 (in Install)
- calls assertion (in assertions_doc)
- certainty factor (in mycin_doc)
- change, author (in CiaoMode)
- change, comment (in CiaoMode)
- changelog (in CiaoMode)
- changing the executables used (in CiaoMode)
- check assertion (in assertions_doc)
- ciao, global description (in ciaointro)
- ciao-users (in BeyondInstall)
- client installation (in InstallWin32bin)
- closed (in data_facts)
- coloring, syntax (in CiaoMode)
- command (in debugger_doc)
- comment assertion (in assertions_doc)
- comments, machine readable (in assertions_doc)
- comp assertion (in assertions_doc)
- compatibility properties (in regtypes_doc)
- compiler, standalone (in ciaoc)
- compiling (in CiaoMode)
- compiling programs (in GetStartUnix)
- compiling, Win32 (in Install)
- compiling, from command line (in ciaoc)
- concurrency (in concurrency)
- concurrent attribute (in class_doc)
- concurrent predicate (in data_facts)
- concurrent predicates (in data_facts)
- configuration file (in lpmake)
- constructor (in class_doc)
- contributed libraries (in ciaointro)
- creating executables (in CiaoMode)
- creep (in debugger_doc)
- csh-compatible shell (in GetStartUnix)
- current input stream (in streams_basic)
- current output stream (in streams_basic)
- customize (in CiaoMode)
D
- DECsystem-10 Prolog User's Manual (in ciaointro)
- Distributed Programming Model (in javall_doc)
- data declaration (in data_facts)
- data predicate (in data_facts)
- database initialization (in persdbrt)
- debug (interpreted) mode (in debugger_doc)
- debug options (in debugger_doc)
- debugger (in debugger_doc)
- debugging (in debugger_doc)
- debugging, source-level (in CiaoMode)
- decl assertion (in assertions_doc)
- declarations, user defined (in builtin_directives)
- depth first iterative deepening (in id_doc)
- depth limit (in id_doc)
- destructor (in class_doc)
- determinate goal (in andorra_doc)
- development environment (in GetStartUnix)
- display (in debugger_doc)
- downloading emacs (in Install)
- downloading, latest versions (in BeyondInstall)
E
- emacs interface (in ciaointro)
- emacs lisp (in emacs)
- emacs mode (in CiaoMode)
- emacs mode, loading several (in CiaoMode)
- emacs mode, setting up, Win32 (in InstallWin32bin)
- emacs server (in emacs)
- emacs, download (in Install)
- emacs, intro (in GetStartUnix)
- engine directory (in ciaointro)
- engine module (in pure_doc)
- entry assertion (in assertions_doc)
- environment variable definitions (in Install)
- environment variables (in CiaoMode)
- environment variables, setup (in GetStartUnix)
- executable (in ciaoc)
- executables, compressed (in ciaoc)
- executables, dynamic (in ciaoc)
- executables, generating (in GetStartUnix)
- executables, how to run (in ciaoc)
- executables, lazy load (in ciaoc)
- executables, self-contained (in ciaoc)
- executables, static (in ciaoc)
- executables, types (in ciaoc)
- exit assertion (in assertions_doc)
- extensibility (in ciaointro)
F
- Function applications (in fsyntax_doc)
- Functional definitions (in fsyntax_doc)
- fail (in debugger_doc)
- false assertion (in assertions_doc)
- feature terms (in argnames_doc)
- formatting commands (in assertions_doc)
- formatting conventions, for emacs (in CiaoMode)
G
H
- HTML (in pillow_doc)
- HTTP (in pillow_doc)
- hard side-effects (in native_props)
- help (in GetStartUnix)
- help, unix (in GetStartUnix)
- help, windows (in GetStartWin32)
I
- IMDEA Software Institute (in ciaointro)
- INFOPATH (in Install)
- INRIA (in ciaointro)
- ISO-Prolog (in ciaointro)
- ISO-Prolog builtins (in ciaointro)
- inheritable interface (in class_doc)
- inheritance relationship (in class_doc)
- initialization clauses (in class_doc)
- initialization file (in GetStartUnix)
- installation, Mac OS X, full instructions (in Install)
- installation, Mac OS X, summary (in Install)
- installation, Un*x, full instructions (in Install)
- installation, Un*x, summary (in Install)
- installation, Windows clients (in InstallWin32bin)
- installation, Windows server (in InstallWin32bin)
- installation, Windows, from binaries (in InstallWin32bin)
- installation, Windows, from sources (in Install)
- installation, checking the (in Install)
- installation, network based (in Install)
- instantiation properties (in regtypes_doc)
- interface inheritance (in class_doc)
- interfaces (in class_doc)
- interpreting (in CiaoMode)
- iso (in ciaointro)
- iso-prolog, compliance (in ciaointro)
- iterative-deepening (in id_doc)
J
- Java event handling from Prolog (in javart)
- Java exception handling from Prolog (in javart)
- Java to Prolog interface (in jtopl)
- Johan Andersson (in CiaoMode)
- Johan Bevemyr (in CiaoMode)
K
L
- LPdoc (in ciaointro)
- Linkoping U. (in ciaointro)
- LogIn (in toplevel_doc)
- leap (in debugger_doc)
- lib library (in ciaointro)
- library directory (in Install)
- limitations, architecture-specific (in BeyondInstall)
- loading mode (in debugger_doc)
- loading programs (in GetStartUnix)
- locating errors (in CiaoMode)
- lpdoc command args, setting (in CiaoMode)
- lpdoc command, setting (in CiaoMode)
- lpdoc default format, setting (in CiaoMode)
- lpdoc lib path, setting (in CiaoMode)
- lpmake (in lpmake)
- lpmake autodocumentation (in lpmake)
M
- MANPATH (in Install)
- MCC (in ciaointro)
- Maria Jose Garcia de la Banda (in ciaointro)
- Masanobu Umeda (in CiaoMode)
- Mats Carlsson (in CiaoMode)
- Melbourne U. (in ciaointro)
- Monash U. (in ciaointro)
- mailing list (in BeyondInstall)
- main module (in CiaoMode)
- make (in lpmake)
- manual, printing (in GetStartUnix)
- manual, tour (in ciaointro)
- manuals, printing (in GetStartUnix)
- modular interface (in ciaoc)
- module qualification (in modules)
- modules, active (in ciaoc)
- moving changelog entries (in CiaoMode)
- multi-evaluated (in class_doc)
- multiarchitecture support (in Install)
N
- Naming term arguments (in argnames_doc)
- New Mexico State University (in ciaointro)
- nodebug (in debugger_doc)
- nospy (in debugger_doc)
- notation (in ciaointro)
O
P
- PATH (in Install)
- Pedro Lopez (in ciaointro)
- Peter Olin (in CiaoMode)
- PiLLoW on-line tutorial (in pillow_doc)
- Platform independence (in javall_doc)
- Polymorphism (in ociao_doc)
- Predefined evaluable functors (in fsyntax_doc)
- Prolog server (in jtopl)
- Prolog shell scripts (in ciao-shell)
- Prolog to Java Interface Structure (in javart)
- Prolog to Java Interface Structure. Java side (in javart)
- Prolog to Java Interface Structure. Prolog side (in javart)
- parallel Prolog (in ciaointro)
- parallelizing compiler (in ciaointro)
- parametric type functor (in regtypes_doc)
- path alias (in streams_basic)
- patterns (in patterns)
- pred assertion (in assertions_doc)
- preprocessing programs (in CiaoMode)
- preprocessor command args, setting (in CiaoMode)
- preprocessor command, setting (in CiaoMode)
- print (in debugger_doc)
- printdepth (in debugger_doc)
- printing, manual (in GetStartUnix)
- program development environment (in CiaoMode)
- program transformations (in CiaoMode)
- programming environment (in ciaointro)
- prolog flag (in prolog_flags)
- prolog-emacs interface (in emacs)
- prop assertion (in assertions_doc)
- properties of computations (in regtypes_doc)
- properties of execution states (in regtypes_doc)
- properties, basic (in basic_props)
- properties, native (in native_props)
- protected (in class_doc)
- public domain (in ciao)
- public interface (in class_doc)
- pure Prolog (in pure_doc)
Q
R
- records (in ciaointro)
- recursive level (in toplevel_doc)
- references, to Ciao (in ciaointro)
- referring to Ciao (in ciaointro)
- regtype assertion (in regtypes_doc)
- regular expressions (in patterns)
- regular type expression (in regtypes_doc)
- reporting bugs (in BeyondInstall)
- retry (in debugger_doc)
- running programs (in GetStartUnix)
- running unit tests (in unittest_doc)
S
- SICS (in ciaointro)
- SICStus Prolog (in ciaointro)
- Socket implementation (in javasock)
- Some scoping issues (in fsyntax_doc)
- Swedish Institute of Computer Science (in ciaointro)
- Syntax-based highlighting (in CiaoMode)
- scratchpad directory (in CiaoMode)
- script header, inserting automatically (in CiaoMode)
- scripts (in GetStartUnix)
- sh-compatible shell (in GetStartUnix)
- sharing sets (in native_props)
- shortcut, windows (in InstallWin32bin)
- skip (in debugger_doc)
- soft side-effects (in native_props)
- source directory (in Install)
- source-level debugging (in CiaoMode)
- spy (in debugger_doc)
- standard total ordering (in term_compare)
- static checks (in CiaoMode)
- status, this manual (in ciaointro)
- style sheets (in GetStartUnix)
- subterm (in debugger_doc)
- success assertion (in assertions_doc)
- super class (in class_doc)
T
- Technical University of Madrid (in ciaointro)
- tar (in Install)
- test assertion (in assertions_doc)
- texec assertion (in assertions_doc)
- top-level shell, starting, unix (in GetStartUnix)
- top-level shell, starting, windows (in GetStartWin32)
- toplevel command args, setting (in CiaoMode)
- toplevel command, setting (in CiaoMode)
- tour, of the manual (in ciaointro)
- tracing the source code (in CiaoMode)
- troubleshooting (in Install)
- true assertion (in assertions_doc)
- trust assertion (in assertions_doc)
U
- U. of Arizona (in ciaointro)
- UPM (in ciaointro)
- unify (in debugger_doc)
- uninstalling (in Install)
- unit tests (in unittest_doc)
- user module (in modules)
- user modules, debugging (in debugger_doc)
- user setup (in GetStartUnix)
- users mailing list (in BeyondInstall)
V
- variables (in debugger_doc)
- version control (in CiaoMode)
- version maintenance mode for packages (in CiaoMode)
- version number (in CiaoMode)
- virtual (in class_doc)
W
- WAM (in ciaointro)
- WWW, interfacing with (in pillow_doc)
- why the name Ciao (in ciaointro)
- windows shortcut (in InstallWin32bin)
- write (in debugger_doc)
