1. komponenta

Vrsta nastave	Ukupno

* Opterećenje je izraženo u školskim satima (1 školski sat = 45 minuta)

CILJ KOLEGIJA: Studente osposobiti za:
- Upoznavanje s osnovama logičkog i funkcijskog programiranja.
- Stjecanje praktičnih vještina u logičkom programiranju (na primjeru jezika Prolog).
- Stjecanje praktičnih vještina u funkcijskom programiranju (na primjeru jezika Haskell)

NASTAVNI SADRŽAJI:
- Prolog. Činjenice, pravila i upiti. Unifikacija i traženje dokaza. Rekurzija. Liste. Aritmetika. Gramatike u Prologu. Termi. Rez i negacija. Manipulacija bazama podataka i sakupljanje rješenja. Rad s datotekama.
- Haskell. Uvod u Haskell. Tipovi i klase tipova. Sintaksa u funkcijama. Rekurzija. Funkcije
višeg reda. Moduli. Korisnički tipovi i klase tipova. Ulaz i izlaz. Funkcijsko rješavanje problema. Funktori, aplikativni funktori i monoidi. Monade. Zatvarači.