Clausal Language (ver. 5.81.20, by P.J. Voda, J. Komara, J. Kluka)

14. CVIČENIE Z PREDMETU ÚVOD DO DEKLARATÍVNEHO PROGRAMOVANIA

ČASŤ A

http://dai.fmph.uniba.sk/courses/udp/ex/ex14.zip

Dátum: 14. 5. 2012

Odporúčaná verzia CL: 5.81.20

WWW stránka predmetu: http://dai.fmph.uniba.sk/courses/udp/

Kontakt: udp(zavináč)lists.dai.fmph.uniba.sk

Úvodná poznámka. Toto cvičenie je venované generovaniu XHTML. Cvičenie tiež obsahuje pomocné moduly $Mxml$ a $Maux$ .

Literatúra.

[1] J. Kľuka. Prednášky z Úvodu do deklaratívneho programovania LS 2011/2012.

http://dai.fmph.uniba.sk/courses/udp/udp-prednasky-2012.pdf

[2] D. Guller. Poznámky k prednáškam z CL.

[3] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.

Poznámka. Nadpisy sú číslované podľa [1].

C V I Č E N I E

18. XML/XHTML

18.2. Kódovanie

Kódovanie XML v CL. Na prednáške sme opísali spôsob kódovania XML/XHML dokumentov v CL. Na dokument sa pozeráme ako na všeobecný strom s dvoma druhmi uzlov: elementové uzly a textové uzly.

Elementové uzly kódujeme konštruktorom $Xe :: (Str, Lattr, Lx) \to X$ .

Textové uzly kódujeme konštruktorom $Xs :: Str \to X$ .

Detaily kódovania a význam zápisu $F :: T_{1} \to T_{2}$ nájdete v prednáške [1, XIV.18] a v module $Mxml$ , ktorý je pripojený na začiatku tohto súboru.

Formátovacie predikáty $X$ , $Lx$ a $Xml$ . V module $Mxml$ sú zadefinované formátovacie predikáty (typy) $X$ , $Lx$ a $Xml$ .

Formát $X$ zobrazí hodnotu ako uzol XML stromu. Hodnota teda musí byť vytvorená konštruktorom $Xe$ alebo $Xs$ .

    Xe('empty-elem',0,0) = x1:X & Xs('text') = x2:X

Formát $Lx$ zobrazí hodnotu ako zoznam uzlov XML stromu. Prvky tohto zoznamu musia byť typu $X$ .

    Xe('empty-elem',0,0),Xs('text'),Xe('elem-with-text',0,Xs('text'),0),0 = xs:Lx

Formát $Xml$ zobrazí jednoprvkový zoznam obsahujúci práve jeden elementový uzol, ako skutočný XML dokument.

    Xe('elem-with-text',0,Xs('text'),0),0 = doc:Xml & L(doc) = n

    Xe('empty-elem',0,0) = x1:X
      & Xs('text') = x2:X
      & Xe('elem-with-text',(('attr','val'),0),x2,0) = x3:X
      & x1,x2,x3,0 = xs:Lx
      & Xe('document',0,xs),0 = doc:Xml & L(doc) = n

Úloha. Vyhodnoťte všetky dopyty (queries) z predchádzajúcej poznámky.

Kostra XHTML dokumentu. V module $Mxml$ je zadefinovaná funkcia $Xhtml (title, cs)$ , ktorá vytvorí kostru XHTML dokumentu, do ktorej vloží $title$ (reťazec, $Str$ ) ako názov a $cs$ (zoznam XML uzlov, $Lx$ ) ako obsah tela.

Výsledkom funkcie $Xhtml$ je zoznam s jedným elementovým uzlom (html), ktorý môžeme priamo zobraziť formátom $Xml$ :

      Xhtml('t',0) = doc:Xml

Neformálny typ funkcie $Xhtml$ je teda $Xhtml :: (Str, Lx) \to Xml$ .

Úloha. Zadefinujte konštantu (funkciu s aritou $0$ ), ktorá sa vyhodnotí do hodnoty typu $Xml$ ( $Hello :: Xml$ ) predstavujúcej jednoduchý XHTML dokument obsahujúci nadpis (element h1) s textom „Hello World!“.

Svoje riešenie najprv testujte dopytom (query):

    Hello = xs:Lx

Až keď je zobrazenie formátom $Lx$ bezchybné, zobrazte konštantu $Hello$ ako skutočné XHTML formátom $Xml$ :

    Hello = doc:Xml

Na vytvorenie kostry dokumentu použite funkciu $Xhtml$ (viď vyššie).

Hello = ?

Úloha. Vytvorte ďalšie jednoduché XHTML dokumenty s viacerými elementami. Pridajte atribúty niektorým elementom (napríklad atribút style).