[Chirael]

Maybe a version with the Prolog part could show up on the Internet Archive?

[remywang]

Here’s the accompanying code on github but we never got to that part in class: https://github.com/nrnrnr/build-prove-compare-student-code