1.	Popis zvoleného problému

1.1.	Zadání hádanky Sázení stromků

2.

Teorie

2.1.	Programovací jazyk Prolog

3.	Implementace – zdrojový kód

4.	Výsledek programu

4.1.	Očekávaný výstup

4.2.	Ukázka trasování

"2 Teorie
Pro řešení hádanky jsem použil programovací jazyk Prolog. Prolog znamená programování v logice a je vyústěním snahy o použití logiky jako programovacího jazyka. Jedná se o jazyk, který je díky jednoduché syntaxi ideální pro seznámení s filozofií logického programování[1].
Program v Prologu sestává z klauzulí. Existují tři typy: fakta, pravidla a dotazy. Klauzule definující stejnou relaci vytvářejí tzv. proceduru. Definice vztahů vyjádřené fakty a pravidly se po zadávání stávají součástí pracovního prostředí Prologu nazývaného databáze.

Pravidla vyjadřují tvrzení závislá na splnění nějakých podmínek. Každé pravidlo má hlavu a (neprázdné) tělo, které je konjunkcí cílů.

Fakta se používají k vyjádření bezpodmínečně pravdivých tvrzení. Fakta jsou klauzule s hlavou, ale s prázdným tělem.

Dotazy vyvolávají výpočet programu, jeho smyslem je zjistit, zda nějaké tvrzení platí či nikoliv. Každý dotaz je klauzule bez hlavy.

Zodpovězení dotazu probíhá postupným ověřováním splnitelnosti jednotlivých cílů. Je-li výsledek vyhodnocení cíle kladný, říkáme, že cíl byl úspěšný a že je splnitelný. V případě záporného výsledku říkáme, že cíl byl neúspěšný a že je nesplnitelný.
Během procesu vyhodnocení cíle dochází v případě úspěchu k nastavení proměnných na takové hodnoty, které umožní jeho splnitelnost. Je-li více možností, jak dosáhnout splnění cíle, Prolog je schopen je všechny zjistit pomocí postupu nazývaného zpětné prohledávání (backtracking). Neúspěch při vyhodnocení cíle neznamená, že Prolog dokázal jeho neplatnost, ale pouze to, že nebyl schopen ze své databáze dokázat jeho platnost[2].

3 Implementace – zdrojový kód
% Strom X je vysazen vlevo od stromu Y
vysazen_vlevo(X,Y,[X,Y|T]).
vysazen_vlevo(X,Y,[H|T]):-vysazen_vlevo(X,Y,T).

% Strom X je vysazen vedle stromu Y (budto vlevo nebo vpravo)
vysazen_vedle(X,Y,S):-vysazen_vlevo(X,Y,S).
vysazen_vedle(X,Y,S):-vysazen_vlevo(Y,X,S)."

Práce pro předmět Teorie ICT - Česká zemědělská univerzita v Praze, Provozně ekonomická fakulta.