Prolog的Mastermind - 回溯

时间:2015-01-25 16:59:19

标签: prolog backtracking

编辑2:

解决了它使用列表中的列表。谢谢你的帮助。


我尝试在Prolog中制作Mastermind。我有一个功能

guess(Colors, Size, Possibilities, Answer, Black, White)

其中包括使用颜色的数量,游戏区域的大小,颜色列表和用户对答案的评价。它可能看起来像:

guess(4, 6, P, [red, red, blue, green, green, yellow], 2, 3)

这意味着有4种颜色,6个位置用于钉子和猜测

[red, red, blue, green, green, yellow]获得2个黑色钉子和3个白色。


当我直接称这些函数为

guess(4, 6, O, [red, red, blue, green, green, yellow], 2, 3), 
guess(4, 6, O, [red, yellow, green, blue, red, blue], 0, 4), 
guess(4, 6, O, [green, blue, yellow, red, green, yellow], 4, 2), 
guess(4, 6, O, [yellow, blue, red, yellow, green, yellow], 5, 0).

它给了我正确答案O = [green, blue, red, yellow, green, yellow]


现在我尝试将其设置为 interactive ,因此我创建了函数

play:-
    write('Size: '), read(Size), nl,
    write('Colors: '), read(Colors), nl,
    createFirstGuess(Size, Colors, [], A), //initial guess
    run(Colors, Size, _, A).

run(Colors, Size, P, A) :- 
    tryGuess(Colors, Size, J, A),   //Possibilities in J
    copy(J, X),   //First possible result J -> X
    J = P,   //Unification of all results
    run(Colors, Size, J, X).   //loop

tryGuess(_, _, _, []) :- !. 
tryGuess(Colors, Size, P, A) :- 
    write('Evaluation of: '), write(A), nl,
    write('Black pegs: '), read(B), nl, 
    write('White pegs: '), read(W), nl,
    guess(Colors, Size, P, A, B, W).

copy([],[]) :- !.    //Copy list T1 to T2
copy([H|T1],[H|T2]) :- !, copy(T1,T2).

createFirstGuess(0, _, L, L) :- !.   //Initial guess (just field of the same colors)    
createFirstGuess(N, Colors, R, L) :-
    N > 0, N1 is N - 1, color(Colors, H), createFirstGuess(N1, Colors, [H|R], L).

我运行'play',将颜色的大小和数量设置为开始播放。

Evaluation of: [red, red, red, red, red, red]   //Initial guess
Black pegs: 1.
White pegs: 0.

Evaluation of: [red, green, green, green, green, green]  //OK
Black pegs: 1.
White pegs: 2.

Evaluation of: [red, green, green, green, green, blue]  //Bad, it goes through the list one-by-one
Black pegs: 1.
White pegs: 2.

Evaluation of: [red, green, green, green, green, yellow]   //Bad
Black pegs: 2.
White pegs: 2.

Evaluation of: [red, green, green, green, blue, green]   //Bad
Black pegs: 0.
White pegs: 4.

似乎前两个答案都很好(一个是初始的,第二个是计算的),但下一个答案只是一个接一个地完成所有可能性。我认为回溯有问题,所以应该有一些削减(),但我无法找到放置它们的位置。

感谢您的帮助。

修改

感谢您的帮助。

我想得到这样的输出:

Evaluation of: [red, red, red, red, red, red]   //Initial guess
Black pegs: 1.
White pegs: 0.

Evaluation of: [red, green, green, green, green, green]
Black pegs: 1.
White pegs: 2.

Evaluation of: [green, red, blue, yellow, green, blue]
Black pegs: 3.
White pegs: 2.

Evaluation of: [green, blue, yellow, yellow, green, red]
Black pegs: 4.
White pegs: 2.

Evaluation of: [green, blue, red, yellow, green, yellow]
Black pegs: 6.
White pegs: 0.

End of Game

但是,在我的情况下,prolog逐个浏览所有可能性的列表但是当我使用guess时(如上所示)它很有用。统一和回溯必定存在问题。首先,我使用初始列表并获得正确的可能结果。然后我拿出第一个结果并让玩家评估它。这是我用于下一个guess的玩家评估的第一个结果,但是存在问题。正如我所看到的,由于回溯是这个结果(回答)重新统一,所以玩家必须逐个浏览列表,无论评估如何。

我认为,如果由玩家评估的回答不会重新统一,那么它应该可行,但我找不到办法。

1 个答案:

答案 0 :(得分:0)

好的,我终于使用保存答案和评估列表中的列表解决了这个问题。然后我只是扩展这些列表并用它来构建更精确的解决方案。