Language.CSPM.TranslateToProlog