LISP回溯

有人可以指导我或解释如何在LISP中执行回溯吗？任何例子或链接将不胜感激。 我确实尝试过谷歌，但是他们没有一个简单的例子让我理解

---

感谢

典型的方法是将不可变状态向下传递到调用堆栈，帮助函数获取当前状态，并将新状态返回到“伪”状态

一个可能的（虽然不是最理想的）数独解算器是：

;;; Use a list of 81 integers to represent a sudoku board,
;;; each number 1-9 represents itself, 0 represents a blank
(defun sudoku-solver (board)
  (cond ((notany #'zerop board)
     (if (sudoku-solved-p board)
         board
         nil))
    (t (let ((positions (sudoku-all-blanks board)))
         (loop for position in positions
          do (loop for number in '(1 2 3 4 5 6 7 8 9)
              do (let ((result (sudoku-solver
                        (sudoku-set board
                            position
                            number))))
                   (when result
                 (return-from sudoku-solver result)))))))))

---

这将自动回溯，直到找到解决方案。我已经跳过了使用支持代码来模糊演示，这将使演示从演示变为实际工作代码。

您想回溯什么？感谢您在一定程度上帮助了我。：）