The Power of Prolog

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.

1. Introduction
2. Facets of Prolog
3. Logical Foundations
4. Basic Concepts
5. Data Structures
6. Reading Prolog Programs
7. Writing Prolog Programs
8. Termination
9. Nontermination
10. Integer Arithmetic
11. Higher-order Predicates
12. Logical Purity
13. Declarative Testing
14. Declarative Debugging
15. Definite Clause Grammars
16. Sorting and Searching
17. Global Variables
18. Thinking in States
19. Meta-interpreters
20. Macros
21. Combinatorial Optimization
22. Expert Systems
23. Web Applications
24. Cryptography
25. Business Cases
26. Theorem Proving
27. Logic Puzzles
28. Efficiency
29. Memoization
30. Artificial Intelligence
31. Horror Stories
32. Fun Facts
33. Engineering Aspects
34. The Future