- Introduction
- Facets of Prolog
- Logical Foundations
- Basic Concepts
- Data Structures
- Reading Prolog Programs
- Writing Prolog Programs
- Termination
- Nontermination
- Integer Arithmetic
- Higher-order Predicates
- Logical Purity
- Declarative Testing
- Declarative Debugging
- Definite Clause Grammars
- Sorting and Searching
- Global Variables
- Thinking in States
- Meta-interpreters
- Macros
- Combinatorial Optimization
- Expert Systems
- Web Applications
- Cryptography
- Business Cases
- Theorem Proving
- Logic Puzzles
- Efficiency
- Memoization
- Artificial Intelligence
- Horror Stories
- Fun Facts
- Engineering Aspects
- The Future
Selected example programs are
available as showcases.
An overview of all videos is available at:
https://www.metalevel.at/prolog/videos/
For offline
