Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:prolog:prolog_lab [2011/08/07 17:43] gjn |
pl:prolog:prolog_lab [2019/06/27 15:50] (aktualna) |
- [[.:prolog_lab:reprezentacja_wiedzy|Reprezentacja wiedzy]] | - [[.:prolog_lab:reprezentacja_wiedzy|Reprezentacja wiedzy]] |
- [[.:prolog_lab:prolog_lab_metaprog|Meta programowanie]] | - [[.:prolog_lab:prolog_lab_metaprog|Meta programowanie]] |
| |
==== Część fakultatywna ==== | ==== Część fakultatywna ==== |
| |
* [[.:prolog_lab:prolog_lab_graphsearch|Planowanie tras przejazdu]] (**L**) | * [[.:prolog_lab:prolog_lab_graphsearch|Planowanie tras przejazdu]] (**L**) |
* [[.:prolog_lab:prolog_lab_http|Integracja z HTTP/WWW]] (**H**) <- //uwaga: wymaga O// | * [[.:prolog_lab:prolog_lab_http|Integracja z HTTP/WWW]] (**H**) <- //uwaga: wymaga O// |
* [[.:prolog_lab:prolog_lab_semweb|Integracja z SemWeb]] (**S**) <- //przydatna wiedza z O (graphviz)// | |
* [[.:prolog_lab:prolog_lab_dcg|Definite Clause Grammars]] (**D**) | * [[.:prolog_lab:prolog_lab_dcg|Definite Clause Grammars]] (**D**) |
| * [[.:prolog_lab:prolog_lab_semweb|Integracja z SemWeb]] (**S**) <- //przydatna wiedza z O (graphviz)// |
| * [[.:prolog_lab:constraint_satisfaction_problems|Opisywanie problemów za pomocą ograniczeń]] (**C**) |
| |
---- | ---- |
| |
* [[.:prolog_lab:prolog_lab_java|Integracja z Java]] (**J**) <- //uwaga: wymaga M// | Wersje robocze lab, dla zainteresowanych. |
* [[.:prolog_lab:prolog_lab_rdbms|Integracja z RDBMS]] (**R**) | * [[.:prolog_lab:prolog_lab_rdbms|Integracja z RDBMS]] (**R**) |
* ([[.:prolog_lab:prolog_lab_ansic|Integracja z C]] (C)) | * ([[.:prolog_lab:prolog_lab_ansic|Integracja z C]] (C)) |
| * [[.:prolog_lab:prolog_lab_java|Integracja z Java]] (**J**) <- //uwaga: wymaga O// |
| |
| ==== Prolog a uczenie maszynowe ==== |
| |
| * [[.:prolog_lab:ml:prolog_lab_uczenie|Podstawy uczenia maszynowego]] (**ML**) |
| |
===== Przydatne materiały ===== | ===== Przydatne materiały ===== |
==== Biblioteka programów w Prologu ==== | ==== Biblioteka programów w Prologu ==== |
W [[prolog:pllib:start|dostępnej tutaj]] bazie przykładów zebrano ponad 300 przykładów programów w Prologu ilustrujących różne techniki programistyczne i rozwiązania istotnych problemów. | W [[prolog:pllib:start|dostępnej tutaj]] bazie przykładów zebrano ponad 300 przykładów programów w Prologu ilustrujących różne techniki programistyczne i rozwiązania istotnych problemów. |
| |
==== Podręczniki wprowadzające ==== | ==== Podręczniki wprowadzające ==== |
| |
| * [[http://www.ailab.si/ivan|I. Bratko]], //[[http://www.amazon.com/Programming-Artificial-Intelligence-International-Computer/dp/0321417461/ref=dp_ob_title_bk|Prolog Programming for Artificial Intelligence]]//, 4th ed, Addison-Wesley, 2011. |
| |
* Dave Stuart Robertson, //[[http://www.dai.ed.ac.uk/groups/ssp/bookpages/quickprolog/quickprolog.html|Quick Prolog]]// | * Dave Stuart Robertson, //[[http://www.dai.ed.ac.uk/groups/ssp/bookpages/quickprolog/quickprolog.html|Quick Prolog]]// |
* Patrick Blackburn, Johan Bos, Kristina Striegnitz, //[[http://www.coli.uni-saarland.de/~kris/learn-prolog-now|Learn Prolog Now!]]// | * Patrick Blackburn, Johan Bos, Kristina Striegnitz, //[[http://www.learnprolognow.org/|Learn Prolog Now!]]// |
* J. R. Fisher, //[[http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html|Prolog Tutorial]]// | * J. R. Fisher, //[[http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html|Prolog Tutorial]]// |
* Colin Barker, //[[http://perso.orange.fr/colin.barker/lpa/lpa.htm|LPA Examples]]// | * Colin Barker, //[[http://perso.orange.fr/colin.barker/lpa/lpa.htm|LPA Examples]]// |
* [[http://xsb.sourceforge.net/|XSB]] | * [[http://xsb.sourceforge.net/|XSB]] |
* Daniel Diaz, [[http://gnu-prolog.inria.fr|GNU-Prolog]] | * Daniel Diaz, [[http://gnu-prolog.inria.fr|GNU-Prolog]] |
| |
| ==== Standardy pisania kodu w Prologu ==== |
| * MICHAEL A. COVINGTON, ROBERTO BAGNARA, RICHARD A. O’KEEFE, JAN WIELEMAKER, SIMON PRICE, //[[http://www.ai.uga.edu/mc/plcoding.pdf|Coding guidelines for Prolog]]//, Cambridge University Press, 2011. |