Use Haskell to extract GXL representation
Dear you all, Currently, I am working with Haskell and GXL file (Graph eXchange Language). GXL is a sublanguage of XML and its syntax is based on XML DTD. 1) In my work, I use GXL representation to represent a quantification (e.g. forall(x:Z|x = 3 and x^2 - 3x + 2 =0)) 2) My objective is to write a Haskell module to extract the content of the GXL file such that a prover theorem (e.g, ICS) and a computer algebra system (e.g, Matlab) can read the content of GXL file. If any of you have experiences or any ideas about the problem, please share with me. I really appreciate for that.Thanks a lot. Sara.
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@HotPOP.com
participants (2)
-
Bulat Ziganshin -
Sara Kenedy