Lessons
An introduction to writing Prolog
Prolog · Introductory. 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
Facts
What is true.
Lesson 2
Queries
?- goals.
Lesson 3
Variables
Uppercase.
Lesson 4
Rules
:- implications.
Lesson 5
Unification
Matching terms.
Lesson 6
Lists
[H|T]
Lesson 7
Recursion
Natural proofs.
Lesson 8
Arithmetic
is/2.
Lesson 9
cut !
Commit.
Lesson 10
A small program
likes rules.
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.