|
Release Notes
|
Version 3.7.1 released 22.3.1998
Version 3.7.0 released 26.2.1998
- Windows port
-
The version runs on Windows-NT/95. It can be used either as a
standalone console program, or embedded into C/C++ or VisualBasic
applications.
- Iteration constructs
-
The library lib(forall) implements loop constructs which eliminate the
need for most auxiliary tail-recursive predicates, while preserving the
declarative nature of the language.
Version 3.6.1 released 22.8.1997
Version 3.6.0 released 29.6.1997
-
IC-Parc Libraries
-
A set of new libraries developed at
IC-Parc
are distributed with this release:
- eplex,
a library that implements an interface to the CPLEX® optimization system.
- repair,
a library for Constraint-Based Repair.
- ria,
a library for interval reasoning over non-linear constraints over
continuous and integral variables.
Refer to the new "IC-Parc Library Manual" for details.
-
Embedding into C/C++
-
Eclipse can now be embedded into a C/C++ main application.
Refer to the new "Embedding and Interfacing" Manual for details.
-
Increased memory limits
-
For huge applications, the virtual memory limits on Eclipse's 4
data areas can now be adjusted via the -g, -l and -h options.
A memory leak in the waking mechanism has been fixed.
-
Demons and waking
-
To improve the efficiency of goals that wake and re-delay
frequently, the concept of demon-predicates has been introduced.
Decaratively spoken, demons have an implicit recursive call.
Procedurally, unlike normal predicates, demons continue to
exist as delayed goals even when they have been woken.
Refer to the chapter "Advanced Control" in the Extensions Manual.
-
Message passing primitives
-
A comprehensive set of message passing primitives is now provided,
which facilitates the implementation of distributed applications.
The Extensions Manual contains a new chapter describing this.
-
Finite-Domain library
-
The deleteff[c]/3 predicates do no longer perturb the original
order of the variable list, ie. the remainder-list is identical
to the original list except that one element is removed. This
property is important when one wants to pre-order the list
according to some heuristics.
minimize/min_max: An implementation limit on the nesting of
these primitives has been removed. New variants minimize/4,8
and min_max/4,8 have been introduced. They allow only a subset
of the goal's variables to be set to their minimized solutions
while leaving the others uninstantiated. This is useful also to
eliminate problems caused by large unrelated data structures
occurring within the Goal-argument.
-
Defaults changed
-
Double-precision floating-point numbers are now used by default,
ie
set_flag(float_precision,double) is assumed.
-
No longer supported: Saved states, Megalog, Kegi
-
Saved states are no longer suported. This facility has been
sacrificed due to the requirements of more flexible memory
management and C/C++ embedding.
Megalog, the knowledge-base component of Eclipse will no longer
be supported, but is still included in this release. We recommend
to migrate applications to standard databases using an interface
such as lib(oci) (Oracle call interface) from IC-Parc.
The Kegi graphics system is no longer distributed with Eclipse.
-
Documentation updated
-
Parts of the documentation have been revised. In particular, the
HTML online version has better cross-references.
Previous release notes
© Copyright IC-Parc 1997