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

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

ČASŤ A

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

Dátum: streda 16. 2. 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é explicitným definíciám. Zadanie sa skladá z týchto súborov:

Súbory ex*.cl obsahujú úlohy, ktoré máte riešiť na tomto cvičení.

C V I Č E N I E

[CL] Úloha. Použite CL ako jednoduchú kalkulačku na vyhodnocovanie aritmetických výrazov formou tzv. dotazov (queries). Na zadávanie dotazov slúži okno Query pri konci tohto dokumentu. Výsledky vyhodnotenia dotazu sa zobrazia v okne Results.

Príklady jednoduchých dotazov:

Sčítanie. Dotaz: $2 + 3 = x$ . CL syntax je: $2+3 = x$ . Výsledok: true for $x = 5$ .
Modifikované odčítanie. Dotaz: $12 \dot{-} 5 = x$ . CL syntax: $12-5 = x$ . Výsledok: true for $x = 7$ .
Násobenie. Dotaz: $5 \cdot 3 = x$ . CL syntax: $5*3 = x$ . Výsledok: true for $x = 15$ .
Celočíselné (euklidovské) delenie. Dotaz: $13 \div 3 = x$ . CL syntax: $13/3 = x$ . Výsledok: true for $x = 4$ .
Zvyšok po celočíselnom delení. Dotaz: $13 mod 8 = x$ . CL syntax: $13 mod 8 = x$ . Výsledok: true for $x = 5$ .

Ďalej položte nasledujúce dotazy:

$(2 + 3) \cdot 5 \div 4 = x$
$19 \dot{-} 20 = x$
$2 \div 0 + 3 mod 0 = x$

Posledné dva príklady ilustrujú nasledovné vlastnosti aritmetických operátorov:

x ≦ y \to x \dot{-} y = 0

x \div 0 = 0 \land x mod 0 = 0

[CL] Úloha. Vyhodnocovať možno aj zložené dotazy (konjunkcie jednoduchých dotazov). Napríklad

2 + 3 = x \land 4 \cdot 5 = y \land x + y \dot{-} 3 = z

CL syntax:

2+3 = x & 4*5 = y & x+y-3 = z

Výsledok: true for $x = 5$ , $y = 20$ , and $z = 22$ .

Vyhodnocovanie zložených dotazov prebieha zľava doprava. Premenné na ľavej strane rovnosti musia dostať hodnotu v predchádzajúcich zložkách dotazu.

Príklady syntakticky chybných dotazov (pri vyhodnocovaní zľava doprava):

$x = 2 + 3$ : Premennej $x$ nebola priradená hodnota.
$2 + y = x$ : Premennej $y$ nebola priradená hodnota.
$2 + 3 = x \land z = 4 \cdot x$ : Premennej $z$ nebola priradená hodnota.

[CL] Úloha. Použite CL na vyhodnocovanie aritmetických porovnávacích relácií.

Príklady jednoduchých dotazov:

Dotaz: $2 + 3 = 1 + 4$ . CL syntax: $2+3 = 1+4$ . Výsledok: true.
Dotaz: $2 + 3 \neq 1 + 4$ . CL syntax: $2+3 != 1+4$ . Výsledok: false.
Dotaz: $2 + 3 ≦ 1 + 4$ . CL syntax: $2+3 <= 1+4$ . Výsledok: true.
Dotaz: $2 + 3 < 1 + 4$ . CL syntax: $2+3 < 1+4$ . Výsledok: false.
Dotaz: $2 + 3 > 1 + 4$ . CL syntax: $2+3 > 1+4$ . Výsledok: false.
Dotaz: $2 + 3 ≧ 1 + 4$ . CL syntax: $2+3 >= 1+4$ . Výsledok: true.

Príklad zloženého dotazu:

Dotaz: $2 + 3 = x \land 1 + 4 = y \land x ≦ y \land x + 1 > y$ . Výsledok: true.

Príklady syntakticky chybných dotazov:

$x ≦ 2 + 3$ : Premennej $x$ nebola priradená hodnota.
$2 + 3 = x \land y ≧ 4 \cdot x$ : Premennej $y$ nebola priradená hodnota.

Query:

Heap used: 190596 free: 134026412

Time used: 0:0:0:21