The Power of Prolog

© 2005-2017 Markus Triska


  1. Introduction
  2. Facets of Prolog
  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. Horror Stories
  30. Fun Facts
  31. The Future


Selected example programs are available as showcases.

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