Skip to main content
Skip header

Functional and Logic Programming

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



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.