Implementation of prolog databases and database operation builtins in the WAM-Plus model