[Haskell-cafe] Use Haskell to extract GXL representation

[Sara Kenedy]

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.