Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Language.CSPM.TranslateToProlog
Description
Translate a CSPM-specification to Prolog. This is the interface used by Prolog
- translateToProlog :: FilePath -> FilePath -> IO ()
Documentation
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.