Introduction

What is CLAIRE ?

CLAIRE is a high-level, portable, functional and object-oriented language with advanced rule processing capabilities. It is intended to allow the programmer to express complex algorithms with fewer lines and in an elegant and readable manner.

To provide a high degree of expressivity, CLAIRE uses :

a rich type system including type intervals and second-order types (with static/dynamic typing),
parametric classes and methods,
propagation rules based on events,
dynamic versioning that supports easy exploration of search spaces.

To achieve its goal of readability, CLAIRE uses :

set-based programming with an intuitive syntax,
simple-minded object-oriented programming,
truly polymorphic and parametric functional programming,
an entity-relation approach with explicit relations, inverses and unknown values.