Předmět Funkcionální a logické programování (FIT-FLP)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu FIT-FLP - Funkcionální a logické programování, Fakulta informačních technologií, Vysoké učení technické v Brně (VUT).

Materiál	Typ	Datum	Počet stažení

Cíl

Zvládnutí principů funkcionálního a logického programování jak prakticky tak i z pohledu formálních základů, které jsou při použití obou paradigmat využívány.

Osnova

Osnova přednášek:Úvod do funkcionálního programováníLambda kalkul Programovací jazyk Haskell, úvod, práce se seznamy Uživatelské datové typy, typové třídy a pole v jazyce Haskell Vstupy/výstupy v jazyce Haskell - typové třídy IO a Monad Dokazování ve funkcionálním programování Denotační sémantika, implementace funkcionálních jazyků Prolog, úvod Seznamy, operátor řezu a řazení v jazyce Prolog Datové struktury, řetězce, operátory - rozšíření v jazyce SWI Prolog Stavový prostor, práce s klauzulemi a analýza jazyků v jazyce Prolog Goedel - logický programovací jazyk nevyužívající Hornovy klauzule Implementace logických jazyků, CLP, shrnutí, diskuse Osnova počítačových cvičení:Haskell - základní rysy jazyka, rekurze, seznamy, částečná aplikace, funkce vyššího řádu (map, filter, foldX), ukázka práce s nekonečným seznamem, zkrácené vyhodnocováníHaskell - datové typy, monády, vstup/výstupHaskell - demonstrační cvičení - konstrukce jednoduchého interpretru s pomocí knihovny ParsecProlog - struktura programu, rekurze, seznamyProlog - dynamické predikáty, pokročilejší příkladProlog - náročnější příklady, testování instanciace proměnných, prohledávání stavového prostorOsnova ostatní - projekty, práce:Jednoduchý program v jazyce Haskell (Hugs, GHC, GHCi). Jednoduchý program v jazyce Prolog/Gödel/CLP(R) (SWIPL, Gödel, CiaoProlog).

Literatura

Thompson, S.: Haskell, The Craft of Functional Programming, ADDISON-WESLEY, 1999, ISBN 0-201-34275-8 Nilsson, U., Maluszynski, J.: Logic, Programming and Prolog (2ed), John Wiley & Sons Ltd., 1995 Hill, P., Lloyd, J.: The Gödel Programming Language, MIT Press, 1994, ISBN 0-262-08229-2 Bieliková, M., Návrat, P.: Funkcionálne a logické programovanie, Vydavateĺstvo STU, Vazovova 5, Bratislava, 2000. Thompson, S.: Haskell, The Craft of Functional Programming, ADDISON-WESLEY, 1999, ISBN 0-201-34275-8 Nilsson, U., Maluszynski, J.: Logic, Programming and Prolog (2ed), John Wiley & Sons Ltd., 1995 Hill, P., Lloyd, J.: The Gödel Programming Language, MIT Press, 1994, ISBN 0-262-08229-2 Bieliková, M., Návrat, P.: Funkcionálne a logické programovanie, Vydavateĺstvo STU, Vazovova 5, Bratislava, 2000. Jones, S.P.: Haskell 98 Language and Libraries, Cambridge University Press, 2003, p. 272, ISBN 0521826144

Požadavky

Způsoby zpracování (analýza, vyhodnocení/interpretace/překlad) programovacích jazyků, predikátová logika.

Garant

doc. Dr. Ing. Dušan Kolář

Vyučující

doc. Dr. Ing. Dušan Kolář