Praktikum z logického programování

Základní informace

Výuka v kombinované formě studia probíhá podle rozvrhu zveřejněného na https://www.slu.cz/fpf/cz/uistudiumkombinovanerozvrhy

Kontakty na vyučující

RNDr. Šárka Vavrečková, Ph.D.

Ing. Tomáš Vícha

Náplň předmětu

Navazujeme na předmět Logika a logické programování, ze kterého studenti znají základy logického programování a měli by se v základních úlohách orientovat.

Osnova předmětu:

  • Principy logického programování.
  • Syntax jazyku Prolog - fakta, pravidla, unifikace, specifika v logickém programování.
  • Práce se seznamy.
  • Třídicí algoritmy.
  • Grafové algoritmy.
  • Pattern Matching.
  • Programování jednoduché hry.