Functional and Logic Programming

Functional and Logic Programming
456-0310/01
čeština

Summary

The course is divided into two independent parts. The part devoted to the functional programming will concern mainly to methods based on the lambda calculus. The second part is oriented to logic programming and programming techniques using the Prolog language.

Literature

Programming language Haskell: http://www.haskell.org or http://learnyouahaskell.com/
Programming language Prolog: http://www.swi.psy.uva.nl/projects/SWI-Prolog/

Advised literature

Programming language Haskell: http://book.realworldhaskell.org/read/
Programming language Prolog: http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html

back to search page

Language of instruction	čeština
Code	456-0310
Abbreviation	FLP
Course title	Functional and Logic Programming
Coordinating department	Department of Computer Science
Course coordinator	prof. RNDr. Marie Duží, CSc.