I050 Logické programování II

Fakulta informatiky
jaro 2001
Rozsah
2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. RNDr. Luděk Matyska, CSc. (přednášející)
Garance
prof. PhDr. Karel Pala, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luděk Matyska, CSc.
Rozvrh
Čt 9:00–10:50 B411
Předpoklady
I013 Logické programování I
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
Osnova
  • Pokročilé techniky programování v Prologu. Fronty, seznamy, enumerace; řezy; všechna řešení. DCG gramatiky.
  • Alternativní modely výpočtu -- bottom up versus top down. Použití databázových operací pro vyhodnocení logických programů. Magické množiny a transformace.
  • Abstraktní interpretace programů. Transformace programů. Globální analýza, analýza výpočetní nezávislosti částí programů.
  • Paralelní logické programování. Concurrent Constraint Logic Programming.
  • Implementace. Odvození instrukcí, abstraktní počítač. Implementace paralelních programovacích jazyků, ANDORA, PANDORA a případně i další. Speciální konstrukce (bloky, události, ...).
  • Logické programování s omezujícími podmínkami: otázky praktického použití.
Informace učitele
Zakladni informace jsou dostupne pres www stranku prednasejiciho. Vyzaduje se absolvovani predmetu Logicke programovani I.
Další komentáře
Předmět je vyučován jednou za dva roky.
Předmět je zařazen také v obdobích léto 1997, jaro 1999.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/jaro2001/I050