prolog in 7W7L