Did you know ... Search Documentation:
Carnival in the NetherlandsJPL: A bidirectional Prolog/Java interface