CIEL

An object-oriented Prolog-like language.

"CIEL: Classes et Instances En Logique", M. Gandriau, Thesis ENSEEIHT (1988).