[Haskell-cafe] Use Haskell to extract GXL representation

Bulat Ziganshin bulatz at HotPOP.com
Sat Sep 17 04:34:37 EDT 2005

Hello Sara,

Saturday, September 17, 2005, 5:11:23 AM, you wrote:

SK> 1) In my work, I use GXL representation to represent a quantification
SK> (e.g. forall(x:Z|x = 3 and x^2 - 3x + 2 =0))

SK> 2) My objective is to write a Haskell module to extract the content of
SK> the GXL file such that a prover theorem (e.g, ICS) and a computer
SK> algebra system (e.g, Matlab) can read the content of GXL file.

SK> If any of you have experiences or any ideas about the problem, please
SK> share with me.

you may use Parsec module to create parser: http://www.cs.uu.nl/people/daan/download/parsec/parsec.html

Best regards,
 Bulat                            mailto:bulatz at HotPOP.com

More information about the Haskell-Cafe mailing list