https://www.metalevel.at/prolog



                         The Power of Prolog

                      (c) 2005-2022 Markus Triska



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



Recursion

Main page