ObjVProlog
{Logic programming} and {object-orientation}, an adaptation of
the {ObjVlisp} model to {Prolog}.
["ObjVProlog: Metaclasses in Logic", J. Malenfant, ECOOP '89,
Cambridge U Press 1989, pp.257-269].