- 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 access, you can download this book from a public git
repository:
https://github.com/triska/the-power-of-prolog
If you have any comments, suggestions or questions, you can also file
them as issues in that repository.
