A logical operational semantics for full Prolog. Part II: Built-in predicates for database manipulations