Claire 3.3.29

Claire 3.3.29 is designed to be an advanced, convenient, full-featured and object-oriented language which comes 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.

Major Features:

1. A rich type system including type intervals and second-order types (with static/dynamic typing)
2. Parametric classes and methods
3. Propagation rules based on events
4. Dynamic versioning that supports easy exploration of search spaces.
   
5. Set-based programming with an intuitive syntax
6. Simple-minded object-oriented programming
7. Truly polymorphic and parametric functional programming
8. An entity-relation approach with explicit relations, inverses and unknown values.