michaelballantyne / dkanren-1 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from gregr/dkanren
miniKanren variant with a functional syntax, expressing disjunction via pattern matching
License: BSD 2-Clause "Simplified" License