logtalk

Logtalk is a free object-oriented extension to the Prolog programming language. Integrating logic programming with object-oriented and event-driven programming, is compatible in most Prolog compilers.