Logtalk: http://www.logtalk.org/

Logtalk is an extension of Prolog that supports object-oriented programming. It runs on several Prolog systems. Recently, thanks to Paulo Moura's effort, Logtalk has been made to seamlessly run on B-Prolog. Logtalk can be used as a module system on top of B-Prolog.