Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja | |||
|
pl:dydaktyka:pp:start [2023/11/13 15:12] ligeza [Logic Programming 2023/2024-winter] |
pl:dydaktyka:pp:start [2023/11/24 16:28] (aktualna) ligeza [Logic Programming 2023/2024-winter] |
||
|---|---|---|---|
| Linia 4: | Linia 4: | ||
| - **Introduction to Prolog. 3 Core Mechanisms: Unification, Resolution, DFS Backtracking Search. Examples. Numbers generation. SEND+MORE=MONEY** [16.10.2023;ali] | - **Introduction to Prolog. 3 Core Mechanisms: Unification, Resolution, DFS Backtracking Search. Examples. Numbers generation. SEND+MORE=MONEY** [16.10.2023;ali] | ||
| - **<fc #ff00ff>E-Learning: 30.10.2023:</fc>** **Prolog: Lists and Data Structures** [[https://www.metalevel.at/prolog|Chapters 0,1,2,3 and especially 4]] Also lectures Prolog-3 and Prolog-4 on lists (links below) [30.10.2023;ali] | - **<fc #ff00ff>E-Learning: 30.10.2023:</fc>** **Prolog: Lists and Data Structures** [[https://www.metalevel.at/prolog|Chapters 0,1,2,3 and especially 4]] Also lectures Prolog-3 and Prolog-4 on lists (links below) [30.10.2023;ali] | ||
| - | - Prolog: Lists as Data Structures. Basic Operations on Lists. Advanced Operations on Lists. Recursion vs. Iteration. [13.11.2023;ali] | + | - **Prolog: Lists as Data Structures. Basic Operations on Lists. Advanced Operations on Lists. Recursion vs. Iteration.** [13.11.2023;ali] |
| - | - ...[27.11.2023;ali] | + | - **Knowledge Engineering with Prolog. Meta-Programming in Prolog. Example Applications.** [27.11.2023;ali] |
