úÎòƒGHC-only experimentalfontaine@cs.uni-duesseldorf.de&  !"#$%&'()&  !"#$%&'()&    !"#$%&'()GHC-only experimentalfontaine@cs.uni-duesseldorf.de Translate a LModule into a Doc& containing a number of Prolog facts. 8 The LModule must be a renamed,i.e. contain only unique Identifier. the renamed Module  prolog facts *+,-./0123456&Translate a source location to Prolog  Translate a  AstAnnotation with UnqiueIdentifier (i.e. a Symboltable)  into a Doc containing Prolog facts 7DMap the abstract datatype LBuiltIn back to plain Strings for Prolog 8GHC-only experimentalfontaine@cs.uni-duesseldorf.de ( reads a CSPM specification from inFile 2 and writes the Prolog representation to outFile. D It handles all lexer and parser errors and catches all exceptions. filename input filename output 9:;<=>?@ABC      !"#$%&'()*+,-./0123456789:;<=>?@ACSPM-ToProlog-0.4.0.0Language.CSPM.AstToPrologLanguage.CSPM.TranslateToProlog"Language.Prolog.PrettyPrint.Direct cspToPrologmkSrcLoc mkSymbolTabletranslateToPrologCLAUSEclause PREDICATE predicateTERMLISTtermListTERMtermATOMatomQuoteDeclunDeclClauseunClause Predicate unPredicateTermunTermAtomunAtom renderProlognTermaTermpListplVar plWildCardnClause singleClause declGroupplPrg quoteStringplLocatedConstructsmkModulemkPragma mkCommentteeListtpdeclListtd plNameTermplName uniquePlNameplLocbuiltInToString unBuiltInmainWorkshowTime defaultHeader simpleFactmkResult printDebugparseErrorHandlerlexErrorHandlerrenameErrorHandlercatchAllExceptions