基本上，我正在尝试让一个AI代理根据给定的感知信息在世界中导航。我的问题是如何处理代理的移动。基本上，我创建了 find_action/4，我们将感知信息、动作、当前单元格和代理面对的方向传递给它。目前，完整的代码如下：http://wesnoth.pastebin.com/kdNvzZ6Y

我的问题主要集中在第102到106行。基本上，就目前的形式而言，代码无法正常工作，即使代理实际上是面向右侧的（我已经验证了这一点），也会跳过find_action。这段有问题的代码如下：

% 如果我们向右行驶，左转
find_action([_, _, _, _, _], Action, _, right) :-
    retractall(facing(_)),
    assert(facing(up)),
    Action = turnleft .

但是，经过一些实验，我得出以下结论：

% 如果我们向右行驶，左转
find_action([_, _, _, _, _], Action, _, _) :-
    facing(right),
    retractall(facing(_)),
    assert(facing(up)),
    Action = turnleft .

我不太确定为什么会这样。 我还尝试创建几个相同的find_action，每个都使用facing(_)格式检查不同的方向，但是swipl不喜欢这样做并抛出错误。

回答：

如果第二个变体有效，则说明find_action/4的最后一个参数存在差异。我猜如果你像第一个变体那样在那里放right，它就会停止工作。
我猜你可能通过使用retractall/1和assert/1遇到了一些“魔法”，因为你在这里混淆了回溯。 你的系统具有副作用，因此请确保一旦你在find_action/4上成功，你将切断你的替代方案，或者采取一些对策来恢复动态facing/1从进一步统一中回溯时的初始状态。
尝试在find_action/4之后放置一些跟踪，以查看它是否真的失败，或者它是否在更远的地方失败。