Předmět Metody logického programování (NAIL022)
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 NAIL022 - Metody logického programování, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Naučit vybrané techniky z oblasti logického programovaní
Sylabus
Překlad logických programů, Warrenův abstraktní stroj [1], technika návrhu abstraktního stroje a jeho instrukční sady. Implementace vestavěných predikátů, optimalizace.Abstraktní interpretace - metoda pro získávání globálních informací o programu, abstraktní a konkrétní domény, zhromažďující sémantiky. Abstraktní interpretace pro Prolog, použití odvozených informací při kompilaci.Transformace logických programů, částečné vyhodnocování [2] (partial evaluation) jako optimalizační technika, Futamurovy transformace, automatizovaná tvorba kompilátorů a generátoru kompilátorů. Částečné vyhodnocování pro Prolog, řešenínedeterminismu.Myšlenky logického programování s omezujícími podmínkami [3] (Constraint LP), používané jazyky, domény a řešiče, připojení a implementace řešiče a techniky řešení, řešení kombinatorických problémů v konečných doménách, příklady a aplikace.Pokročilé programátorské techniky, tvorba programů postupným zjemňováním, metoda technik a skeletonů, vztah k OOP a virtuálním procedurám.
Literatura
[1] H. Ait-Kaci: Warren's Abstract Machine - A Tutorial Reconstruction, MIT Press, 1991 [2] N.D. Jones, C.K. Gomard, P. Sestoft: Partial evaluation and Automatic Program Generation, Prentice Hall, New York, 1993 [3] J.Jaffar, M.J.Maher: Constraint Logic Programming: A Survey; in: Journal of Logic Programming, 1994, vol. 19/20, pp. 503 - 581 [4] R.A.O'Keefe: The Craft of Prolog, MIT Press, 1990
Garant
RNDr. Jan Hric