Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_prolog_xml:varda_jiprolog [2008/04/29 14:17] miw |
pl:miw:miw08_prolog_xml:varda_jiprolog [2019/06/27 15:50] (aktualna) |
===== JIProlog ===== | ===== JIProlog ===== |
[[http://www.ugosweb.com/jiprolog/index.aspx | 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. | 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ą: | Charakterystyczne dla postaci prologowej są: |
| |
* **xml_document(Prolog, Root) [[version = V, encoding = E], DocType]** | * **xml_document(Prolog, Root) [[version = V, encoding = E], DocType]** |
* **xml_element(Name, Attributes, Children)** | * **xml_element(Name, Attributes, Children)** |
* **xml_attribute(Name, Value)** | * **xml_attribute(Name, Value)** |
* **xml_text(Content)** | * **xml_text(Content)** |
<code> | |
X= xml_document([[version = 1.0, encoding = UTF-8], [] ], | <code prolog> |
xml_element(hml, [], [xml_text(), | X=xml_document([version = 1.0, encoding = UTF-8], [], |
xml_element(attribute_set, [], [xml_text(), | xml_element(hml, [], [xml_text(), |
xml_element(att, [xml_attribute(name, Thermostat)], []), xml_text(), | xml_element(type_set, [], [xml_text()]), xml_text(), |
xml_element(att, [xml_attribute(name, Time)], []), xml_text(), | xml_element(attribute_set, [], [xml_text(), |
xml_element(att, [xml_attribute(name, Temperature)], []), xml_text(), | xml_element(att, [ |
xml_element(att, [xml_attribute(name, Date)], []), xml_text(), | xml_attribute(class, ro), |
xml_element(att, [xml_attribute(name, Hour)], []), xml_text(), | xml_attribute(id, att_0), |
xml_element(att, [xml_attribute(name, season)], []), xml_text(), | xml_attribute(name, Thermostat), |
xml_element(att, [xml_attribute(name, operation)], []), xml_text(), | xml_attribute(value, single)], |
xml_element(att, [xml_attribute(name, thermostat_settings)], []), xml_text(), | []), xml_text(), |
xml_element(att, [xml_attribute(name, day)], []), xml_text(), | xml_element(att, [ |
xml_element(att, [xml_attribute(name, month)], []), xml_text(), | xml_attribute(class, ro), |
xml_element(att, [xml_attribute(name, today)], []), xml_text(), | xml_attribute(id, att_1), |
xml_element(att, [xml_attribute(name, hour)], []), xml_text()]), xml_text(), | xml_attribute(name, Time), |
xml_element(property_set, [], [xml_text(), | xml_attribute(value, single)], |
xml_element(property,[xml_attribute(pid, 1)], [xml_text(), | []), xml_text(), |
xml_element(attref, [xml_attribute(name, Thermostat)], []), xml_text()]), | xml_element(att, [ |
xml_text(), | xml_attribute(class, ro), |
xml_element(property,[xml_attribute(pid, 2)], [xml_text(), | xml_attribute(id, att_2), |
xml_element(attref, [xml_attribute(name, Time)], []), xml_text(), | xml_attribute(name, Temperature), |
xml_element(attref, [xml_attribute(name, Temperature)], []), xml_text()]), | xml_attribute(value, single)], |
xml_text(), | []), xml_text(), |
xml_element(property,[xml_attribute(pid, 3)], [xml_text(), | xml_element(att, [ |
xml_element(attref, [xml_attribute(name, Time)], []), xml_text()]), | xml_attribute(class, ro), |
xml_text(), | xml_attribute(id, att_3), |
xml_element(property,[xml_attribute(pid, 4)], [xml_text(), | xml_attribute(name, Date), |
xml_element(attref, [xml_attribute(name, Temperature)], []), xml_text()]), | xml_attribute(value, single)], |
xml_text(), | []), xml_text(), |
xml_element(property,[xml_attribute(pid, 5)], [xml_text(), | xml_element(att, [ |
xml_element(attref, [xml_attribute(name, Date)], []), xml_text(), | xml_attribute(class, ro), |
xml_element(attref, [xml_attribute(name, Hour)], []), xml_text(), | xml_attribute(id, att_4), |
xml_element(attref, [xml_attribute(name, season)], []), xml_text(), | xml_attribute(name, Hour), |
xml_element(attref, [xml_attribute(name, operation)], []), xml_text()]), | xml_attribute(value, single)], |
xml_text(), | []), xml_text(), |
xml_element(property,[xml_attribute(pid, 6)], [xml_text(), | xml_element(att, [ |
xml_element(attref, [xml_attribute(name, Date)], []), xml_text(), | xml_attribute(class, ro), |
xml_element(attref, [xml_attribute(name, Hour)], []), xml_text()]), | xml_attribute(id, att_5), |
xml_text(), | xml_attribute(name, season), |
xml_element(property,[xml_attribute(pid, 7)], [xml_text(), | xml_attribute(value, single)], |
xml_element(attref, [xml_attribute(name, season)], []), xml_text(), | []), xml_text(), |
xml_element(attref, [xml_attribute(name, operation)], []), xml_text()]), | xml_element(att, [ |
xml_text(), | xml_attribute(class, ro), |
xml_element(property,[xml_attribute(pid, 8)], [xml_text(), | xml_attribute(id, att_6), |
xml_element(attref, [xml_attribute(name, thermostat_settings)], []), xml_text()]), | xml_attribute(name, operation), |
xml_text(), | xml_attribute(value, single)], |
xml_element(property,[xml_attribute(pid, 9)], [xml_text(), | []), xml_text(), |
xml_element(attref, [xml_attribute(name, season)], []), xml_text()]), | xml_element(att, [ |
xml_text(), | xml_attribute(class, ro), |
xml_element(property,[xml_attribute(pid, 10)], [xml_text(), | xml_attribute(id, att_7), |
xml_element(attref, [xml_attribute(name, operation)], []), xml_text()]), | xml_attribute(name, thermostat_settings), |
xml_text(), | xml_attribute(value, single)], |
xml_element(property,[xml_attribute(pid, 11)], [xml_text(), | []), xml_text(), |
xml_element(attref, [xml_attribute(name, Date)], []), xml_text()]), | xml_element(att, [ |
xml_text(), | xml_attribute(class, ro), |
xml_element(property,[xml_attribute(pid, 12)], [xml_text(), | xml_attribute(id, att_8), |
xml_element(attref, [xml_attribute(name, Hour)], []), xml_text()]), | xml_attribute(name, day), |
xml_text(), | xml_attribute(value, single)], |
xml_element(property,[xml_attribute(pid, 13)], [xml_text(), | []), xml_text(), |
xml_element(attref, [xml_attribute(name, day)], []), xml_text(), | xml_element(att, [ |
xml_element(attref, [xml_attribute(name, month)], []), xml_text(), | xml_attribute(class, ro), |
xml_element(attref, [xml_attribute(name, today)], []), xml_text()]), | xml_attribute(id, att_9), |
xml_text(), | xml_attribute(name, month), |
xml_element(property,[xml_attribute(pid, 14)], [xml_text(), | xml_attribute(value, single)], |
xml_element(attref, [xml_attribute(name, month)], []), xml_text()]), | []), xml_text(), |
xml_text(), | xml_element(att, [ |
xml_element(property,[xml_attribute(pid, 15)], [xml_text(), | xml_attribute(class, ro), |
xml_element(attref, [xml_attribute(name, day)], []), xml_text(), | xml_attribute(id, att_10), |
xml_element(attref, [xml_attribute(name, today)], []), xml_text()]), | xml_attribute(name, today), |
xml_text(), | xml_attribute(value, single)], |
xml_element(property,[xml_attribute(pid, 16)], [xml_text(), | []), xml_text(), |
xml_element(attref, [xml_attribute(name, day)], []), xml_text()]), | xml_element(att, [ |
xml_text(), | xml_attribute(class, ro), |
xml_element(property,[xml_attribute(pid, 17)], [xml_text(), | xml_attribute(id, att_11), |
xml_element(attref, [xml_attribute(name, today)], []), xml_text()]), | xml_attribute(name, hour), |
xml_text(), | xml_attribute(value, single)], |
xml_element(property,[xml_attribute(pid, 18)],[xml_text(), | []), xml_text() |
xml_element(attref, [xml_attribute(name, hour)], []), xml_text()]), | ]), xml_text(), |
xml_text()]), | xml_element(property_set, [], [xml_text(), |
xml_text(), | xml_element(property, [xml_attribute(id, prp_0)],[xml_text(), |
xml_element(tph, [], [xml_text(), | xml_element(attref, [xml_attribute(ref, att_0)], []), xml_text() |
xml_element(trans,[xml_attribute(dst, 2), xml_attribute(src, 1)], []), xml_text(), | ]), xml_text(), |
xml_element(trans,[xml_attribute(dst, 3), xml_attribute(src, 2)], []), xml_text(), | xml_element(property, [xml_attribute(id, prp_1)], [xml_text(), |
xml_element(trans,[xml_attribute(dst, 4), xml_attribute(src, 2)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_1)], []), xml_text(), |
xml_element(trans,[xml_attribute(dst, 5), xml_attribute(src, 3)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_2)], []), xml_text() |
xml_element(trans,[xml_attribute(dst, 6), xml_attribute(src, 5)], []), xml_text(), | ]), xml_text(), |
xml_element(trans,[xml_attribute(dst, 7), xml_attribute(src, 5)], []), xml_text(), | xml_element(property, [xml_attribute(id, prp_2)], [xml_text(), |
xml_element(trans,[xml_attribute(dst, 8), xml_attribute(src, 4)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_1)], []), xml_text() |
xml_element(trans,[xml_attribute(dst, 9), xml_attribute(src, 7)], []), xml_text(), | ]), xml_text(), |
xml_element(trans,[xml_attribute(dst, 10), xml_attribute(src, 7)], []), xml_text(), | xml_element(property, [xml_attribute(id, prp_3)], [xml_text(), |
xml_element(trans,[xml_attribute(dst, 11), xml_attribute(src, 6)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_2)], []), xml_text() |
xml_element(trans,[xml_attribute(dst, 12), xml_attribute(src, 6)], []), xml_text(), | ]), xml_text(), |
xml_element(trans,[xml_attribute(dst, 13), xml_attribute(src, 11)], []), xml_text(), | xml_element(property, [xml_attribute(id, prp_4)], [xml_text(), |
xml_element(trans,[xml_attribute(dst, 14), xml_attribute(src, 13)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_3)], []), xml_text(), |
xml_element(trans,[xml_attribute(dst, 15), xml_attribute(src, 13)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_4)], []), xml_text(), |
xml_element(trans,[xml_attribute(dst, 16), xml_attribute(src, 15)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_5)], []), xml_text(), |
xml_element(trans,[xml_attribute(dst, 17), xml_attribute(src, 15)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_6)], []), xml_text() |
xml_element(trans,[xml_attribute(dst, 18), xml_attribute(src, 12)], []), xml_text()]), | ]), xml_text(), |
xml_text(), | xml_element(property, [xml_attribute(id, prp_5)], [xml_text(), |
xml_element(ard, [], [xml_text(), | xml_element(attref, [xml_attribute(ref, att_3)], []), xml_text(), |
xml_element(dep,[xml_attribute(dependent, 8), xml_attribute(independent, 9)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_4)], []), xml_text() |
xml_element(dep,[xml_attribute(dependent, 8), xml_attribute(independent, 10)], []), xml_text(), | ]), xml_text(), |
xml_element(dep,[xml_attribute(dependent, 9), xml_attribute(independent, 14)], []), xml_text(), | xml_element(property, [xml_attribute(id, prp_6)], [xml_text(), |
xml_element(dep,[xml_attribute(dependent, 17), xml_attribute(independent, 16)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_5)], []), xml_text(), |
xml_element(dep,[xml_attribute(dependent, 10), xml_attribute(independent, 17)], []), xml_text(), | xml_element(attref, [xml_attribute(ref, att_6)], []), xml_text() |
xml_element(dep,[xml_attribute(dependent, 10), xml_attribute(independent, 18)], []), xml_text()])])) | ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_7)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_7)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_8)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_5)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_9)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_6)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_10)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_3)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_11)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_4)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_12)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_8)], []), xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_9)], []), xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_10)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_13)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_9)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_14)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_8)], []), xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_10)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_15)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_8)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_16)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_10)], []), xml_text() |
| ]), xml_text(), |
| xml_element(property, [xml_attribute(id, prp_17)], [xml_text(), |
| xml_element(attref, [xml_attribute(ref, att_11)], []), xml_text() |
| ]), xml_text() |
| ]), xml_text(), |
| xml_element(tph, [], [xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_1), xml_attribute(src, prp_0)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_2), xml_attribute(src, prp_1)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_3), xml_attribute(src, prp_1)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_4), xml_attribute(src, prp_2)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_5), xml_attribute(src, prp_4)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_6), xml_attribute(src, prp_4)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_7), xml_attribute(src, prp_3)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_8), xml_attribute(src, prp_6)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_9), xml_attribute(src, prp_6)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_10), xml_attribute(src, prp_5)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_11), xml_attribute(src, prp_5)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_12), xml_attribute(src, prp_10)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_13), xml_attribute(src, prp_12)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_14), xml_attribute(src, prp_12)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_15), xml_attribute(src, prp_14)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_16), xml_attribute(src, prp_14)], []), xml_text(), |
| xml_element(trans, [xml_attribute(dst, prp_17), xml_attribute(src, prp_11)], []), xml_text() |
| ]), xml_text(), |
| xml_element(ard, [], [xml_text(), |
| xml_element(dep, [xml_attribute(dependent, prp_7), xml_attribute(independent, prp_8)], []), xml_text(), |
| xml_element(dep, [xml_attribute(dependent, prp_7), xml_attribute(independent, prp_9)], []), xml_text(), |
| xml_element(dep, [xml_attribute(dependent, prp_8), xml_attribute(independent, prp_13)], []), xml_text(), |
| xml_element(dep, [xml_attribute(dependent, prp_16), xml_attribute(independent, prp_15)], []), xml_text(), |
| xml_element(dep, [xml_attribute(dependent, prp_9), xml_attribute(independent, prp_16)], []), xml_text(), |
| xml_element(dep, [xml_attribute(dependent, prp_9), xml_attribute(independent, prp_17)], []), xml_text() |
| ]) |
| ])) |
</code> | </code> |