was intended to be both easier to learn than its predecessor and to impose no performance overhead relative to C++; it is thus a much smaller language, omitting features such as constraints and deductive rules, and is closer to C in spirit and syntax. Its main users in industry have been the Bouygues and Thales groups. Example A function to compute the nth Fibonacci number: fib(n:integer) : integer -> (if (n < 2) 1 else fib(n - 1) + fib(n - 2)) External links The latest version of Claire and its documentation are available from the "claireprogramminglanguage" Yahoo! group, which requires free registration. Documentation for Claire and WebClaire. "Introduction to the CLAIRE Programming Language Version 3.2" by Yves Caseau and François Laburthe. "CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms" by Yves Caseau, François-Xavier Josset and François Laburthe (2002). A 26-page overview, intended for an academic audience, with benchmarks. Experimental programming languages Functional languages Multi-paradigm programming languages Object-oriented programming languages