Control.Monad.Logic
type Logic
logic
runLogic
observe
observeMany
observeAll
data LogicT m a
runLogicT
observeT
observeManyT
observeAllT