Hacker News new | ask | show | jobs
by ashton314 1837 days ago
Once you have a lisp, implementing microKanren is straight-forward. Just as the lisp and you get the Prolog for free!