List Question
16 TechQA 2022-09-22T21:51:20.190000Frame 6:8 - Why do we not get stuck in the recursion?
127 views
Asked by Alper
Frame 2:26 - Why does conso have a strange cube?
88 views
Asked by Alper
Frame 1:85 - Why does a conj2 of disj2 accumulate?
112 views
Asked by Alper
Frame 1:26 - What does q unify with?
86 views
Asked by Alper
Frame 1:33 - How do we unify two lists?
87 views
Asked by Alper
Why is `(,x) a shorthand for (cons x '())?
143 views
Asked by Alper
Clarify search algorithms in different minikanren implementation
363 views
Asked by chansey
Is a "facts database" not a core feature of miniKanren?
791 views
Asked by Anentropic
miniKanren: How to define #s and #u?
325 views
Asked by Flux
How to explain run 5 (x) g0 g1 in The Reasoned Schemer
158 views
Asked by Hualin
MiniKanren support by Dr Racket
781 views
Asked by Schemer
Not understanding The Reasoned Schemer Chapter 5 frame 62
355 views
Asked by Chen Wang
The Reasoned Schemer : Not understanding Exercise 57
331 views
Asked by mpettis
Why does 'The Reasoned Schemer' add an 'o' to the end of its functions?
519 views
Asked by hawkeye
Clojure.logic difference with The Reasoned Schemer
573 views
Asked by Reb.Cabin
conda, condi, conde, condu
3.6k views
Asked by user1383359