Final version of a prolog game.