3 ms·
Be forewarned: MiniKanren has no "not" operator. (I invested a lot of time teaching myself MiniKanren, working through most of "the book" (The Reasoned Schemer)
by Jeff_Brown 8y ago
Be forewarned: MiniKanren has no "not" operator. (I invested a lot of time teaching myself MiniKanren, working through most of "the book" (The Reasoned Schemer), before I found that out.)
- appleflaxen 8y agointeresting detail; is there a reason why it doesn't?
- avhon1 8y agoSome implementations, including Will Byrd's [0], have "=/=" and "absento". This is basically "not". [0] https://github.com/webyrd/faster-miniKanren https://github.com/webyrd/faster-miniKanren