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