Prolog
Extension of
Prolog++ (1767)
OO Prolog