3 ms·

Relating to 1), check out miniKanren if you're interested. It's a wonderful piece of software: http://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp http:

by typon 6y ago

Relating to 1), check out miniKanren if you're interested. It's a wonderful piece of software: http://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp http://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp