Proof Search with Hand Puppets v2
Channel: Playing With Prolog
Date: 2018-06-15

Prolog's proof search and backtracking mechanism illustrated using hand puppets.