--- pl:miw:miw2008_xtt_xmlpro [2008/06/03 18:26]
miw
+++ pl:miw:miw2008_xtt_xmlpro [2008/06/16 18:10]
miw
@@ Linia 1: / Linia 1: @@
-====== Opis ======
-Maksymilian Imioło    <maximiolo@o2.pl>
-Translacja XTTML do innych formatów z użyciem Prologu.
-====== Spotkania ======
-===== 08.03.04 =====
-  * parsowanie xml w prologu
-  * obsługa XSD w prologu
-  * poczytac: graphviz, RIF
-===== 080318 =====
-  * poczytać...
-===== 080408 =====
-  * translacja [[hekate:hekate_markup_language|HML/ARDML]] (produkowanego przez [[hekate:VARDA]])
-  * przykład z [[hekate:hekate_case_thermostat]] therm jako p. odn.
-  * podejście:
-    - mamy plik ARDML z Vardy (axg.)
-    - parsujemy go w prologu
-    - 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).)
-    - 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')).
-===== 080415 =====
-  * parsowanie listy
-===== 080422 =====
-  * generowanie prologu
-===== 080603 =====
-  * testy kodu dla varda, po ang, upload do wiki
-  * [[pl:miw:miw08_xtt_rif|XTT i RIF]]
-===== 080610 =====
-  * sprawozd
-====== Projekt ======
-====== Sprawozdanie ======
-====Ogólny opis problemu====
-Celem jest przetworzenie pliku xml produkowanego przez Varde [[hekate:hekate_case_thermostat|Thermostat]] do postaci, w której
-widzimy bezpośrednie zależności pomiedzy elementami.
-====Thermostat====
-Wczytując plik wyprodukowany przez Varde "ard.xml" load_xml_file('ard.xml',X),A=..X,assertz(A),write(A) i otrzymuję:
-<code prolog>
-element(hml, [], [
-    , element(attribute_set, [], [
-        , element(att, [name=Thermostat], []),
-        , element(att, [name=Time], []),
-        , element(att, [name=Temperature], []),
-        , element(att, [name=Date], []),
-        , element(att, [name=Hour], []),
-        , element(att, [name=season], []),
-        , element(att, [name=operation], []),
-        , element(att, [name=thermostat_settings], []),
-        , element(att, [name=day], []),
-        , element(att, [name=month], []),
-        , element(att, [name=today], []),
-        , element(att, [name=hour], []),
-    ]),
-    , element(property_set, [], [
-        , element(property, [pid=1], [
-            , element(attref, [name=Thermostat], []),
-        ]),
-        , element(property, [pid=2], [
-            , element(attref, [name=Time], []),
-            , element(attref, [name=Temperature], []),
-        ]),
-        , element(property, [pid=3], [
-            , element(attref, [name=Time], []),
-        ]),
-        , element(property, [pid=4], [
-            , element(attref, [name=Temperature], []),
-        ]),
-        , element(property, [pid=5], [
-            , element(attref, [name=Date], []),
-            , element(attref, [name=Hour], []),
-            , element(attref, [name=season], []),
-            , element(attref, [name=operation], []),
-        ]),
-        , element(property, [pid=6], [
-            , element(attref, [name=Date], []),
-            , element(attref, [name=Hour], []),
-        ]),
-        , element(property, [pid=7], [
-            , element(attref, [name=season], []),
-            , element(attref, [name=operation], []),
-        ]),
-        , element(property, [pid=8], [
-            , element(attref, [name=thermostat_settings], []),
-        ]),
-        , element(property, [pid=9], [
-            , element(attref, [name=season], []),
-        ]),
-        , element(property, [pid=10], [
-            , element(attref, [name=operation], []),
-        ]),
-        , element(property, [pid=11], [
-            , element(attref, [name=Date], []),
-        ]),
-        , element(property, [pid=12], [
-            , element(attref, [name=Hour], []),
-        ]),
-        , element(property, [pid=13], [
-            , element(attref, [name=day], []),
-            , element(attref, [name=month], []),
-            , element(attref, [name=today], []),
-        ]),
-        , element(property, [pid=14], [
-            , element(attref, [name=month], []),
-        ]),
-        , element(property, [pid=15], [
-            , element(attref, [name=day], []),
-            , element(attref, [name=today], []),
-        ]),
-        , element(property, [pid=16], [
-            , element(attref, [name=day], []),
-        ]),
-        , element(property, [pid=17], [
-            , element(attref, [name=today], []),
-        ]),
-        , element(property, [pid=18], [
-            , element(attref, [name=hour], []),
-        ]),
-    ]),
-    , element(tph, [], [
-        , element(trans, [src=1, dst=2], []),
-        , element(trans, [src=2, dst=3], []),
-        , element(trans, [src=2, dst=4], []),
-        , element(trans, [src=3, dst=5], []),
-        , element(trans, [src=5, dst=6], []),
-        , element(trans, [src=5, dst=7], []),
-        , element(trans, [src=4, dst=8], []),
-        , element(trans, [src=7, dst=9], []),
-        , element(trans, [src=7, dst=10], []),
-        , element(trans, [src=6, dst=11], []),
-        , element(trans, [src=6, dst=12], []),
-        , element(trans, [src=11, dst=13], []),
-        , element(trans, [src=13, dst=14], []),
-        , element(trans, [src=13, dst=15], []),
-        , element(trans, [src=15, dst=16], []),
-        , element(trans, [src=15, dst=17], []),
-        , element(trans, [src=12, dst=18], []),
-    ]),
-    , element(ard, [], [
-        , element(dep, [independent=9, dependent=8], []),
-        , element(dep, [independent=10, dependent=8], []),
-        , element(dep, [independent=14, dependent=9], []),
-        , element(dep, [independent=16, dependent=17], []),
-        , element(dep, [independent=17, dependent=10], []),
-        , element(dep, [independent=18, dependent=10], []),
-    ]),
-])
-</code>
-Natomiast za pomocą element(hml,B,X) otrzymuję:
-<code prolog>
-B = [],
-X = ['\n    ', element(attribute_set, [], ['\n        ',
- element(att, [name='Thermostat'], []), '\n        ', element(att, [... =...], []),
-'\n        ', element(..., ..., ...)|...]), '\n    ', element(property_set, [],
-['\n        ', element(property, [... =...], ['\n            '|...]), '\n        ',
- element(..., ..., ...)|...]), '\n    ', element(tph, [], ['\n        ',
-element(..., ..., ...)|...]), '\n    ', element(ard, [], [...|...]), '\n']
-</code>
-====Napotkane problemy====
-W pliku mamy znaczniki nowej lini np:('\n','\n    ','\n  ') bez ich usunięcia nie można dotrzeć do wnętrza pliku.
-Korzystajac z "usun"
-<code prolog>
-usun(X,[X|Reszta],Reszta).
-    usun(X,[Y|Ogon],[Y|Reszta]) :-
-	usun(X,Ogon,Reszta).
-</code>
-nie daje oczekiwanych efektów.
-element(hml,X,C),usun('\n',C,B),write(B). nie usuwa wszystkich znaków lecz tylko ostatni.
-http://www.swi-prolog.org/packages/sgml2pl.html#sec:sec-3.1
-http://www.swi-prolog.org/packages/sgml2pl.html#sec:space
-  space(sgml) In SGML, newlines at the start and end of an element are removed.2 This is the default mode for the SGML dialect.
-  space(default) In addition to sgml space-mode, all consequtive white-space is reduced to a single space-character. This mode canonises all white space.
-Za pomocą poniższego kodu ładuję plik usuwając spacje oraz znaczniki końca lini:
-<code prolog>
-load_structure('ard.xml',X,[space(remove),dialect(xml)]),Z=..X,assertz(Z).
-</code>
-Zapis:
-<code prolog>
-tell('ardII.xml'),write('<?xml version="1.0" encoding="utf-8"?>'),
-listing(ard_att),listing(ard_property),
-listing(ard_hist),listing(ard_depend),told.
-</code>
-====Varda wersja 0====
-W poniższym kodzie rozkładam liste oraz tworze odpowiednik w prologu:
-<code prolog>
-%%%%%%%%%%%%%%%%%%%%% Load%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-a:-
- load_structure('ard.xml',X,[space(remove),dialect(xml)]),Z=..X,assertz(Z),element(hml,_,A),
- checkAtt(A),checkProp(A),checkHist(A),checkDepend(A),show,zapisz.
- %%%%%%%%%%%% Wyswietl%%%%%%%%%%%%%%%
-  show:-
-  listing(ard_att),listing(ard_property),listing(ard_hist),listing(ard_depend).
-%%%%%%%%%%%%%%%%%%%%%%%%%%% Zapis%%%%%%%%%%%%%%%%%%%%%%
-	zapisz:-
-	tell('ardII.xml'),write('<?xml version="1.0" encoding="utf-8"?>'),
-	listing(ard_att),listing(ard_property),listing(ard_hist),
-	listing(ard_depend),told.
-%%%%%%%%%%%%%%%%%%%%% Attribute_set%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- checkAtt(A):-
- nalezy(element(attribute_set,_,L),A),
- dlugosc(L,Dl1),wyswietlAtt(L,Dl1,0).
- wyswietlAtt(Ll1,0,Dl).
- wyswietlAtt(Ll1,D1,Dl):-
- D1>0,
- NewDlu is D1-1,
-usun1(Dl,Ll1,element(att,[name=ZX],[])),
-assert(ard_att(ZX)),
-DlNew is Dl+1,
-wyswietlAtt(Ll1,NewDlu,DlNew).
- %%%%%%%%%%%%%%%%%%%%% Property_set%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- checkProp(A):-
- nalezy(element(property_set,_,L2),A),
- dlugosc(L2,D2),
- assert(zobacz(ListaGlob)),
- wyswietlProp(L2,D2,0).
- wyswietlProp(L2,0,Dl2).
- wyswietlProp(L2,D2,Dl2):-
- D2>0,
- NewDlu2 is D2-1,
-usun1(Dl2,L2,element(property,_,C)),
-dlugosc(C,CA),
-wypiszProp(CA,C,[]),pamiec(Lista),assert(ard_property(Lista)),
-zobacz(ListaGlob),dodaj(ListaGlob,Lista,ListaGlob2),
-retractall(zobacz(_)),
-assert(zobacz(ListaGlob2)),
-retractall(pamiec(_)),
-DlNew2 is Dl2+1,
-wyswietlProp(L2,NewDlu2,DlNew2).
-wypiszProp(0,L,Lista).
-wypiszProp(CA,[J1|L1],Lel):-
-CA>0,
-CNew is CA-1,
-pokazPierwszy(J1,element(attref, [name=Bb], [])),
-dodaj(Lel,Bb,Lista1),
-retractall(pamiec(_)),
-assert(pamiec(Lista1)),
-wypiszProp(CNew,L1,Lista1).
-pokazPierwszy(L,L).
- %%%%%%%%%%%%%%%%%%%%% Hist_set%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- checkHist(A):-
- nalezy(element(tph,_,L1),A),
- dlugosc(L1,D1),wyswietlHist(L1,D1,0).
- wyswietlHist(L1,0,Dl).
- wyswietlHist(L1,D1,Dl):-
- D1>0,
- NewDlu is D1-1,
-usun1(Dl,L1,element(trans,[src=Zrodlo,dst=Destination],[])),
-sprawdz(Zrodlo,Destination,Z,D),assert(ard_hist(Z,D)),
-DlNew is Dl+1,
-wyswietlHist(L1,NewDlu,DlNew).
-%%%%%%%%%%%%%% pobrac src i dest%%%%%%%%%%
- sprawdz(Zr,De,Zrod,Dest):-
- atom_number(Zr,Zrr),
- atom_number(De,Dee),
- zobacz(Wszystkie),
- wyswietlPropert(Wszystkie,Zrr,Zrod),
- wyswietlPropert(Wszystkie,Dee,Dest).
- wyswietlPropert(Wszystkie,1,Wyjscie):-
- usun1(0,Wszystkie,Wyjscie).
- wyswietlPropert(Wszystkie,Miejsce,Wyjscie):-
- usun1(Miejsce-1,Wszystkie,Wyjscie).
- %%%%%%%%%%%%%%%%%%%%% Depend_set%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-  checkDepend(A):-
- nalezy(element(ard,_,L1),A),
- dlugosc(L1,D1),wyswietlDepe(L1,D1,0).
- wyswietlDepe(L1,0,Dl).
- wyswietlDepe(L1,D1,Dl):-
- D1>0,
- NewDlu is D1-1,
-usun1(Dl,L1,element(dep,[independent=Ind,dependent=Dep],[])),
-sprawdzDep(Ind,Dep,Indep,Depen),assert(ard_depend(Indep,Depen)),
-DlNew is Dl+1,
-wyswietlDepe(L1,NewDlu,DlNew).
-%%%%%%%%%%%%%% pobrac independent i dependent%%%%%%%%%%%%%%
- sprawdzDep(In,De,InOut,DeOut):-
- atom_number(In,Inn),
- atom_number(De,Depe),
- zobacz(Wszystkie),
- wyswietlDependent(Wszystkie,Inn,InOut),
- wyswietlDependent(Wszystkie,Depe,DeOut).
- wyswietlDependent(Wszystkie,1,Wyjscie):-
- usun1(0,Wszystkie,Wyjscie).
- wyswietlDependent(Wszystkie,Miejsce,Wyjscie):-
- usun1(Miejsce-1,Wszystkie,Wyjscie).
- %%%%%%%%%%%%%%%%%%%%%%%%%%%  Pozostałe %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-nalezy(X,[X|_]).
-nalezy(X,[_|Yogon]) :-
-	nalezy(X,Yogon).
-dlugosc([],0).
-dlugosc([_|Ogon],Dlug) :-
-	dlugosc(Ogon,X),
-	Dlug is X+1.
-usun1(0,[F|_],F).
-usun1(Poz,[_|Xx],W):-
-Poz>0,
-PozNew is Poz-1,
-usun1(PozNew,Xx,W).
- dodaj([],X,[X]).
- dodaj([G|O],X,[G|R]):-
-		dodaj(O,X,R).
-</code>
-Plik do parsowania: {{:pl:miw:ard-vardy.xml|:pl:miw:ard-vardy.xml}}
-====Varda wersja 1====
-Translator można uruchomić na kilka sposobów:
-
-Załadować plik źródłowy i wpisać : translate('Source.xml','Destination.xml').
-Otrzymamy wydruk na ekranie monitora oraz, zapis do wskazanego pliku.
-
- Załadować plik źródłowy i wpisać : translate('Source.xml').
-Otrzymamy wydruk na ekranie monitora, jeśli będziemy chcieli zapisać do pliku to należy
-wpisać: save('Destination.xml').
-
- Można połączyć translator bezpośrednio z vardą umieszczając odpowiedni wpis w pliku "VARDA.pl",
-":-ensure_loaded('varda_pl2xml').", dzięki temu no załadowaniu vardy i wygenerowaniu pliku przy pomocy axg,
-możemy bezpośrednio translatować xml.
-<code prolog>
-%%%%%%%%%%%%%%%%%%%%% Load%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-translate(Source,Dest):-
-	load_structure(Source,X,[space(remove),dialect(xml)]),Z=..X,assertz(Z),element(hml,_,A),
-	checkAtt(A),checkProperty(A),checkHistory(A),checkDepend(A),show,save(Dest).
-translate(Source):-
-	load_structure(Source,X,[space(remove),dialect(xml)]),Z=..X,assertz(Z),element(hml,_,A),
-	checkAtt(A),checkProperty(A),checkHistory(A),checkDepend(A),show.
-%%%%%%%%%%%% Wyswietl%%%%%%%%%%%%%%%
-show:-
-	listing(ard_att),listing(ard_property),listing(ard_hist),listing(ard_depend).
-%%%%%%%%%%%%%%%%%%%%%%%%%%% Zapis%%%%%%%%%%%%%%%%%%%%%%
-save(Dest):-
-	tell(Dest),write('<?xml version="1.0" encoding="utf-8"?>'),
-	listing(ard_att),listing(ard_property),listing(ard_hist),
-	listing(ard_depend),told.
-%%%%%%%%%%%%%%%%%%%%% Attribute_set%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-checkAtt(A):-
-	include(element(attribute_set,_,L),A),
-	leng(L,Dl1),assert(viewList(List)),showAtt(L,Dl1,0).%,viewList(List),write(List).
-showAtt(L,0,Dl).
-showAtt(L,D1,Dl):-
-	D1>0,
-	NewDlu is D1-1,
-	deleteOne(Dl,L,element(att,[name=ZX,id=ID,_,_],[])),
-	string_length(ID,LENG),
-	LEE is LENG-4,
-	assert(memory(ZX)),
-	memory(ZX),
-	sub_string(ID,4,LEE,_,WY),
-	assert(ard_att(ZX)),%nalezy(C,W),
-	viewList(LisGlob),add(LisGlob,ZX,LisGlob2),
-	retractall(viewList(_)),
-	assert(viewList(LisGlob2)),
-	retractall(memory(_)),
-	DlNew is Dl+1,
-	showAtt(L,NewDlu,DlNew).
-%%%%%%%%%%%%%%%%%%%%% Property_set%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-checkProperty(A):-
-	include(element(property_set,_,L2),A),
-	leng(L2,D2),
-	assert(view(ListaGl)),
-	showProp(L2,D2,0).
-showProp(L2,0,Dl2).
-showProp(L2,D2,Dl2):-
-	D2>0,
-	NewDlu2 is D2-1,
-	deleteOne(Dl2,L2,element(property,_,C)),
-	leng(C,CA),
-	writeProp(CA,C,[]),memoryList(Lista),assert(ard_property(Lista)),
-	view(ListaGlob),add(ListaGlob,Lista,ListaGlob2),
-	retractall(view(_)),
-	assert(view(ListaGlob2)),
-	retractall(memoryList(_)),
-	DlNew2 is Dl2+1,
-	showProp(L2,NewDlu2,DlNew2).
-writeProp(0,L,Lista).
-writeProp(CA,[J1|L1],Lel):-
-	CA>0,
-	CNew is CA-1,
-	showFirst(J1,element(attref, [ref=Bb], [])),
-	string_length(Bb,L),
-	LEEE is L-4,
-	sub_string(Bb,4,LEEE,_,WYJ),
-	checkProp(WYJ,Insert),
-	add(Lel,Insert,Lista1),
-	retractall(memoryList(_)),
-	assert(memoryList(Lista1)),
-	writeProp(CNew,L1,Lista1).
-showFirst(L,L).
-%%%%%%%%%
-checkProp(Output,Name):-
-	atom_number(Output,Wyj),
-	viewList(All),
-	NWyj is Wyj+1,
-	showName(All,NWyj,Name).%,write(Name).
-showName(All,1,Name):-
-	deleteOne(0,All,Name).
-showName(All,Wyj,Name):-
-	deleteOne(Wyj-1,All,Name).
-%%%%%%%%%%%%%%%%%%%%% Hist_set%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-checkHistory(A):-
-	include(element(tph,_,L1),A),
-	leng(L1,D1),showlHist(L1,D1,0).
-showlHist(L1,0,Dl).
-showlHist(L1,D1,Dl):-
-	D1>0,
-	NewDlu is D1-1,
-	deleteOne(Dl,L1,element(trans,[src=Source,dst=Destination],[])),
-	string_length(Source,L),
-	LEEE is L-4,
-	sub_string(Source,4,LEEE,_,WYJ),
-	string_length(Destination,LG),
-	LEEEE is LG-4,
-	sub_string(Destination,4,LEEEE,_,Output),
-	checkHist(WYJ,Output,Z,D),assert(ard_hist(Z,D)),
-	DlNew is Dl+1,
-	showlHist(L1,NewDlu,DlNew).
-%%%%%%%%%%%%%% pobrac src i dest%%%%%%%%%%
-checkHist(Zr,De,Zrod,Dest):-
-	atom_number(Zr,Zrr),
-	atom_number(De,Dee),
-	view(All),
-	NZrr is Zrr+1,
-	NDee is Dee+1,
-	showPropert(All,NZrr,Zrod),
-	showPropert(All,NDee,Dest).
-showPropert(All,1,Output):-
-	deleteOne(0,All,Output).
-showPropert(All,Position,Output):-
-	deleteOne(Position-1,All,Output).
-%%%%%%%%%%%%%%%%%%%%% Depend_set%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-checkDepend(A):-
-	include(element(ard,_,LisDep),A),
-	leng(LisDep,DlDep),wyswietlDepe(LisDep,DlDep,0).
-wyswietlDepe(L1,0,Dl).
-wyswietlDepe(L1,D1,Dl):-
-	D1>0,
-	NewDlu is D1-1,
-	deleteOne(Dl,L1,element(dep,[independent=Ind,dependent=Dep],[])),
-	string_length(Ind,L),
-	LEEE is L-4,
-	sub_string(Ind,4,LEEE,_,WYJ),
-	string_length(Dep,LENG),
-	LEE is LENG-4,
-	sub_string(Dep,4,LEE,_,Output),
-	checkDep(WYJ,Output,Indep,Depen),assert(ard_depend(Indep,Depen)),
-	DlNew is Dl+1,
-	wyswietlDepe(L1,NewDlu,DlNew).
-%%%%%%%%%%%%%% pobrac independent i dependent%%%%%%%%%%%%%%
-checkDep(In,De,InOut,DeOut):-
-	atom_number(In,Inn),
-	atom_number(De,Depe),
-	view(All),
-	NInn is Inn+1,
-	NDepe is Depe+1,
-	showDependent(All,NInn,InOut),
-	showDependent(All,NDepe,DeOut).
-showDependent(All,1,Output):-
-	deleteOne(0,All,Output).
-showDependent(All,Position,Output):-
-	deleteOne(Position-1,All,Output).
-%%%%%%%%%%%%%%%%%%%%%%%%%%%  Pozostałe %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-include(X,[X|_]).
-include(X,[_|Tail]) :-
-	include(X,Tail).
-leng([],0).
-leng([_|Tail],Dlug) :-
-	leng(Tail,X),
-	Dlug is X+1.
-deleteOne(0,[F|_],F).
-deleteOne(Poz,[_|Xx],W):-
-	Poz>0,
-	PozNew is Poz-1,
-	deleteOne(PozNew,Xx,W).
-add([],X,[X]).
-add([G|O],X,[G|R]):-
-	add(O,X,R).
-</code>
-{{:pl:miw:varda_pl2xml.pl|Translator}}   {{:pl:miw:input.xml|Plik wejściowy}}  {{:pl:miw:out.pl|Plik wyjściowy}}
-====Otrzymany wynik translacji====
-Otrzymujemy następujący efekt:
-<code xml>
-<?xml version="1.0" encoding="utf-8"?>
-:- dynamic ard_att/1.
-ard_att('Thermostat').
-ard_att('Time').
-ard_att('Temperature').
-ard_att('Date').
-ard_att('Hour').
-ard_att(season).
-ard_att(operation).
-ard_att(thermostat_settings).
-ard_att(day).
-ard_att(month).
-ard_att(today).
-ard_att(hour).
-:- dynamic ard_property/1.
-ard_property(['Thermostat']).
-ard_property(['Time', 'Temperature']).
-ard_property(['Time']).
-ard_property(['Temperature']).
-ard_property(['Date', 'Hour', season, operation]).
-ard_property(['Date', 'Hour']).
-ard_property([season, operation]).
-ard_property([thermostat_settings]).
-ard_property([season]).
-ard_property([operation]).
-ard_property(['Date']).
-ard_property(['Hour']).
-ard_property([day, month, today]).
-ard_property([month]).
-ard_property([day, today]).
-ard_property([day]).
-ard_property([today]).
-ard_property([hour]).
-:- dynamic ard_hist/2.
-ard_hist(['Thermostat'], ['Time', 'Temperature']).
-ard_hist(['Time', 'Temperature'], ['Time']).
-ard_hist(['Time', 'Temperature'], ['Temperature']).
-ard_hist(['Time'], ['Date', 'Hour', season, operation]).
-ard_hist(['Date', 'Hour', season, operation], ['Date', 'Hour']).
-ard_hist(['Date', 'Hour', season, operation], [season, operation]).
-ard_hist(['Temperature'], [thermostat_settings]).
-ard_hist([season, operation], [season]).
-ard_hist([season, operation], [operation]).
-ard_hist(['Date', 'Hour'], ['Date']).
-ard_hist(['Date', 'Hour'], ['Hour']).
-ard_hist(['Date'], [day, month, today]).
-ard_hist([day, month, today], [month]).
-ard_hist([day, month, today], [day, today]).
-ard_hist([day, today], [day]).
-ard_hist([day, today], [today]).
-ard_hist(['Hour'], [hour]).
-:- dynamic ard_depend/2.
-ard_depend([season], [thermostat_settings]).
-ard_depend([operation], [thermostat_settings]).
-ard_depend([month], [season]).
-ard_depend([day], [today]).
-ard_depend([today], [operation]).
-ard_depend([hour], [operation]).
-</code>
-====XTT - RIF====
- * [[pl:miw:miw08_xtt_rif|XTT i RIF]]
-<code xml>
-[, element(xtt_table, [id=xtt_1], [
-      , element(schema, [], [
-        , element(independent, [], [
-            , element(attref, [ref=att_0], []),
-        ]),
-        , element(dependent, [], [
-            , element(attref, [ref=att_1], []),
-        ]),
-      ]),
-      , element(rule, [id=rul_1], [
-        , element(condition, [], [
-          , element(logop, [name=in], [
-            , element(attref, [ref=att_0], []),
-            , element(domain, [], [
-              , element(range, [from=1, to=5], []),
-              , element(value, [], [8]),
-            ]),
-          ]),
-        ]),
-        , element(decision, [], [
-          , element(modop, [name=assign], [
-            , element(attref, [ref=att_1], []),
-            , element(evalop, [name=add], [
-              , element(attref, [ref=att_0], []),
-              , element(domain, [], [
-                , element(value, [], [1]),
-              ]),
-            ]),
-          ]),
-          , element(modop, [name=assign], [
-            , element(attref, [ref=att_1], []),
-            , element(evalop, [name=add], [
-              , element(domain, [], [
-                , element(value, [], [5]),
-              ]),
-              , element(evalop, [name=sin], [
-                , element(attref, [ref=att_0], []),
-              ]),
-            ]),
-          ]),
-        ]),
-        , element(link, [xtt=xtt_1], []),
-      ]),
-    ]),
-  ]
-</code>
-====== Materiały ======
-[[http://www.w3.org/Style/XSL/|XSLT]] (tutoriale):
-  * [[http://zvon.org/xxl/XSLTutorial/Output/index.html|ZVON XSLT]]
-  * [[http://w3schools.com/xsl/default.asp|W3S XSLT]]
-==PROLOG==
-  * [[http://eclipse.crosscoreop.com:8080/doc/bips/lib_public/xml/index.html|Library(xml)]]
-  * [[http://www.zen37763.zen.co.uk/xml.pl.html|Parsing XML with Prolog]]
-  * [[http://www.gprolog.org/manual/gprolog.html|GNU PROLOG]]
-  * [[http://www.zen37763.zen.co.uk/xml_download.html|XML In Prolog]]
-==GRAPHVIZ==
-  * [[http://www.cs.bris.ac.uk/Teaching/Resources/COMS30106/graphviz/|Graphviz]]
-  * [[http://www.graphviz.org/|Graphviz]]
-==RIF==
-  * [[http://www.w3.org/2005/rules/wg/charter.html|RIF]]
-  * [[http://en.wikipedia.org/wiki/Rule_Interchange_Format|RIF- wikipedia]]
-  * [[http://www.w3.org/TR/rif-bld/|RIF]]
-==XML,XSD==
-  * [[http://www.komputery-internet.net/xml/|XML, DTD, XSD, XSLT- wprowadzenie]]
-  * [[http://www.codeguru.pl/article-319.aspx|Opis struktury schematu XML]]

pl/miw/miw2008_xtt_xmlpro.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice