Did you know ... Search Documentation:
JPL: A bidirectional Prolog/Java interface