Update the tuProlog adapter file with definitions for two more internal predicates