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
Klíčová témata
  • 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í.
Odkaz a informace vyučujících
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