"E;      !"#$%&'()*+,-./0123456789:Safe ;<=>?@ABCDEFG<BCDEFG ;<=>?@ABCDEFG(c) Fontaine 2010 - 2011BSD3fontaine@cs.uni-duesseldorf.de experimentalGHC-onlySafe9;:HIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~&HIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklm*HIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~(c) Fontaine, Dobrikov 2011BSD3fontaine@cs.uni-duesseldorf.de experimentalGHC-onlyNone Translate a LModule into a Doc^ containing a number of Prolog facts. The LModule must be a renamed,i.e. contain only unique Identifier.%Translate a source location to Prolog Translate a  AstAnnotation with UnqiueIdentifier (i.e. a Symboltable) into a Doc containing Prolog factsCMap the abstract datatype LBuiltIn back to plain Strings for Prologthe renamed Module prolog facts(c) Fontaine 2012BSD3Fontaine@cs.uni-duesseldorf.de experimentalGHC-onlyNone69:;QR?  !"#$%&'()*+,-./012345678;  !"#$%&'()*+,-./012345678(c) Fontaine 2010 - 2011BSD3fontaine@cs.uni-duesseldorf.de experimentalGHC-onlyNoneT9(The version of the CSPM-ToProlog library:: reads a CSPM specification from inFile and writes the Prolog representation to outFile. It handles all lexer and parser errors and catches all exceptions. 9:filename inputfilename output9:9: 9:      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXXYYZ[[\]]^__`aabcdefghijklmnopqrstuvwxyz{|}~W,CSPM-ToProlog-0.5.5.0-1JxJw9qd6qp9uCLlaTmIqw Language.CSPM.CompileAstToPrologLanguage.CSPM.AstToPrologLanguage.CSPM.TranslateToPrologPaths_CSPM_ToProlog"Language.Prolog.PrettyPrint.Direct cspToPrologmkSrcLoc mkSymbolTabletoProlog$fGTPLU1$fGTPU1$fGTPLV1$fGTPV1$fGTPLK1$fGTPK1$fGTPLM1$fGTPM1 $fGTPLM10$fGTPM10 $fGTPLM11$fGTPM11 $fGTPL:+:$fGTP:+: $fGTPL:*:$fGTP:*:$fTPUniqueIdent $fTPSelector $fTPFunCase $fTPConst$fTPBool $fTPIntMap $fTPArray$fTPInt $fTPInteger$fTP(,) $fTPMaybe$fTP[]$fTP[]0 $fTPSrcLoc $fTPComment $fTPModule $fTPLFdrExt$fTPLFDRModels$fTPLTauRefineOp $fTPLRefineOp$fTPL[]$fTPLCommField $fTPLBuiltIn $fTPLLink $fTPLRename $fTPLLinkList $fTPLCompGen $fTPLRange $fTPLTypeDef$fTPLConstructor$fTPLAssertDecl$fTPLUniqueIdent$fTPLExp $fTPLPattern $fTPLIdent $fTPLDecl $fTPLabeledtoPrologVersiontranslateToPrologcatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameCLAUSEclause PREDICATE predicateTERMLISTtermListTERMtermATOMatomQuoteDeclunDeclClauseunClause Predicate unPredicateTermunTermAtomunAtom renderProlognTermaTermpListplVar plWildCardnClause singleClause declGroupplPrg quoteString $fCLAUSEp$fCLAUSEClause $fPREDICATEt$fPREDICATEPredicate $fTERMLISTt$fTERMLIST(,,,,,,)$fTERMLIST(,,,,,)$fTERMLIST(,,,,)$fTERMLIST(,,,)$fTERMLIST(,,) $fTERMLIST(,) $fTERMLIST[] $fTERMAtom $fTERMTerm $fATOMQuote $fATOMDouble $fATOMInt $fATOMInteger$fATOM[] $fATOMAtombuiltInToStringplLocatedConstructsmkModulemkPragma mkCommentteeListtpdeclListtd plNameTermplName uniquePlNameplLoc unBuiltInTPLtplTPGTPLgtplGTPgtpmainWorkshowTime defaultHeader simpleFactmkResult printDebugparseErrorHandlerlexErrorHandlerrenameErrorHandlercatchAllExceptions