4 ms·
MicroKanren: logic programming in roughly 30 loc in any language with first-class functions. Can’t find original pub; here’s someone’s host of the original pap
by ashton314 4y ago
MicroKanren: logic programming in roughly 30 loc in any language with first-class functions.
Can’t find original pub; here’s someone’s host of the original paper though:
http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf