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. Business Cases
  24. Theorem Proving
  25. Logic Puzzles
  26. Efficiency
  27. Memoization
  28. Horror Stories
  29. Fun Facts
  30. The Future


Selected example programs are available as showcases.


Recursion

Main page