Hacker News new | ask | show | jobs
by cblop 3119 days ago
MiniKanren is an embeddable language for logic programming, with implementations in a wide variety of languages: http://minikanren.org/