ContentsIndex
Shell.Compiler
Portability portable
Stability very experimental
Maintainer egallego@babel.ls.fi.upm.es
Description

Last modified:

Some utilities for compilation management.

Synopsis
compileToProlog :: String -> TransResult Predicate Clause
compileToRelational :: Module Predicate Clause -> TransResult Predicate Relational
compileToRalog :: Module Predicate Relational -> TransResult Predicate Ralog
Produced by Haddock version 0.6