JPL java prolog project