There are 0 repository under logict topic.
A continuation-based backtracking logic programming monad
A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper