Updated XML input schema, changing vertex attribute to a complex type (name and value) for easier use on prolog.
Updated display modes to consider collapsed vertices (vertex that are treated as graphs)
Added prolog facts for sdm example.
Added prolog basic rules for inferences
Updated input.xml to reflect the changed in input.xsd
Refactored XMLReader.java to be compatible with the changes in input.xsd