Did you know ... Search Documentation:
library(jpl): A Java interface for SWI Prolog 7.x