Control.Monad.Logic

The Logic monad

type Logic

logic

runLogic

observe

observeMany

observeAll

The LogicT monad transformer

data LogicT m a

runLogicT

observeT

observeManyT

observeAllT