ProTalk

Quintus

An object-oriented Prolog.