====== Archiv FLP 2011: Úkoly Prolog ======

Odkazovník:
  * [[courses:a4b33flp:2015::start|Aktuální ročník předmětu]]
  * Prolog [[prolog_prednasky|přednášky]], [[prolog_cviceni|cvičení]], [[prolog_ukoly|úkoly]]


===== Formální náležitosti =====
Úkoly odevzdávejte přes upload systém v souboru ukolX.pdf, kde X je číslo úkolu.
Soubor musí obsahovat zadání úkolu, kód řešení a testovací příklady.

===== Zadání 1. úkolu z Prologu: rekurze =====

Vypracováváte jednu úlohu, číslo úlohy Vám přidělí cvičící. Zadání jsou {{courses:a4b33flp:2011:flp2011du1.pdf|zde}}.

Pro výpisy použijte predikáty //write//, //nl// (new line).

?-write('*').

?-write('*'), nl, write('*').

?-write(N). N je např. číslo nebo seznam.

===== Zadání 2. úkolu z Prologu: prohledávání stavového prostoru =====

Vypracováváte jednu úlohu, číslo úlohy Vám přidělí cvičící. Zadání jsou {{courses:a4b33flp:2011:flp2011du2.pdf|zde}}.

===== Zadání 3. úkolu z Prologu: generuj a testuj X CLP =====

Vypracováváte jednu úlohu, číslo úlohy Vám přidělí cvičící. Přidělenou úlohu vyřešte metodou generuj a testuj v klasickém Prologu a pomocí CLP. Každou úlohu tedy řešíte 2x. Zadaní jsou {{courses:a4b33flp:2011:flp2011du3.pdf|zde}}.