logict

There are 0 repository under logict topic.

• Bodigrim / logict

  A continuation-based backtracking logic programming monad

  backtrackinglogic-programminglogictmonad-transformers
  Language:Haskell 78

• dagit / logict-sequence

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

  haskelllogict
  Language:Haskell 9