Knowledge base and associated kanren implementation
- http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf
- https://rawgit.com/shd101wyy/logic.js/master/docs/miniKanren.html
- https://github.com/shd101wyy/logic.js/blob/master/lib/logic.js
- https://higherlogics.blogspot.com/2015/02/kanrennet-featherweight-relational.html
- https://github.com/naasking/uKanren.NET/blob/master/uKanren/Kanren.cs
- https://github.com/atennapel/async-kanren/blob/master/src/kanren.ts