SWIProlog中的小坑：‘Undefined procedure:DWIM could not correct goal‘

背景：

人工智能课程实验中使用SWIProlog语言实现简单的动物识别。

---

问题描述

进入SWIProlog运行该程序老是报此错，莫名感觉是哪里的语法没对。
果不其然将所有的可能排除后将括号正确匹配（究极bug）。

解决方案：