小编Spe*_*sky的帖子

我是SWI-Prolog的初学者（但是有Borland Prolog的经验），并且对于以下测试代码，我遇到了奇怪的行为：

test(10).
test(1).

预计查询?-test(A)将获得2个解决方案，例如A = 10; A = 1。但是，只有A = 10产生。我在这里不使用切割。也许SWI-Prolog中默认关闭了回溯功能？

提前致谢