康达，康迪，康德，康德
我正在阅读The Reasoned Schemer. 我对 conde 的工作原理有一些直觉. 然而，我找不到什么conde/conda/condu/condi的正式定义做. 我知道 https://www.cs.indiana.edu/~webyrd/ 但似乎有例子而不是定义. 有没有conde、conda、condi、condu的正式定义? 解决方案 在 Pro
..
reasoned-schemer相关内容
miniKanren:如何定义#s 和#u?
在miniKanren中，succeed可以定义为(define success (== #t #t))，并且可以定义fail如(定义失败(=== #t #f)).但是 #s 和 #u 作为 succeed 和 fail 的简写形式呢，它们出现在 理性策划者? (define #s success) 在 Racket 中产生错误: 欢迎使用 Racket v7.2.>(需要球拍-miniK
..
Racket博士对MiniKanren的支持
我从"The Reasoned Schemer-第二版"和DrRacket方案环境一书开始研究miniKanren. 我安装了"faster-minikanren"软件包，但是该书的第一个示例使用命令run*(例如，(run* q #f))会产生错误消息，例如run*: bad syntax in: (run* q #f). 这是否意味着"faster-minikanren"软件包没有
..