prolog - 在 Prolog 中列出 4x4 板上所有可能的操作

Question

(例如)一名玩家在 4x4 棋盘(具有 8 个不同的π介子)中执行某些操作后，如何列出所有可能的棋盘？

例如，π介子应该是:

([1,2,3,4,5,6,7,8])

并且每次您自动播放时，它都无法重复使用。

板子应该像这个板子

([1,1,-,-],(1,2,-,-)...(1,3,-,-)(1,4,-,-)
 [2,1,-,-],(2,2,-,-)...(2,3,-,-)(2,4,-,-)
 [3,1,-,-],(3,2,-,-)...(3,3,-,-)(3,4,-,-)
 [4,1,-,-],(4,2,-,-)...(4,3,-,-)(4,4,-,-)

每轮一名玩家将一个π介子放在棋盘上，直到棋盘填满为止。

Answer 1

我假设你有一个像 board0_move_board/3 这样的谓词，它是棋盘 B、移动 M 以及在 B 上移动 M 后生成的棋盘之间的三元关系。此外，我假设您有一个谓词 board_move/2 将棋盘与该棋盘上可能的移动相关联，并且在回溯时连续给出所有可能的移动。通过这些谓词，您可以获得所有可能的板:

findall(Board, (board_move(Board0, Move), board0_move_board(Board0, Move, Board)), Boards)