|
|
|
|
|
|
by mattmight
1769 days ago
|
|
|
miniKanren definitely exploits a lot of the syntactic dexterity of Scheme/Racket/Lisp to do some really cool things -- or at least to express them more succinctly. Yes, it is always possible, in fact, since logical arguments can always be rendered as proof trees. |
|
|