1. komponenta

Lecture type	Total
Lectures	45

* Load is given in academic hour (1 academic hour = 45 minutes)

COURSE AIMS AND OBJECTIVES:
- Introduction to the basics of logic programming and functional programming.
- Acquiring practical skills in logic programming (on the example language Prolog).
- Acquiring practical skills in functional programming (on the example language Haskell).

COURSE DESCRIPTION AND SYLLABUS:
- Prolog. Facts, rules and queries. Unification and proof search. Recursion. Lists. Arithmetic. Grammars in Prolog. Terms. Cut and negation. Database manipulation and solution collection. Working with files.
- Haskell. Introduction to Haskell. Types and type classes. Function syntax. Recursion. Higher-order functions. Modules. User types and type classes. Input and output. Functional problem solving. Functors, applicative functors and monoids. Monads. Zippers.

1. Learn Prolog Now!, Patrick Blackburn, Johan Bos, and Kristina Striegnitz, Texts in Computer Science (Volume 7), College Publications, 2006.
2. Learn You a Haskell For Great Good! A Beginner's Guide, Miran Lipovača, No Starch Press, 2011.
3. Matematička logika u računarstvu, skripta, Vedran Čačić, 2024.

Ostali izborni predmeti - Regular study - Computer Science and Mathematics

Ostali izborni predmeti - Regular study - Computer Science and Mathematics

Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics

Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics