Claire is a high-level functional and object-oriented programming language with rule processing abilities. It was designed by Yves Caseau at Bouygues' e-Lab research laboratory, and received its final definition in 2004.
Claire provides:
A simple object system with parametric classes and methods
Polymorphic and parametric functional programming
Production rules triggered by events
Versioned snapshots of the state of the whole system, or any part, supporting rollback and easy exploration of search spaces
Explicit relations between entities; for example, two entities might be declared inverses of one another
First-class sets with convenient syntax for set-based programming
An expressive set-based type system allowing both second-order static and dynamic typing
Claire's reference implementation, consisting of an interpreter and compiler, was fully open-sourced with the release of version 3.3.46 in February 2009. Another implementation, WebClaire, is supported commercially.
Claire provides:
A simple object system with parametric classes and methods
Polymorphic and parametric functional programming
Production rules triggered by events
Versioned snapshots of the state of the whole system, or any part, supporting rollback and easy exploration of search spaces
Explicit relations between entities; for example, two entities might be declared inverses of one another
First-class sets with convenient syntax for set-based programming
An expressive set-based type system allowing both second-order static and dynamic typing
Claire's reference implementation, consisting of an interpreter and compiler, was fully open-sourced with the release of version 3.3.46 in February 2009. Another implementation, WebClaire, is supported commercially.
- Category
- Languages
- Listed
- Nov 8, 2026
Is this your website? Claim this listing to edit it.
