Lec 7. Implementing Prolog: Unification, backtracking with coroutines
Channel: CosmoLearning
Date: 2017-08-11

CS 164 (S 2012)