Fixes for the (still unsupported) JIProlog adapter file