Claire
Website: www.claire-language.com
Proiectat de: Yves Caseau
Claire este un limbaj de programare funcțional și orientat către obiecte de nivel înalt, cu abilități de procesare a regulilor.
Acesta a fost proiectat de Yves Caseau la Laboratorul de Cercetare E-Lab de la Bouygues și a primit definiția finală în 2004.
Claire oferă: Un sistem de obiecte simple cu clase parametrice și metode polimorfe și parametrice de programare funcțională a regulilor de producție declanșate de instantanee versificate de evenimente ale statului a întregului sistem, sau a oricărei părți, care susține rularea și explorarea ușoară a spațiilor de căutare relații explicite între entități; De exemplu, două entități ar putea fi declarate inversări una de altul seturi de primă clasă, cu sintaxă convenabilă pentru programarea bazată pe seturi, un sistem expresiv de tip set bazat pe set, care permite atât implementarea de referință a tipului de ordinul doi, cât și dinamic, constând dintr-un interpret, cât și un compilator, a fost complet deschis cu lansarea versiunii 3.3.46 în februarie 2009.
O altă implementare, Webclaire, este acceptată comercial.