Prolog：井字游戏答案

【问题标题】：Prolog: Tick-tack-toe gameProlog：井字游戏
【发布时间】：2016-05-30 10:23:31
【问题描述】：

我有一个基本的 Tick-tack-toe 游戏，其中 2 个玩家都在 9 个单元格的网格上移动。问题是，在第一个玩家做出最后一步并获胜之后，游戏并没有停止，玩家 2 仍然可以玩。如果第二个玩家以某种方式也做出了获胜的举动，那么他将成为赢家，尽管玩家 1 实际上首先获得了胜利。如果第二个玩家首先获胜，它不会犯同样的错误。绘图工作正常。代码如下：

:- dynamic o/1.
:- dynamic x/1.

/* the various combinations of a successful horizontal, vertical
or diagonal line */

ordered_line(1,2,3).
ordered_line(4,5,6).
ordered_line(7,8,9).
ordered_line(1,4,7).
ordered_line(2,5,8).
ordered_line(3,6,9).
ordered_line(1,5,9).
ordered_line(3,5,7).

/*line predicate to complete lines

line(A,B,C) :- ordered_line(A,B,C).
line(A,B,C) :- ordered_line(A,C,B).
line(A,B,C) :- ordered_line(B,A,C).
line(A,B,C) :- ordered_line(B,C,A).
line(A,B,C) :- ordered_line(C,A,B).
line(A,B,C) :- ordered_line(C,B,A).


full(A) :- x(A).
full(A) :- o(A).

empty(A) :- not(full(A)).

all_full :- full(1),full(2),full(3),full(4),full(5),
full(6),full(7),full(8),full(9).


done :- ordered_line(A,B,C), x(A), x(B), x(C), write('Player 2 win.'),nl.

done :- ordered_line(A,B,C), o(A), o(B), o(C), write('Player 1 win.'),nl.

done :- all_full, write('Draw.'), nl.

move1 :- write('Player 1 (o) enter a move: '), read(X), between(1,9,X),  
empty(X), assert(o(X)).
move1:-all_full.
move2 :-  write('Player 2 (x) enter a move: '), read(X), between(1,9,X),  
empty(X),assert(x(X)).
move2:- all_full.
printsquare(N) :- o(N), write(' o ').
printsquare(N) :- x(N), write(' x ').
printsquare(N) :- empty(N), write('   ').

printboard :- printsquare(1),printsquare(2),printsquare(3),nl,
          printsquare(4),printsquare(5),printsquare(6),nl,
          printsquare(7),printsquare(8),printsquare(9),nl.

clear :- x(A), retract(x(A)), fail.
clear :- o(A), retract(o(A)), fail.

play :- not(clear), repeat, move1, printboard, move2,printboard, done.

这就是我得到的错误： Game doesnt stop when player 1 wins

希望你能帮助我 :) 提前致谢。

编辑：“玩家 2 获胜”显示在“完成”谓词中。成功完成 3 'o' 或 'x' 线后，游戏应以玩家 1 获胜或玩家 2 获胜而结束。我将包含原始代码，这可能有助于理解我遇到的问题Original code with comments

【问题讨论】：

你能再解释一下吗？
@lurker 我更新了，希望对你有帮助！
您在line 谓词之前有一个“开放”评论（不以*/ 结尾）。
问题是你只有在两个玩家都移动之后才检查done。您需要在每个玩家移动后检查它。但是，由于您的逻辑，它不会像插入done 那样简单（即，这不起作用：play :- not(clear), repeat, move1, printboard, done, move2, printboard, done.）。所以你必须重构你的 play 谓词。
感谢@lurker 的回答和帮助！

标签： algorithm prolog

【解决方案1】：

问题出在游戏的主要谓词中：

play :- not(clear), repeat, move1, printboard, move2,printboard, done.

你不会在玩家的 1 步之后检查done。

在 Prolog 的语法中，逻辑“或”写为;。所以表达play谓词的一种方法是：

play :- not(clear), repeat, move1, printboard, (done; move2, printboard, done).

上面写着“在 move1 之后，检查游戏是否完成（即完成）；如果没有，玩家 2 进行移动，然后重复检查。

【讨论】：