Kiev

Maxim Kizub

An extension of Java, including multiple inheritance, operator overloading, and Prolog-like inference.