Prolog Fundamentals
Learn Prolog: the original logic programming language. Instead of telling the computer HOW to compute, you state facts and rules — the engine searches for answers via unification and backtracking. Will rewire your problem-solving instincts. Used in NLP, theorem proving, and constraint solving.
intermediate7 lessons3 chapters7 graded exercisesProlog
No sign-up needed for lesson 1 · certificate on completion · sign up to save progress
What you’ll be able to do
Chapter by chapter. Every lesson ends in a graded exercise.
- Facts and Rules
- Recursion and Lists
- Unification, I/O, Arithmetic
Taught in Prolog, graded on a real executor.
Curriculum
3 chapters, 7 lessons. Each lesson is a short read and a graded exercise.
- 1Hello, PrologRead · exercise
- 2Facts and QueriesRead · exercise