Lines Matching defs:is
9 % Software distributed under the License is distributed on an "AS IS"
14 % The Original Code is The ECLiPSe Constraint Logic Programming System.
15 % The Initial Developer of the Original Code is Cisco Systems, Inc.
37 \section{What is {\eclipse} ?}
39 is an open-source software system whose aim is to serve as a platform
41 It is used in particular for the cost-effective
44 timetabling, transport etc. It is also ideal for teaching most
58 In terms of implementation technology, {\eclipse} is built around an
75 The documentation is organised as follows:
85 Built-in predicates and the libraries. This information is also available
98 %{\eclipse} provides the user with the {\bf metaterm} data type which is the key
106 %{\eclipse} is based on an {\it incremental interactive compiler},
108 %The compilation is transparent to the user, no loading or linking
116 %{\eclipse} is able to remember the source names
121 %singleton variables and emits a warning if it is the case.
132 %The interface is user-friendly, e.g., in the top-level and in the debugger
137 %so that it is easy to spot trivial errors like misspelling
140 %Automatic name completion is provided:
157 %the arity of structures is unlimited
173 %is compact and compatible with strings in C, but it also
180 %software it is possible to use (extra-logical) arrays of various types
184 %is much faster and uses less space than using \bipref{assert/1}{../bips/kernel/dynamic/assert-1.html}.
211 %When an event occurs, the corresponding {\it event handler} is called,
212 %which is a user-definable procedure.
219 %is interrupted and the signal is handled immediately in real time.
229 %variables is bound and the delay condition is then verified again.
241 %(i.e., the debugger is not a Prolog program which would
243 %debugged code is not considerably slower than the not debugged one
244 %as is the case in most other Prolog systems.
246 %It is able to trace suspended goals, skip to the place
256 %The {\eclipse} I/O is based on the concept of {\it streams}
274 %It is a mechanism similar to LISP's catch\&throw, it allows
283 %%for negated goals and thus it is logically complete and sound.
320 %When a predicate is declared as autoloading, it is loaded
321 %from the corresponding file in the library path when it is
330 %One is a port-model based analyser which produces statistics
332 %The other is a true timing profiler which measures the time spent in
346 %(BIP book \cite{sepiabipbook}) is available on-line.
367 until the end of 2005. It is now an open-source project, with the