It is implementation of UML inconsistency checker on Java and Prolog.