Portability	GHC-only
Stability	experimental
Maintainer	fontaine@cs.uni-duesseldorf.de
Safe Haskell	None

Language.CSPM.TranslateToProlog

Description

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

Synopsis

Documentation

toPrologVersion :: Version Source

The version of the CSPM-ToProlog library

translateToProlog Source

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.