JPL: The Prolog <-> Java interface