IB013 Logické programování I Hana Rudová jaro 2011 Hodnocení předmětu JS> ZápoCtový projekt: celkem až 40 bodů JS> Průběžná písemná přáce: až 30 bodů (základy programování v Prologů) S> pro každého jediný termín: 22.března nebo 29.března (bůde ůpresneno) -i- alternativní termín poůze v prípadech závažných důvodů pro neúCast -fc vzor písemky na webů predmetů JS> ZáveřeCná písemná přáce: až 150 bodů a vzor písemky na webů predmetů opravný termín možný jako ústní zkoůška JS> Hodnocení: soůCet bodů za projekt a za obe písemky známka A za cca 175 bodů, známka F za cca 110 bodů -i- známka bůde zapsána poůze tem, kterí dostanoů zápocet za projekt Hana Růdová, Logické programování I, 22. února 2011 2 Organizace predmetů Základní informace & Prednáška: úcast není povinná nicméně ... -í* CviCení: úCast povinná, zápoCet udělen za zápoCtový projekt individuální dopinující príklady za zmeškaná cviCení Web predmetu: interaktivní osnova v ISu J* průsvitky dostupné postupne v průbehu semestru harmonogram výuky, predbežný obsah výuky pro jednotlivé prednášky behem semestru J* elektronicky dostupné materiály -i- informace o zápoctových projektech JS> Obsah prednášky ± základy programování v jazyce Prolog a teorie logického programováni & logické programování s omezujícími podmínkami a implementace logického programováni Hana Rudová, Logické programování I, 22. února 2011 3 Organizace predmetu Literatura ü> Bratko, I. Prolog Programming for Artificial Intelligence. Addison-Wesley, 2001. it prezenčne v knihovne ü> Clocksin, W. F. - Mellish, Ch. S. Programming in Prolog. Springer, 1994. JS> Sterling, L. - Shapiro, E. Y. The art of Prolog : advanced programming techniques. MIT Press, 1987. ü> Merode, A. - Shore, R. A. Logic for applications. Springer-Verlag, 1993. it prezencne v knihovne JS> Dechter, R. Constraint Processing. Morgan Kaufmann Publishers, 2003. -i. prezencne v knihovne + Elektronicky dostupné materiály (viz web predmetu) Hana Rudová, Logické programování I, 22. února 2011 4 Organizace predmetu Software: SICStus Prolog C Doporučovaná implementace Prologu & Dokumentace: http://www.fi.muni.cz/~hanka/sicstus/doc/html JS> Komerční produkt Zakoupena licence pro instalace na domácí počítače studentů C Nové IDE pro SICStus Prolog SPIDER & dostupné až s poslední verzí SICStus 4.1.3 http://www.sics.se/sicstus/spider a používá Eclipse SDK $ Podrobné informace dostupné pres web predmetu a stažení SICStus Prologu (sw + licencní klíce) a pokyny k instalaci (SICStus Prolog, Eclipse, Spider) Hana Rudová, Logické programování I, 22. února 2011 5 Organizace predmetu SICStus IDE SPIDER Hana Rudová, Logické programování I, 22. února 2011 prevzato z http://www.sics.se/sicstus/spider Organizace predmetu 6 Cvičení Zaměřeno na praktické aspekty, u počítačů Skupiny: * skupina 01, sudý pátek, první cvičení 25.února s skupina 02, lichý pátek, první cvičení 4.brezna & zápis do skupin: dnes od 17:00 Zápoctové projekty: Adriana Strejčkova -fc zápoctové projekty dostupné pres web predmetu &> zahájení registrace rešitelů projektu: 9. brezna, 19:00 a predbežná analýza rešeného problému: 13. dubna J* termín pro odevzdání projektu: 20. kvetna &> predvádení projektů (po registraci): 25.kvetna - 17.června Hana Rudová, Logické programování I, 22. února 2011 7 Organizace predmetu Zápočtové projekty Projekty JS> týmová práce na projektech, až 3 řešitelé Ip a clp projekty podrobné pokyny k zápoCtovým projektům na webu predmetu & bodování, obsah predbežné zprávy a projektu Predbežná zpráva C- podrobné zadání & v jakém rozsahu chcete úlohu rešit -i* které vstupní informace bude program používat a co bude výstupem programu & scénáre použití programu (tj. ukázky dvojic konkrétních vstupu a výstupů) Hana Rudová, Logické programování I, 22. února 2011 8 Organizace predmetu Průběžná písemná práce M Pro každého jediný termín 22. brezna nebo 29.brezna (bude upřesněno) ii> Alternativní termín pouze v závažných dUvodech pro neúčast JS> Celkem až 30 bodU (150 záverečná písemka, 40 projekt) Hana Rudová, Logické programování I, 22. února 2011 9 Organizace predmetu Průběžná písemná práce Pro každého jediný termín 22. brezna nebo 29.brezna (bude upřesněno) Alternativní termín pouze v závažných důvodech pro neúčast Celkem až 30 bodů (150 záverečná písemka, 40 projekt) 3 príklady, 40 minut Napsat zadaný predikát, porovnat chování programů Obsah: první čtyri prednášky a první dve cvičení Oblasti, kterých se budou príklady zejména týkat unifikace seznamy & backtracking it optimalizace posledního volání *> rez it aritmetika & Ukázka průbežné písemné práce na webu Hana Rudová, Logické programování I, 22. února 2011 9 Organizace predmetu