An object-oriented Prolog-like language.["CIEL: Classes et Instances En Logique", M. Gandriau, ThesisENSEEIHT, 1988].