3 ms·

To be fair I always thought MiniKanren was supposed to be more of a tutorial than a full fledged prolog. I once tried my hand at 'porting' it to Mathematica: it

by carlob 8y ago

To be fair I always thought MiniKanren was supposed to be more of a tutorial than a full fledged prolog. I once tried my hand at 'porting' it to Mathematica: it's been mostly an exercise in adapting the semantics rather than the syntax.