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


Selected example programs are available as showcases.


Recursion

Main page