先广个告，使用中文命名标识符、Python 实现的木兰编程语言重现项目刚挂出了三个悬赏任务，详见 此文，恭候各位。

续 上文，碰壁后试了一下为 教程 编写的 小关实现，发现例程运行就没问题了，已 向教程 repo 反馈。

如教程所言，结果是 #f 和 #t 交替出现：

> (run 9 (啥)
    (let 循环 ()
      (conde
        ((== #f 啥))
        ((== #t 啥))
        ((循环)))))
(#f #t #f #t #f #t #f #t #f)

#f 满足第一个条件，#t 满足第二个，conde 的各个分句互相独立，而第三个分句会重置条件（？），因而会不断获得答案。

下面定义“任何”：

(define 任何
  (lambda (关联)
    (conde
      (关联)
      ((任何 关联)))))

现在不用 let，下面仍为死循环，因为*为无限求答：

> (run* (啥)
  (conde
    ((任何 (== #f 啥)))
    ((== #t 啥))))

限定答案数后，结果如下，#t 只有一次，后续都是 #f。教程里特意说明答案顺序不讲究。

> (run 5 (啥)
  (conde
    ((任何 (== #f 啥)))
    ((== #t 啥))))
(#t #f #f #f #f)

顺便试了这样，就变为交替出现：

> (run 5 (啥)
    (conde
      ((任何 (== #f 啥)))
      ((任何 (== #t 啥)))))
(#f #t #f #t #f)

类似的，这样也是 123 交替循环：

> (run 10 (啥)
    (任何
      (conde
        ((== 1 啥))
        ((== 2 啥))
        ((== 3 啥)))))
(1 2 3 1 2 3 1 2 3 1)

条件嵌套：

> (run 3 (啥)
    (let ((没门 (任何 (== #f #t))))
      (conde
        ((== 1 啥))
        (没门)
        ((conde
           ((== 2 啥))
           (没门)
           ((== 3 啥)))))))
(1 2 3)

如果把 3 改为 4，又会无限循环，因为“没门”会一直寻找不存在的第四个答案。

> (run 4 (啥)
    (let ((没门 (任何 (== #f #t))))
      (conde
        ((== 1 啥))
        (没门)
        ((conde
           ((== 2 啥))
           (没门)
           ((== 3 啥)))))))

另试了一下，下面也是死循环：

(run* (啥)
  (任何 (== #f #t)))

后面半段教程是关于四个限制运算符：=/= symbolo numbero absento。搂了两眼……Scheme+逻辑式先到这吧，哪天蓄够蓝条再继续。