Přednášející: Jan Hric
Info na Hricových stránkách.
cvičení (RNDr. Tomáš Dvořák, CSc.) – nějaké příklady, návrhy na zápočťák, ...
cvika středa 9:00 Troja (Kryl)
Zde najdete aktuální informace z již proběhlých zkoušek.
http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html – pekny tutorial
http://www.coli.uni-saarland.de/~kris/learn-prolog-now/html/ – jiný pěkný tutorial
http://iris.uhk.cz/logpro/ – on-line učebnice Prologu
http://s0cketka.php5.cz/skola/prolog.php – řešené malé úlohy ze zkoušky z Prologu
http://kti.ms.mff.cuni.cz/~bartak/prolog/ – učebnice Prologu a jeho on-line interpret (JAVA)
http://ksvi.mff.cuni.cz/~kryl/prolog.pdf – skripta na Prolog (RNDr. Rudolf Kryl)
http://www.swi-prolog.org/ – SWI-PROLOG – interpreter dokumentace, ... (Windows, Unix) – freeware
http://www.lpa.co.uk/ – LPA-PROLOG – interpreter, dokumentace, ... (Dos, Windows, Macintosh) – shareware
http://ksvi.mff.cuni.cz/~kryl/ – RNDr. Rudlof Kryl
https://prof.ti.bfh.ch/hew1/informatik3/prolog/p-99/ – 99 řešených příkladů z Prologu (od obracení seznamu až po řešení Sudoku)Jak sam Hric rikal – neni radno Scheme podcenovat. Proto si aspon projdete nasledujici vyborny tutorial (staci tak prvnich 5–6 kapitol):
http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme.html – Teach yourself Scheme in Fixnum days – tutorialhttp://www.haskell.org – HASKELL
http://s0cketka.php5.cz/skola/haskell.php – řešené malé úlohy ze zkoušky z Haskellu
http://www.haskell.org/tutorial/ – tutorial – úvod do Haskellu
http://www.zvon.org/other/haskell/Outputglobal/index.html – reference
http://www.fi.muni.cz/~libor/vyuka/IB015/zapisky.pdf – skripta na Haskell z Brna
Deprecated: Assigning the return value of new by reference is deprecated in /DISK2/WWW/lokiware.info/mff/formatters/typografica.php on line 7
Deprecated: Assigning the return value of new by reference is deprecated in /DISK2/WWW/lokiware.info/mff/formatters/wacko.php on line 8
http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html je opravdu dobry navod, spousta prikladu, nektere i s animacemi