Różnice
Różnice między wybraną wersją a wersją aktualną.
Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
Nowa wersja
Both sides next revision
|
pl:dydaktyka:pp:start [2019/11/15 13:33] ligeza [Programowanie w Logice: Edycja 2019 (zima; 2h/week)] |
pl:dydaktyka:pp:start [2019/11/20 13:05] ligeza [Programowanie w Logice: Edycja 2019 (zima; 2h/week)] |
* {{ :pl:dydaktyka:pp:picat.pdf |Picat}}, | * {{ :pl:dydaktyka:pp:picat.pdf |Picat}}, |
* [[https://github.com/AdamKlekowski/prolog_Bayesian_networks|Problog]], | * [[https://github.com/AdamKlekowski/prolog_Bayesian_networks|Problog]], |
* Watson. | * {{ :pl:dydaktyka:pp:prologibmnotes.pdf |Watson - IBM}} |
<fc #ff00ff>Kolokwium zaliczeniowe</fc>: termin do ustalenia. | <fc #ff00ff>Kolokwium zaliczeniowe</fc>: termin do ustalenia. |
| |
| |
---- | ---- |
Propozycje prezentacji do przygotowania w ramach samodzielnej aktywności: | Inne - ciekawe materiały do studiowania w ramach samodzielnej aktywności: |
* A Prolog interpreter in JavaScript [[http://tau-prolog.org/|Tau-Prolog]] | * A Prolog interpreter in JavaScript [[http://tau-prolog.org/|Tau-Prolog]] |
* Answer Set Programming (ASP) [[https://potassco.org/|Potassco ASP]] | * Answer Set Programming (ASP) [[https://potassco.org/|Potassco ASP]] |