JPL package for SWI Prolog
