Probe

An object-oriented logic language based on ObjVlisp.

"Proposition d'une Extension Objet Minimale pour Prolog", Actes du Sem Prog en Logique, Tregastel (May 1987), pp.483-506.