Update the JIProlog adapter file with definitions for missing de facto standard predicates