UIMOIBK057 Praktikum z logického programování

Filozoficko-přírodovědecká fakulta v Opavě
léto 2025
Rozsah
8 hod/sem. 2 kr. Ukončení: z.
Vyučující
RNDr. Šárka Vavrečková, Ph.D. (cvičící)
Ing. Tomáš Vícha (cvičící)
Garance
RNDr. Šárka Vavrečková, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Předpoklady
Logika a logické programování
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
Navazujeme na předmět Logika a logické programování a zaměřujeme se na programovací techniky v logickém programovacím jazyce Prolog.
Výstupy z učení
Student bude po absolvování předmětu schopen:
- určit základní datové typy jazyka PROLOG;
- definovat fakta a pravidla konkrétního jednoduchého příklady;
- použít rekurzivní funkce na seznamech, aritmetické a jiné zabudované funkce PROLOGu;
Osnova
  • 1. Programovací jazyk Prolog. Specifika, formy klauzulí, fakta, pravidla, dotazy.
  • 2.–3. Syntaxe Prologu. Rezoluce, využití rekurze.
  • 4.–5. Aritmetické a logické operace, testování typů údajů. Výpočty a rekurze.
  • 6. Vstupy a výstupy.
  • 7.–9. Seznamy, operace nad seznamy.
  • 10.–11. Využití seznamů, permutace, simulace pole, řadicí algoritmy, simulace grafu.
  • 12.–13. Výhody deklarativního programování při řešení různých typů úloh.
Výukové metody
Semináře v počítačové učebně
Metody hodnocení
Zápočet:
1. Povinná účast na seminářích min. 75 %.
2. Písemná forma ověření studijních výsledků.
Předmět je zařazen také v obdobích léto 2021, léto 2022, léto 2023, léto 2024.