* [ ] logict - LogicT * [ ] haskell-logic * [ ] monad-logic * [ ] kanren/miniKanren * [ ] microKanren