Library for Writing Contracts for Java Programs Using Prolog