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/.