标签： prolog computer-science
所以我有一个家谱证明，其中包含关于关系的十多个子目标。
我的程序满足证明所需的所有子目标。
proof（ME）：-爸爸（X，ME），兄弟（Y，ME）。 。 。等等。
当我执行证明（ME）时。对于每个子目标，我得到X =我作为输出。
X = me; X = me; X = me; .... so on
是正确的，还是必须输出true或yes？如果是这样，我在这里做什么错了？