[–] absconditus 13y ago ↗ "Daniel P. Friedman and William E. Byrd demonstrate miniKanren, a simplified version of KANREN - a declarative logic programming system with relations embedded in a pure functional subset of Scheme."
1 comment
[ 3.6 ms ] story [ 9.9 ms ] thread