I013 Logické programování I

Fakulta informatiky
léto 1997
Rozsah
2/1. 3 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 se absolvování přednášky I008 Výpočtová logika.
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
  • Logika prvního řádu, Hornovy klauzule a programy, modely, SLD rezoluce.
  • Negace, SLDNF rezoluce, stratifikované programy.
  • Řízení výpočtu, ořezávání stromu důkazů, řez.
  • Prolog, základní programovací techniky, extralogické predikáty, aritmetika.
  • Implementace Prologu. Warrenův abstraktní počítač.
  • Logické programování a paralelismus, konkurentní systémy (Concurrent Prolog, Parlog, GHC).
  • Ploché (flat) paralelní logické jazyky.
  • Logické programování s omezujícími podmínkami, kombinatorické úlohy.
Informace učitele
Nektere zakladni informace o predmetu je mozno nalezt pres www stranku prednasejiciho v oddile vyuka. Absolvovalni predmetu I008 je povinne. Vyjimku muze udelit vyucujici, zalezitost vsak s nim musi byt konzultovana pred zacatkem semestru (neplati pro jiz probihajici skolni rok 1996/1997).
Předmět je zařazen také v obdobích léto 1996, léto 1998, jaro 1999, jaro 2000, jaro 2001, jaro 2002.