• parsowanie xml w prologu
• obsługa XSD w prologu
• poczytac: graphviz, RIF

• poczytać…

• translacja HML/ARDML (produkowanego przez VARDA)
• przykład z hekate_case_thermostat therm jako p. odn.
• podejście:
  1. mamy plik ARDML z Vardy (axg.)
  2. parsujemy go w prologu
  3. generujemy bazę wiedzy prologową dla VARDA (ard_att/1, ard_property/1, ard_depend/2, ard_hist/2) (assert(ard_att('Thermostat'))) (czyli to, co dostaniemy po listing(ard_depend),listing(ard_attribute),listing(ard_property),listing(ard_hist).)
  4. generujemy odpowiadający mu plik DOT

http://www.swi-prolog.org/packages/sgml2pl.html load_xml_file(+File, -ListOfContent)

np:

<att name="Thermostat"/> -> assert(ard_att('Thermostat')).

• parsowanie listy

• generowanie prologu

• testy kodu dla varda, po ang, upload do wiki
• XTT i RIF

• sprawozd