Claire is a high-level functional and object-oriented programming language with rule processing abilities.