Details:
Title | ACCLAIM - Periodic Progress Report of RISC | Author(s) | Hoon Hong, Andreas Neubacher | Type | Technical Report, Misc | Abstract | Attachments 1 - 5 describe algorithms and methods for constraint
solving.
The Attachment 6 describes a prototype application (a CLP system).
Some of the algorithms in attachments 1 - 5 are used in the
implementation of the prototype system. It is planned to use all the algorithms in a final version of the system described in the Attachment 6.
Further work is required for integrating these methods into professional CLP systems such as PROLOG IV, Oz, AKL developed by other partners of
ACCLAIM.
|
File |
| Language | English | Year | 1995 | Month | June | Edition | 0 | Translation |
No | Refereed |
No | Organization |
Johannes Kepler University Linz | Institution |
RISC (Research Institute for Symbolic Computation) |
|