Probe - Object-oriented logic language based on ObjVlisp. "Proposition
dune Extension Objet Minimale pour Prolog", Actes du Sem Prog en Logique,
Tregastel (May 1987), pp.483-506.
Probe Programming Language
http://www.programming-languages.co.uk/probe.html
Large list of computer programming languages arranged alphabetically, with explanations.