Austrian Ministery of Science and Research in the frame of ESPRIT III.
Goals
The constraint logic programming scheme has opened logic programming
to a wide range of research work, implementation and applications. Our
main aims are:
To elaborate a general, coherent and applicabe theoretical
framework of constraint logic programming, directly usable by
systems designers. In particular datatype hierarchy and type
coercion will be studied in the context of many sorted constraint
logic programming.
To utilize the results of computer algebra in dealing with
non-linear constraints. in particular CAD, Gröbner bases,
characteristic sets will be investigated, adapted, and improved for
constraining solving over the reals and the complexes.
