úÎè†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 +,-./012345&Translate a source location to Prolog  Translate a  AstAnnotation with UnqiueIdentifier (i.e. a Symboltable)  into a Doc containing Prolog facts 6DMap the abstract datatype LBuiltIn back to plain Strings for Prolog 7GHC-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 89:;<=>?@AB      !"#$%&'()*+,-./0123456789:;<=>?@CSPM-ToProlog-0.3.1.0Language.CSPM.AstToPrologLanguage.CSPM.TranslateToProlog"Language.Prolog.PrettyPrint.Direct cspToPrologmkSrcLoc mkSymbolTabletranslateToPrologCLAUSEclause PREDICATE predicateTERMLISTtermListTERMtermATOMatomQuoteDeclunDeclClauseunClause Predicate unPredicateTermunTermAtomunAtom renderProlog quoteStringnTermaTermpListplVar plWildCardnClause singleClause declGroupplPrg escapeQuoteplLocatedConstructsmkModuleteeListtpdeclListtdplName plNameTerm uniquePlNameplLocbuiltInToString unBuiltInmainWorkshowTime defaultHeader simpleFactmkResult printDebugparseErrorHandlerlexErrorHandlerrenameErrorHandlercatchAllExceptions