| Copyright | (c) Fontaine 2010 - 2011 |
|---|---|
| License | BSD3 |
| Maintainer | fontaine@cs.uni-duesseldorf.de |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.CSPM.TranslateToProlog
Description
Translate a CSPM-specification to Prolog. This is the interface used by Prolog
- toPrologVersion :: Version
- translateToProlog :: FilePath -> FilePath -> IO ()
Documentation
toPrologVersion :: Version Source
The version of the CSPM-ToProlog library
translateToProlog reads a CSPM specification from inFile
and writes the Prolog representation to outFile.
It handles all lexer and parser errors and catches all exceptions.