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.
Learn Generative AI, Prompt Engineering, and LLMs for Free
Learn AI, Data Science & Business — Earn Certificates That Get You Hired
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Syllabus
- Introduction
- Facets of Prolog
- Logical Foundations
- Basic Concepts
- Data Structures
- Reading Prolog Programs
- Writing Prolog Programs
- Termination
- Nontermination
- Integer Arithmetic
- Higher-order Predicates
- Logical Purity
- Declarative Testing
- Declarative Debugging
- Definite Clause Grammars
- Sorting and Searching
- Global Variables
- Thinking in States
- Meta-interpreters
- Macros
- Combinatorial Optimization
- Expert Systems
- Web Applications
- Cryptography
- Business Cases
- Theorem Proving
- Logic Puzzles
- Efficiency
- Memoization
- Artificial Intelligence
- Horror Stories
- Fun Facts
- Engineering Aspects
- The Future