【发布时间】：2014-04-04 15:25:34
【问题描述】：
我正在实现的搜索算法（一个简单的偏序规划器）在每次调用时只有几个选择。理想情况下，我希望它回溯可能性并返回第一个找到的解决方案。
【问题讨论】：
-
1.问题是什么？ 2. 你试过什么？ 3. 计算叉积并将搜索函数映射到列表有什么问题？懒惰会负责返回第一个找到的解决方案。
标签： haskell backtracking non-deterministic
【发布时间】：2014-04-04 15:25:34
【问题描述】：
查看列表 ([]) monad 实例。它通常用于非确定性。
【讨论】：
-
更好的是：LogicT。它在随附的论文中也有一些合适的例子。
-
感谢您的两个回答