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].