Programování v deklarativních jazycích - NAIL024

• Anglický název: Programming in Declarative Languages
• Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2004
• Semestr: zimní
• E-Kredity: 5
• Rozsah, examinace: zimní s.:2/1, Z+Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Garant: J. Hrůza
• Třída: Informatika Mgr. - volitelný
• Kategorizace předmětu: Informatika > Programování, Teoretická informatika
• Prerekvizity : NPRG005

Anotace

čeština

Poslední úprava: ()

Účelem přednášky je hlubší uvedení do programování v deklarativních, tj. logických a funkcionálních jazycích. První část bude věnována pokročilým programovacím technikám v Prologu jako na příklad nedeterministické programování, metaprogramování, použití neúplných struktur. V druhé části budou probrány hlavní rysy moderních deklarativních jazyků ML a Goedel a základy programování v nich. Zápočet bude udělen za úspěšné zvládnutí několika domácích úloh.

angličtina

Poslední úprava: T_KTI (23.04.2001)

The purpose of the course is to give a deeper introduction into programming in declarative (i.e. logic and functional) languages. The first part is dedicated to advanced programming techniques in PROLOG such as non-deterministic programming, use of meta-interpreters and incomplete data structures. The second part covers features of some modern declarative languages such as Goedel, ML and others.

Literatura

Poslední úprava: RNDr. Pavel Zakouřil, Ph.D. (05.08.2002)

Sterling, Shapiro: The Art of Prolog, MIT Press, 1985

Hill, Lloyd: The Gödel Programming Language, MIT Press, 1994

Ullman: Elements of ML Programming, Prentice Hall

Sylabus

Poslední úprava: ()

A. Pokročilé programovací techniky v deklarativních jazycích.

• nedeterministické programování.

• prohledávání stavových grafů.

• metaprogramování, expertní systémy, parciální evaluace.

• efektivita.

• příklady aplikací.

B. Moderní deklarativní jazyky.

jazyk ML.

• typový systém, polymorfismus,.

• funkce vyšších řádů (higher-order funkce).

• imperativní rysy.

jazyk Goedel.

• typy, základní konstrukty, moduly.

• kvantifikátory, množiny, negace.

• srovnání s Prologem.

• DELAY deklarace, pružné výpočetní pravidlo.

systém XSB - tabulování (tabling).