[Haskell-cafe] How to call ICS from Haskell

Hello everybody, Do you know how to call ICS (Integrated Canonizer and Solver: www.icansolve.com http://www.icansolve.com) or PVS (Prototype Verification System) from Haskell ? Thank you in advance.