Lessons
Prolog · Easy
Prolog · Easy. 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
generate and test
Classic pattern.
Lesson 2
findall / bagof
Collect solutions.
Lesson 3
DCGs
Grammars.
Lesson 4
CLP(FD)
Finite domains.
Lesson 5
Modules
Namespaces.
Lesson 6
Definite failure
false vs error.
Lesson 7
Indexing
First-arg care.
Lesson 8
Pretty traces
protocol.
Lesson 9
Pure vs impure
assert/retract.
Lesson 10
Easy capstone
ancestor/2.
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.