The Power of Prolog

© 2005-2024 Markus Triska


  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


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