clojure-core.logic

3열

1답변

core.logic에서 natural-number로 실행 *이 작동하지 않는 이유는 무엇입니까?

core.logic의 Peano 산술 응용 프로그램을 GitHub에 가지고 놀고 있습니다. 내가 (run* [q] (natural-number one)) 을하려고하면 Clojure의, 그러나, 오류를 뱉어 의도 한대로 (run 1 [q] (natural-number one)) 는 (_.0)에 성공합니다. 여기에 구현 세부 사항이 있습니까? 편집 :

clojure logic clojure-core.logic 2011-12-19

---