即使我将它们放在setof中，也无法忽略元素的顺序
我遵循了这个问题中建议的答案我如何使用PL-UNIT的任何顺序测试非确定性谓词？。 test(hello, [ setup(board_1_setup), cleanup(clear_board), Ys = […
打印消息升起时出错例外：type_error在plunit run_tests上
这些是在Chess.pl中定义的 :- dynamic drop/1. :- dynamic start/1. a_drop(X) :- piese(X), piese_pos(X, Y), \+ on(Y), assertz(drop(X)). a_pickup…
- 共 1 页
- 1
