• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/usr/eclipseclp/documents/userman/

Lines Matching defs:of

4 % The contents of this file are subject to the Cisco-style Mozilla Public
6 % in compliance with the License. You may obtain a copy of the License
15 % The Initial Developer of the Original Code is Cisco Systems, Inc.
30 The {\eclipse} system has evolved from the Edinburgh family of
38 which is the result of design decisions taken for conceptual, practical
59 Here, the last argument of the module/3 directive indicates the language
63 conflicts between the different versions of built-in predicates.
65 Examples of supported language dialects are
72 of the oldest and most influential Prolog implementations.
84 instead of the default \notation{eclipse_language} dialect which provides the
86 The source code of the language dialect module is provided in the
101 environment variable to the name of the chosen dialect.
109 provides an implementation of ISO Standard Prolog and complies
114 a blend of ISO and ECLiPSe functionality. All ISO features
116 conflict with ISO. As some of these extensions go beyond what the
117 letter of the standard allows, and because error checking may be
120 is the same as 'iso', with the exception of error handling.
122 form of error terms being thrown by built-in predicates.
124 The specification of implementation-defined features stipulated
130 The following problem can occur despite the use of compatibility packages:
148 Porting programs from an interpreter usually requires the addition of
155 If you want to use {\eclipse} to do further development of your application,
165 the source of the application in many places.
172 Due to lack of standardisation, some subtle differences in the
174 for details. {\eclipse} has a number of options that make it possible
179 of the Edinburgh family.
181 lists of integers in other systems and when the compatibility
185 I/O predicates of the \predspec{see} and \predspec{tell} group are not built-ins
226 \section{Exploiting the features of {\eclipse}}
241 \item {\eclipse} has a number of language extensions which make programming
247 give a lot of useful information about the system and the data.
259 require modification of the {\eclipse} sources