Praktikum z logického programování
RNDr. Šárka Vavrečková, Ph.D.
Praktikum z logického programování
Cílem předmětu je proniknout do problematiky logického programování. Pro tyto účely lze používat různé programovací jazyky, my se zaměříme na programovací jazyk Prolog.

V tomto bloku najdete informace o vyučujících a o náplni předmětu.

Kapitola obsahuje:
1
Studijní text

V tomto bloku získáte informace o způsobu zakončení předmětu, tedy podmínkách udělení zápočtu.

Kapitola obsahuje:
1
Studijní text

Zde jsou odkazy na studijní materiály, které použijete při výuce a přípravě na zápočet.

Kapitola obsahuje:
1
Studijní text
2
Web

Zde najdete několik testů, které se nezapočítávají do zápočtu, ale mohou pomoci při přípravě na něj.

Kapitola obsahuje:
3
Odpovědník
1
Studijní text

Doporučená literatura, odkazy

Kapitola obsahuje:
1
Studijní text

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.

Požadavky na studenta

Předmět Praktikum z logického programování je zakončen zápočtem. Pro udělení zápočtu je třeba odevzdat zápočtový úkol podle zadání a prokonzultovat ho s vyučujícím.

Studijní materiály

Skripta do tohoto předmětu najdete na následujícím odkazu:

Protože tento předmět úzce souvisí s předmětem Logika a logické programování, přidáváme zde odkaz i na skripta do předchůdce (občas se hodí tam podívat):

Dále jsou k dispozici ukázkové příklady:

Procvičování - autotesty

Tyto testy se nezapočítávají do hodnocení k zápočtu, účelem je procvičit si pár základních pojmů a postupů před samotným zápočtem. První dva testy jsou vyhodnocovány automaticky (výsledek zjistíte hned po odevzdání), třetí vyžaduje ruční hodnocení (je třeba počkat na vyhodnocení vyučujícím).

Další informace

Nejdůležitějším odkazem je web SWI-Prologu:

https://www.swi-prolog.org/

Zajímavým projektem je Learn Prolog Now! dostupný na

http://lpn.swi-prolog.org/lpnpage.php?pageid=online

Vyzkoušejte také Adventure in Prolog:

https://www.amzi.com/AdventureInProlog/advtop.php

Může pomoci také Online Guie to Prolog Programming:

http://kti.ms.mff.cuni.cz/~bartak/prolog/