5 ms·
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 succinct
by mattmight 5y 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.