logict

Here are 2 public repositories matching this topic...

A continuation-based backtracking logic programming monad

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

haskell logict

To associate your repository with the logict topic, visit your repo's landing page and select "manage topics."