Language.CSPM.CompileAstToProlog

cspToProlog

mkSymbolTable

mkSrcLoc