I050 Logické programování II

Fakulta informatiky
léto 1997
Rozsah
2/0. 2 kr. 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
Kontaktní osoba: prof. RNDr. Luděk Matyska, CSc.
Předpoklady
Vyžaduje absolvování předmětu 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.
Předmět je zařazen také v obdobích jaro 1999, jaro 2001.