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.

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.

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.

I050 Logické programování II

Fakulta informatiky
jaro 2002

Předmět se v období jaro 2002 nevypisuje.

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.
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.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích léto 1997, jaro 1999, jaro 2001.

I050 Logické programování II

Fakulta informatiky
jaro 2000

Předmět se v období jaro 2000 nevypisuje.

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.
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.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích léto 1997, jaro 1999, jaro 2001.