I050 Logické programování II

Fakulta informatiky
jaro 1999
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
I013 Logické programování I
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í, ANDORA princip.
  • Implementace. Odvození instrukcí, abstraktní počítač. Implementace paralelních programovacích jazyků. Speciální konstrukce (bloky, události, ...).
  • Logické programování s omezujícími podmínkami, teoretické základy, přetížené systémy, zevšeobecnění (generalized propagation).
Literatura
  • sborníky ILP, ISLP a další z posledních let
  • AÏT-KACI, Hassan. Waren's abstract machine : a tutorial reconstruction. Cambridge: Massachusetts Institute of Technology, 1991, 114 s. ISBN 0262510588. info
  • O'KEEFE, Richard A. The Craft of Prolog. Cambridge: Massachusetts Institute of Technology, 1990, 387 s. ISBN 0262150395. info
Informace učitele
Základní informace o předměty jsou dostuoné přes www stránku vyučujícího, oddíl výuka.
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích léto 1997, jaro 2001.