Prolog programming for the Java platform.