Comment Comment by asciihacker There is also miniKanren, available as core.logic. parent asciihacker 10 years ago