jukebox-0.2.4: A first-order reasoning toolbox
Jukebox.TPTP.ParseSnippet
tff :: [(String, Type)] -> [(String, Function)] -> String -> Form Source
cnf :: [(String, Type)] -> [(String, Function)] -> String -> Form Source
form :: Symbolic a => Parser a -> [(String, Type)] -> [(String, Function)] -> String -> a Source