Language.CSPM.AstToProlog