knowledge-core

Knowledge base and associated kanren implementation

References

• 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