Language.CSPM.TranslateToProlog

Translate a CSPM-specification to Prolog. This is the interface used by Prolog

Documentation

translateToProlog

Arguments

:: FilePath

filename input

-> FilePath

filename output

-> IO ()

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.