Shownotes & Links
In dieser Folge sprechen wir über logische Programmierung und über die Programmiersprache Prolog.
- Logische Programmierung
- Prolog
- Prädikatenlogik
- Resolution
- Implikation
- Unifikation
- Peano Arithmetik
- Erlang
- Lisp
- Pattern Matching
- Persistent Data Structure
- Backtracking
- Joys Brainfuck Interpreter
- Definite Clause Grammar
- Abstract Syntax Tree
- miniKanren
- core.logic
- Tutorials um Prolog zu lernen
- http://www.learnprolognow.org
- https://bernardopires.com/2013/10/try-logic-programming-a-gentle-introduction-to-prolog