Programming in Declarative Languages - NAIL024

• Title: Programování v deklarativních jazycích
• Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2004
• Semester: winter
• E-Credits: 5
• Hours per week, examination: winter s.:2/1, C+Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: cancelled
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Guarantor: J. Hrůza
• Class: Informatika Mgr. - volitelný
• Classification: Informatics > Programming, Theoretical Computer Science
• Pre-requisite : NPRG005

Annotation

English

Last update: 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.

Czech

Last update: ()

Úč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.

Literature

Last update: 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

Syllabus

Last update: ()

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).