ProTalk

Quintus. An object-oriented Prolog.