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

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

ČASŤ B

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

Dátum: streda 30. 3. 2011

Odporúčaná verzia CL: 5.81.19

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é tuplingu (ex07a), simulácii cyklov (ex07b) a predikátom na zoznamoch (ex07c).

Literatúra.

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

[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].

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

? = 0

C V I Č E N I E

11. SIMULÁCIA CYKLOV NA ZOZNAMOCH

Funkciu, ktorá sčíta všetky prvky spájaného zoznamu by sme v Pascale mohli naprogramovať nasledovne:

    function Suml(xs: PVrchol): Integer;
    var s, y: Integer; ys: PVrchol;
    begin
        s := 0;
        while xs <> nil do begin
            y  := xs^.Info;
            ys := xs^.Next;
            s  := s + y;
            xs := ys
        end;
        Result := s
    end;

Úloha. Simulujte uvedený cyklus dvojargumentovou chvostovorekurzívnou funkciou (viď ex03b) $While_suml (xs, s)$ a použite ju na zadefinovanie funkcie $Suml (xs)$ .

While_suml (xs, s) = ?

Suml (xs) = ?

Funkciu $Rev (xs)$ , ktorá obráti zoznam $xs$ , sme v ex06 definovali takto:

Rev (0) = 0

Rev (x, xs) = Rev (xs) \oplus (x, 0)

Táto funkcia sa tiež dá vypočítať nasledovným pseudo-pascalovským while cyklom s akumulátorom $rs$ :

    rs := 0;
    while xs <> 0 do begin
        (y,ys) := xs;
        rs := (y,rs);
        xs := ys
    end;
    { cyklus skončí, keď xs = 0 }
    Result := rs

Tento program nepotrebuje zreťazenie. Navyše je efektívny: Na výpočet cyklu treba $k$ krokov, kde $k$ je dĺžka zoznamu $xs$ . Naproti tomu na výpočet horeuvedenej definície $Rev$ treba rádovo $k^{2}$ krokov ( $k$ rekurzívnych volaní a v každom rádovo $k$ krokov na výpočet zreťazenia).

Úloha. Simulujte uvedený cyklus dvojargumentovou chvostovorekurzívnou funkciou $While_rev (xs, rs)$ a použite ju na zadefinovanie funkcie $Rev (xs)$ .

While_rev (xs, rs) = ?

Rev (xs) = ?

Úloha. Pomocou simulácie while cyklu $While_minl (ys, m)$ zadefinujte funkciu $Minl (xs)$ , ktorá nájde minimum zoznamu $xs$ . Ak je zoznam prázdny, funkcia $Minl$ vráti $0$ . Nepoužite žiadne „bulharské“ konštanty ako 99999.

Prípad prázdneho zoznamu ošetrite vo funkcii $Minl$ . Ak je zoznam neprázdny, inicializujte prvým prvkom akumulátor funkcie $While_minl$ .

While_minl (ys, m) = ?

Minl (xs) = ?