Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:pp:start [2023/10/27 15:21] ligeza [Logic Programming 2023/2024-winter] |
pl:dydaktyka:pp:start [2023/11/24 16:28] (aktualna) ligeza [Logic Programming 2023/2024-winter] |
||
|---|---|---|---|
| Linia 3: | Linia 3: | ||
| - **Introduction to Logic Programming. Syllabus. Terms, Predicates, Clauses. Basic Examples.** [2.10.2023;ali] | - **Introduction to Logic Programming. Syllabus. Terms, Predicates, Clauses. Basic Examples.** [2.10.2023;ali] | ||
| - **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]] [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] |
| - | - ...[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] |
