Both sides previous revision
Poprzednia wersja
|
|
pl:miw:miw08_prolog_xml:varda_jiprolog [2008/04/29 14:17] miw |
pl:miw:miw08_prolog_xml:varda_jiprolog [2008/04/29 17:20] miw |
===== JIProlog ===== | |
[[http://www.ugosweb.com/jiprolog/index.aspx | JIProlog]] | |
Struktura postaci prologowej jest w postaci zagnieżdżonych termów zaczynając od xml_document i idąc wgłąb xml_element, xml_attribute oraz xml_text. | |
Charakterystyczne dla postaci prologowej są: | |
* **xml_document(Prolog, Root) [[version = V, encoding = E], DocType]** | |
* **xml_element(Name, Attributes, Children)** | |
* **xml_attribute(Name, Value)** | |
* **xml_text(Content)** | |
<code> | |
X= xml_document([[version = 1.0, encoding = UTF-8], [] ], | |
xml_element(hml, [], [xml_text(), | |
xml_element(attribute_set, [], [xml_text(), | |
xml_element(att, [xml_attribute(name, Thermostat)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, Time)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, Temperature)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, Date)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, Hour)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, season)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, operation)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, thermostat_settings)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, day)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, month)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, today)], []), xml_text(), | |
xml_element(att, [xml_attribute(name, hour)], []), xml_text()]), xml_text(), | |
xml_element(property_set, [], [xml_text(), | |
xml_element(property,[xml_attribute(pid, 1)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, Thermostat)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 2)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, Time)], []), xml_text(), | |
xml_element(attref, [xml_attribute(name, Temperature)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 3)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, Time)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 4)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, Temperature)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 5)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, Date)], []), xml_text(), | |
xml_element(attref, [xml_attribute(name, Hour)], []), xml_text(), | |
xml_element(attref, [xml_attribute(name, season)], []), xml_text(), | |
xml_element(attref, [xml_attribute(name, operation)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 6)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, Date)], []), xml_text(), | |
xml_element(attref, [xml_attribute(name, Hour)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 7)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, season)], []), xml_text(), | |
xml_element(attref, [xml_attribute(name, operation)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 8)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, thermostat_settings)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 9)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, season)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 10)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, operation)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 11)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, Date)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 12)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, Hour)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 13)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, day)], []), xml_text(), | |
xml_element(attref, [xml_attribute(name, month)], []), xml_text(), | |
xml_element(attref, [xml_attribute(name, today)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 14)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, month)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 15)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, day)], []), xml_text(), | |
xml_element(attref, [xml_attribute(name, today)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 16)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, day)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 17)], [xml_text(), | |
xml_element(attref, [xml_attribute(name, today)], []), xml_text()]), | |
xml_text(), | |
xml_element(property,[xml_attribute(pid, 18)],[xml_text(), | |
xml_element(attref, [xml_attribute(name, hour)], []), xml_text()]), | |
xml_text()]), | |
xml_text(), | |
xml_element(tph, [], [xml_text(), | |
xml_element(trans,[xml_attribute(dst, 2), xml_attribute(src, 1)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 3), xml_attribute(src, 2)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 4), xml_attribute(src, 2)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 5), xml_attribute(src, 3)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 6), xml_attribute(src, 5)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 7), xml_attribute(src, 5)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 8), xml_attribute(src, 4)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 9), xml_attribute(src, 7)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 10), xml_attribute(src, 7)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 11), xml_attribute(src, 6)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 12), xml_attribute(src, 6)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 13), xml_attribute(src, 11)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 14), xml_attribute(src, 13)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 15), xml_attribute(src, 13)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 16), xml_attribute(src, 15)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 17), xml_attribute(src, 15)], []), xml_text(), | |
xml_element(trans,[xml_attribute(dst, 18), xml_attribute(src, 12)], []), xml_text()]), | |
xml_text(), | |
xml_element(ard, [], [xml_text(), | |
xml_element(dep,[xml_attribute(dependent, 8), xml_attribute(independent, 9)], []), xml_text(), | |
xml_element(dep,[xml_attribute(dependent, 8), xml_attribute(independent, 10)], []), xml_text(), | |
xml_element(dep,[xml_attribute(dependent, 9), xml_attribute(independent, 14)], []), xml_text(), | |
xml_element(dep,[xml_attribute(dependent, 17), xml_attribute(independent, 16)], []), xml_text(), | |
xml_element(dep,[xml_attribute(dependent, 10), xml_attribute(independent, 17)], []), xml_text(), | |
xml_element(dep,[xml_attribute(dependent, 10), xml_attribute(independent, 18)], []), xml_text()])])) | |
</code> | |