Předmět Logické programování (4IZ530)
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 4IZ530 - Logické programování, Fakulta informatiky a statistiky, Vysoká škola ekonomická v Praze (VŠE).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
1. Historie a aplikační oblasti Prologu - přehled2. Struktura logického programu3. Komunikace s rozhraním Prologu, pokládání dotazů4. Postup zpracování dotazu Prologem5. Syntaktické struktury Prologu6. Volání vestavěných predikátů Prologu7. Rekurzivní programy8. Srovnání programátorských technik v Prologu a v imperativních jazycích9. Jednoduché aplikace Prologu - relační databáze, grafy, řešení úloh ve stavových prostorech, řešení soustav logických omezení, zpracování přirozeného jazyka10. Logické programování v kontextu predikátové logiky - termy, formule a klauzule, klauzulární tvar formulí, typy klauzulí, Hornovy klauzule11. Výběr z teorie logického programování - aplikace a skládání substitucí, algoritmus unifikace, rezoluční princip, princip vyvracení12. Induktivní logické programování - učení definic predikátů z příkladů13. Logické programování s omezeními, paralelizace logického programování
Získané způsobilosti
Po úspěšném absolvování budou studenti schopni s pomocí jazyka Prolog vytvářet prototypy softwarových aplikací v oblasti symbolických výpočtů, a rámcově chápat způsob zpracování prologovských programů.
Literatura
TypAutorNázevMísto vydáníNakladatelRokISBNZSVÁTEK, V.Logické programování. I, Základy programování v jazyce Prolog.Praha:Oeconomica, 2003.80-245-0627-0DJIRKŮ, P.Logické programování. I, Programovací jazyk Prolog.Praha:Vysoká škola ekonomická, 1995.80-7079-606-5DLLOYD, J.Foundations of logic programming.Berlin:Springer-Verlag, 1987.990003591X
Požadavky
Průběžný test 1: 5 bodů z 15. Průběžný test 2: 10 bodů z 25. Zápočtový program č. 1: 5 bodů z 10. Zápočtový program č. 2: 20 bodů z 50.
Garant
doc. Ing. Vojtěch Svátek, Dr.
Vyučující
doc. Ing. Vojtěch Svátek, Dr.