Logic Programming on Massimo Nocentinihttps://massimo-nocentini.github.io/categories/logic-programming/Recent content in Logic Programming on Massimo NocentiniHugoen-USWed, 21 Oct 2026 10:28:00 +0200The (aux kanren) moduleshttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-kanren/Wed, 21 Oct 2026 10:28:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-kanren/The (aux hansei) moduleshttps://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-hanseitest/Thu, 05 Feb 2026 10:01:03 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-hanseitest/The Reasoned Schemerhttps://massimo-nocentini.github.io/post/the-reasoned-schemer/Fri, 09 Mar 2018 10:02:03 +0100Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, Jason Hemannhttps://massimo-nocentini.github.io/post/the-reasoned-schemer/miniKanren, live and untaggedhttps://massimo-nocentini.github.io/post/minikanren-live-and-untagged/Sun, 09 Sep 2012 18:33:23 +0100William E. Byrd, Eric Holk, Daniel P. Friedmanhttps://massimo-nocentini.github.io/post/minikanren-live-and-untagged/Aggregation predicates for µkanrenhttps://massimo-nocentini.github.io/post/microkanren-aggregators/Sun, 09 Sep 2012 18:33:23 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/microkanren-aggregators/Pure, declarative, and constructive arithmetic relationshttps://massimo-nocentini.github.io/post/microkanren-arithmetic/Mon, 14 Apr 2008 18:33:23 +0100William E. Byrd, Oleg Kiselyov, Daniel P. Friedman, Chung-Chieh Shanhttps://massimo-nocentini.github.io/post/microkanren-arithmetic/