Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Independent

The Power of Prolog

via Independent

Overview

Selected example programs are available as showcases.

An overview of all videos is available at:

https://www.metalevel.at/prolog/videos/

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.

Syllabus

  1. Introduction
  2. Facets of Prolog
  3. Logical Foundations
  4. Basic Concepts
  5. Data Structures
  6. Reading Prolog Programs
  7. Writing Prolog Programs
  8. Termination
  9. Nontermination
  10. Integer Arithmetic
  11. Higher-order Predicates
  12. Logical Purity
  13. Declarative Testing
  14. Declarative Debugging
  15. Definite Clause Grammars
  16. Sorting and Searching
  17. Global Variables
  18. Thinking in States
  19. Meta-interpreters
  20. Macros
  21. Combinatorial Optimization
  22. Expert Systems
  23. Web Applications
  24. Cryptography
  25. Business Cases
  26. Theorem Proving
  27. Logic Puzzles
  28. Efficiency
  29. Memoization
  30. Artificial Intelligence
  31. Horror Stories
  32. Fun Facts
  33. Engineering Aspects
  34. The Future

Reviews

Start your review of The Power of Prolog

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.