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. Global Variables
  15. Thinking in States
  16. Definite Clause Grammars
  17. Meta-interpreters
  18. Macros
  19. Combinatorial Optimization
  20. Expert Systems
  21. Web Applications
  22. Business Cases
  23. Theorem Proving
  24. Logic Puzzles
  25. Efficiency
  26. Memoization
  27. Horror Stories
  28. Fun Facts
  29. The Future


Selected example programs are available as showcases.


Recursion

Main page