Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:prolog:prolog_lab:wprowadzenie [2009/03/04 13:04] wojnicki Prolog programming in depth added |
pl:prolog:prolog_lab:wprowadzenie [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 10: | Linia 10: | ||
| * podstawy teoretyczne: logika ([[wp>George_Boole]],[[wp>Gottlob_Frege]],[[wp>Alfred_Tarski]], i inni), [[wp>J._Alan_Robinson]] (rezolucja), [[wp>]] (University of Edinburgh) | * podstawy teoretyczne: logika ([[wp>George_Boole]],[[wp>Gottlob_Frege]],[[wp>Alfred_Tarski]], i inni), [[wp>J._Alan_Robinson]] (rezolucja), [[wp>]] (University of Edinburgh) | ||
| * implementacje: [[wp>Alain_Colmerauer]], (University of Aix-Marseille), 1972; [[wp>David_H._D._Warren]] (University of Edinburgh) 1977 | * implementacje: [[wp>Alain_Colmerauer]], (University of Aix-Marseille), 1972; [[wp>David_H._D._Warren]] (University of Edinburgh) 1977 | ||
| - | * [[http://web.ncf.ca/andre/publications/PPID.pdf|Prolog Programming in Depth]], {{:prolog:ppid.pdf|lokalna kopia}}. | + | |
| + | Więcej wskazówek związanych z uczeniem się Prologu można znaleźć na [[pl:prolog:prolog_lab#przydatne_materialy|głównej stronie laboratorium]]. | ||
| ===== -. SWI Prolog ===== | ===== -. SWI Prolog ===== | ||
