ContentsIndex
Shell.Compiler
Portabilityportable
Stabilityvery experimental
Maintaineregallego@babel.ls.fi.upm.es
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