A logical operational semantics for full Prolog. Part III: Built-in predicates for files, terms, arithmetic and input-output