| ||||||||
| ||||||||
Description | ||||||||
Last modified: Some utilities for compilation management. | ||||||||
Documentation | ||||||||
compileToProlog :: String -> TransResult Predicate (Clause String) | ||||||||
compileToRelational :: Module Predicate (Clause String) -> TransResult Predicate Relational | ||||||||
compileToRalog :: Module Predicate Relational -> TransResult Predicate Ralog | ||||||||
queryToRelational :: Clause String -> Relational | ||||||||
compileQuery :: String -> Either TransError (Clause String) | ||||||||
Produced by Haddock version 0.8 |