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