microkanrenst

A port of μkanren logic framework written in Smalltalk, using the Pharo dialect in particular.

Load in a Pharo image with:

Metacello new
    baseline: 'MicroKanren';
    repository: 'github://massimo-nocentini/microkanrenst';
    load.

The companion documentation can be found at https://massimo-nocentini.github.io/microkanrenst/.