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. Efficiency
  24. Memoization
  25. Horror Stories
  26. Fun Facts
  27. The Future


Selected example programs are available as showcases.


Recursion

Main page