Update the tuProlog adapter file with some more internal predicates definitions