Started on a basic slides framework.

  - wrote reusable code for multiple slides
  - moved my old unification animations to it
Finished the slides through unification.

  - didn't have time to do more for the actual presentation
  - they broke anyhow, so I didn't show all of them
Noted some feedback and ideas for the Prolog talk.

  - noted a few parts that were confusing
  - added an idea for an animation illustrating nondeterminism