Interface Java Prolog