upvote
Maybe a version with the Prolog part could show up on the Internet Archive?
reply
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
reply