0

我试图通过计算玩家和列来检查游戏中的偶数/奇数玩家和偶数/奇数列。在某些时候，似乎我没有正确实例化我的变量。我是这样称呼这款游戏的：

playGame(Game):- 
    countPlayers(Game,TotalPlayers),
    colSize(Game,TotalCols),
    checkEvens(TotalPlayers,TotalCols);
    checkOdds(TotalPlayers,TotalCols).

我认为问题在于未正确分配 TotalPlayers 和 TotalCols。

我尝试查看其他问题，但问题似乎有所不同。我是 prolog 的新手，很可能在某个地方犯了一个小错误。

经过一些跟踪，当输入奇数/偶数的组合时，似乎会导致错误。给定两个偶数或两个奇数的输入，程序按预期运行。给定一个奇数和一个偶数的输入，它会中断。

完整错误：

ERROR: Arguments are not sufficiently instantiated
ERROR: In:
ERROR:   [11] 1 is _34862 mod 2
ERROR:   [10] checkOdds(_34894,_34896)
4

1 回答 1

2 
?- X = 3, between(1, X, 2), between(1, X, 3).
X = 3.

?- X = 3, between(1, X, 2); between(1, X, 3).
X = 3 ;
ERROR: Arguments are not sufficiently instantiated
ERROR: In:
ERROR:    [9] between(1,_7656,3)
ERROR:    [7] <user>
ERROR: 
ERROR: Note: some frames are missing due to last-call optimization.
ERROR: Re-run your program in debug mode (:- debug.) to get more detail.

你能看出发生了什么吗？

像这样的谓词：

foo :- a, b; c.

与以下内容相同：

foo :- a, b.
foo :- c.

换句话说，a, b确实与c.

通常，你的意思是说a, (b ; c)。这就是为什么;通常把它放在行的开头，并且你确实在它周围使用了括号。所以它要么是

(   a,
    b
;   c
)

或者

a,
(   b
;   c
)

（这不是一回事！）

这绝对令人困惑：

a,
b;
c

你看不到这样写的“好的”Prolog 代码（比如库代码）。

但实际上，尝试阅读教科书或其他东西，Stackoverflow 有助于找出错误在哪里，但不适用于真正的学习。

于 2017-04-21T22:48:29.540 回答