我正在阅读Reasoned Schemer.
我对如何conde运作有一些直觉.
conde
但是,我找不到conde/ conda/ condu/ condi做什么的正式定义.
conda
condu
condi
我知道https://www.cs.indiana.edu/~webyrd/但似乎有例子而不是定义.
有没有一个正式的定义conde,conda,condi,condu地方？
scheme clojure minikanren clojure-core.logic
clojure ×1
clojure-core.logic ×1
minikanren ×1
scheme ×1