Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:dydaktyka:pp:start [2021/04/27 12:53] ligeza [Programowanie w języku Prolog - wykłady 2020/2021] |
pl:dydaktyka:pp:start [2023/11/24 16:28] (aktualna) ligeza [Logic Programming 2023/2024-winter] |
| ====== Logic Programming 2023/2024-winter ====== |
| |
| - **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] |
| - **<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] |
| - **Knowledge Engineering with Prolog. Meta-Programming in Prolog. Example Applications.** [27.11.2023;ali] |
| |
| |
| ---- |
| |
| [[https://www.metalevel.at/prolog|The Power of Prolog]] |
| |
| |
| |
| |
| |
====== Programowanie Logiczne ====== | ====== Programowanie Logiczne ====== |
| |
- **Struktury listowe. Operacje na zbiorach - realizacja. Sortowanie. Zaawansowane operacje na listach; przykłady zadań i ich rozwiązań. Listy-Tricks. Rekurencja a iteracje; pętle z fail. Pamięć globalna: assert/retract.** [13.04.2021; ALi] | - **Struktury listowe. Operacje na zbiorach - realizacja. Sortowanie. Zaawansowane operacje na listach; przykłady zadań i ich rozwiązań. Listy-Tricks. Rekurencja a iteracje; pętle z fail. Pamięć globalna: assert/retract.** [13.04.2021; ALi] |
- **Listy - operacje zaawansowane - dokończenie. Metapredykaty operacji na listach. Prolog: reprezentacja i przetwarzanie wiedzy. Sterowanie wnioskowaniem: negacja (not), cut i fail. Wstęp do metaprogramowania. Przykłady metaprogramowania.** [20.04.2021; ALi] | - **Listy - operacje zaawansowane - dokończenie. Metapredykaty operacji na listach. Prolog: reprezentacja i przetwarzanie wiedzy. Sterowanie wnioskowaniem: negacja (not), cut i fail. Wstęp do metaprogramowania. Przykłady metaprogramowania.** [20.04.2021; ALi] |
- Metaprogramowanie. Reprezentacja i przetwarzanie wiedzy. Przykłady zastosowań. Programowanie deklaratywne a proceduralne; Prolog a Python - porównanie wybranych konstrukcji. Programowanie z ograniczeniami (Constraint Programming). Biblioteka clpfd. ECLiPSe CLP. B-Prolog, GNU Prolog. MiniZinc; Numberjack. ASP. Picat. Problog. Logica (Google). [27.04.2021.04.2021; ALi] | - **Metaprogramowanie. Reprezentacja i przetwarzanie wiedzy. Przykłady zastosowań. Programowanie deklaratywne a proceduralne; Prolog a Python - porównanie wybranych konstrukcji. Programowanie z ograniczeniami (Constraint Programming). Biblioteka clpfd. ECLiPSe CLP. B-Prolog, GNU Prolog. MiniZinc; Numberjack. ASP. Picat. Problog. Logica (Google).** [27.04.2021.04.2021; ALi] |
| |
| |
* {{ :pl:dydaktyka:pp:prolog-lists-2021.zip |Przykłady do wykładu 3}} | * {{ :pl:dydaktyka:pp:prolog-lists-2021.zip |Przykłady do wykładu 3}} |
* {{ :pl:dydaktyka:pp:prolog-lists-advanced-2021.zip |Przykłady do wykładu 4}} | * {{ :pl:dydaktyka:pp:prolog-lists-advanced-2021.zip |Przykłady do wykładu 4}} |
| * {{ :pl:dydaktyka:pp:prolog-esst-examples.zip |A Set of Examples: Essential Thinking}} |
| * {{ :pl:dydaktyka:pp:python-prolog.zip |Prolog vs. Python by few examples}} |
| * {{ :pl:dydaktyka:pp:prolog.zip |Yet another examples in Prolog - 2021}} |
| |
---- | ---- |