The latest version of CSPM-ToProlog is 0.5.5.0-0.

Language.CSPM.AstToProlog

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?