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

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

http://ii.fmph.uniba.sk/cl/courses/1-AIN-505-udp/0809ls/ex/ex11.zip

Dátum: 4. a 6. 5. 2009

Odporúčaná verzia CL: 5.81.19

WWW stránka predmetu: http://ii.fmph.uniba.sk/cl/courses/1-AIN-505-udp/0809ls?lang=sk

Preskočte nasledujúce komponenty po nadpis „CVIČENIE“.

\dots = 20090504

C V I Č E N I E

Úloha 1. Hello World. Definujte konštantu (funkciu s aritou $0$ ) $Hello :: [X]$ , ktorá sa vyhodnotí do hodnoty typu $Xml$ predstavujúcej jednoduchý XHTML dokument obsahujúci reťazec „Hello World!“ (alebo „Ahoj, svet!“). Svoju konštantu testujte pomocou query

Hello = x : Xml

prípadne

Hello = x : Txml

Môžete použiť funkciu $Html (t, b)$ definovanú v module $Xml_mod$ , ktorá obalí zoznam elementov $b$ do kostry XHTML dokumentu (element html obsahujúci hlavičku s titulkom $t$ a elementom body, ktorého obsahom bude $b$ ).

Vyskúšajte rôzne elementy (odseky, nadpisy, …).

Hello = \dots

Úloha 2. Tabuľka faktoriálu. Napíšte funkciu $Qfact :: N \to [X]$ , ktorá vyrobí tabuľku faktoriálov. Napríklad query

Qfact (10) = x : Xml

by mala vrátiť $Xml$ hodnotu podobnú nasledujúcej konštante $X_fa$ . Odporúčaná pomocná funkcia je opísaná za $X_fa$ .

View

X_fa

in a new window

X_fa =

Factorials

n	n!
0	1
1	1
2	2
3	6
4	24
5	120
6	720
7	5040
8	40320
9	362880

$Fact_rows :: N, N, N \to [X]$

Táto pomocná funkcia vráti zoznam riadkov tabuľky (elementov tr). Každý riadok obsahuje hlavičkovú bunku (th) s hodnotou argumentu faktoriálu a dátovú bunku (td) s hodnotou faktoriálu pre tento argument.

Funkcia má tri argumenty:

$\max$ : celkový počet riadkov, ktoré treba vyrobiť;
$n$ : aktuálny argument faktoriálu (na začiatku $0$ );
$a$ : hodnota faktoriálu pre $n$ (na začiatku $1$ ).

Pri volaní $Fact_rows$ sa argumenty inicializujú ako je uvedené v zozname. Argument $n$ sa v rekurzii bude zvyšovať, kým nedosiahne $\max$ (tzv. spätná rekurzia). Hodnotu argumentu $a$ treba pri rekurzívnom volaní aktualizovať, aby bola vždy rovná faktoriálu argumentu $n$ v rekurzii. Použite uvedenú šablónu rekurzie.

$Xml$ hodnotu ( $[X]$ ) z čísla vyrobíte funkciou $Showx$ z modulu $Xml_mod$ . Napríklad $Showx (123)$ vráti $Xs (123), 0$ .

Fact_rows (\max, n, a) = \dots, Fact_rows (\max, n + 1, \dots) \leftarrow n < \max

Fact_rows (\max, n, a) = 0 \leftarrow n ≧ \max

$Qfact :: N \to [X]$

Ak implemetnujete $Fact_rows$ , hlavná funkcia $Qfact$ pozostáva zo zavolania $Fact_rows$ s vyššie naznačenými začiatočnými argumentami a z obalenia jej výsledku do tabuľky (s hlavičkovým riadkom), ktorú potom použije ako telo XHTML dokumentu vo funkcii $Html$ .

Qfact (n) = \dots

Úloha 3. Tabuľka násobenia. Naprogramujte funkciu $Qmul :: N \to [X]$ , ktorá vytvorí dvojrozmernú tabuľku násobenia. Napríklad výsledkom

Qmul (10) = x : Xml

by mala byť $Xml$ hodnota podobná nasledujúcej konštante $X_mul$ . Bunka v 4. riadku a 7. stĺpci obsahuje hodnotu $4 \cdot 7 = 28$ .

View

X_mul

in a new window

X_mul =

Table of multiplication

x	1	2	3	4	5	6	7	8	9
0	0	0	0	0	0	0	0	0	0
1	1	2	3	4	5	6	7	8	9
2	2	4	6	8	10	12	14	16	18
3	3	6	9	12	15	18	21	24	27
4	4	8	12	16	20	24	28	32	36
5	5	10	15	20	25	30	35	40	45
6	6	12	18	24	30	36	42	48	54
7	7	14	21	28	35	42	49	56	63
8	8	16	24	32	40	48	56	64	72
9	9	18	27	36	45	54	63	72	81

$Mul_cell :: N, N \to [X]$

$Mul_cell (r, c)$ vráti obsah bunky tabuľky v riadku $r$ a stĺpci $c$ .

Mul_cell (r, c) = \dots

$Mul_row :: N, N, N \to [X]$

$Mul_row (\max, r, c)$ vyrobí obsah $r$ -tého riadku tabuľky (zoznam buniek). Argument $c$ obsahuje aktuálny stĺpec, argument $\max$ udáva celkový počet buniek v riadku. Pri volaní $Mul_row$ sa $c$ inicializuje na $0$ a v rekurzii sa bude zvyšovať, kým nedosiahne $\max$ . Schéma rekurzie je podobná ako pri funkcii $Fact_rows$

Mul_row (\max, r, c) = \dots

$Mul_rows :: N, N \to [X]$

$Mul_rows (\max, r)$ vyrobí zoznam riadkov (tr) tabuľky násobenia. Obsah každého riadku tvorí hlavičková bunka s jeho číslom a dátové bunky vyrobené $Mul_row$ . Argument $\max$ udáva počet riadkov aj stĺpcov tabuľky (teda počet dátových buniek v riadku), $r$ je číslo aktuálneho riadku.

Mul_rows (\max, r) = \dots

$Mul_hd_row :: N, N \to [X]$

$Mul_hd_row (\max, c)$ vyrobí zoznam hlavičkových buniek tvoriacich záhlavie tabuľky. Argument $\max$ udáva celkový počet buniek, $c$ je číslo aktuálneho stĺpca.

Mul_hd_row (\max, c) = \dots

$Qmul :: N \to [X]$

Hlavná funkcia vytvorí tabuľku ako kombináciu záhlavia ( $Mul_hd_row$ ) a tela ( $Mul_rows$ ) a obalí ju do kostry XHTML dokumentu.

Qmul (\max) = \dots

x	1	2	3	4	5	6	7	8	9
0	0	0	0	0	0	0	0	0	0
1	1	2	3	4	5	6	7	8	9
2	2	4	6	8	10	12	14	16	18
3	3	6	9	12	15	18	21	24	27
4	4	8	12	16	20	24	28	32	36
5	5	10	15	20	25	30	35	40	45
6	6	12	18	24	30	36	42	48	54
7	7	14	21	28	35	42	49	56	63
8	8	16	24	32	40	48	56	64	72
9	9	18	27	36	45	54	63	72	81

x	1	2	3	4	5	6	7	8	9
0	0	0	0	0	0	0	0	0	0
1	1	2	3	4	5	6	7	8	9
2	2	4	6	8	10	12	14	16	18
3	3	6	9	12	15	18	21	24	27
4	4	8	12	16	20	24	28	32	36
5	5	10	15	20	25	30	35	40	45
6	6	12	18	24	30	36	42	48	54
7	7	14	21	28	35	42	49	56	63
8	8	16	24	32	40	48	56	64	72
9	9	18	27	36	45	54	63	72	81

x	1	2	3	4	5	6	7	8	9
0	0	0	0	0	0	0	0	0	0
1	1	2	3	4	5	6	7	8	9
2	2	4	6	8	10	12	14	16	18
3	3	6	9	12	15	18	21	24	27
4	4	8	12	16	20	24	28	32	36
5	5	10	15	20	25	30	35	40	45
6	6	12	18	24	30	36	42	48	54
7	7	14	21	28	35	42	49	56	63
8	8	16	24	32	40	48	56	64	72
9	9	18	27	36	45	54	63	72	81