implementation server with prolog