<language> An object-oriented Prolog-like language.
["CIEL: Classes et Instances En Logique", M. Gandriau, Thesis ENSEEIHT, 1988].
Nearby terms: CICS « CID « CIDR « CIEL » CIF » CIFS » Cigale
