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