Prolog Evolution of

object-oriented extension to Prolog