即使我将它们放在setof中，也无法忽略元素的顺序

Question

我遵循了这个问题中建议的答案我如何使用PL-UNIT的任何顺序测试非确定性谓词？。

test(hello, [
  setup(board_1_setup),
  cleanup(clear_board),
   Ys = [d-6, e-6, f-6, d-5, f-5, e-4, f-4]
]) :-  setof(Y, any_turn_king_move(e-5, Y), Ys).


ERROR: /home/eguneys/chess/pro/_chess.plt:10:
        test hello: wrong answer (compared using =)
ERROR:     Expected: [d-6,e-6,f-6,d-5,f-5,e-4,f-4]
ERROR:     Got:      [d-5,d-6,e-4,e-6,f-4,f-5,f-6]

如果我把它们放在测试中。

即使我将它们放在setof中，为什么仍会检查订单。

Answer 1

我在此链接上尝试了一个片段 https://sicstus.sics.sics.se/sicstus/docs/4.2.0/html/sicstus/plunit-a-unit-a-unit-test-box.html 。

它起作用了。

这样：

test(king_move_safe, [
  setup(board_1_setup),
  cleanup(clear_board),
   set(Y = [d-5, e-4, f-4, f-5])
]) :-  king_move_safe(e-5, Y).

我不确定这是如何工作的，如果有人可以解释发生了什么，我将接受这一点。