Lessons
Prolog · Expert
Prolog · Expert. Ten lessons. Open-book quizzes. Lesson 1 free.
10 lessons · The Host · Lesson 1 free
Pass all ten lessons for the certificate. Sample · Claim

Lesson 1 · On the house
WAM intuition
Bytecode VM.

Lesson 2
Partial evaluation
Specialize.

Lesson 3
Coroutining
when/2 freeze.

Lesson 4
Security
sandbox queries.

Lesson 5
Program synthesis
Guess clauses.

Lesson 6
Determinism analysis
det checks.

Lesson 7
Big codebases
style guides.

Lesson 8
Benchmarks
fair timing.

Lesson 9
Interop JSON
dict/library.

Lesson 10
Expert capstone
DCG + tests.
Sample certificate
Certificate of completion
Sign in to claim your certificate of completion.
Certificate
Finish all ten lessons, then sign in
Pass every lesson on this device (quizzes and checks). Then sign in or create an account to type your name and download the JPG.