jukebox-0.2.20: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Clausify

Documentation

makeOr :: [(Form, Cost)] -> M ([Form], Form, Cost) Source #

cnf :: Form -> [[Literal]] Source #

cross :: [[[Literal]]] -> [[Literal]] Source #

run :: M a -> NameM a Source #

skolemName :: Named a => String -> a -> M Name Source #

withName :: Tag -> M a -> M a Source #