Microkanren in J: an implementation attempt

Scripts

microkanren.ijs a MicroKanren with rank-polymorphic unification

Definitions

A apm, app
C cis, con
D dis
E equ, ext
F fsh
G get
O occ
U uni
V var