2 在查询中使用冗余目标 （根据@repeat的建议）考虑一个纯程序的查询1 ?- G_0.该查询?- G_0, G_0.有什么用？ 脚注 1禁止制表（为了安全起见），约束条件还可以。关于该主题的 上一篇文章。 12 prolog logical-purity