ITS462/ISP542 Topic 3 - Logic  : Predicate Calculus (Part 2)
Channel: Coding Malaya
Date: 2020-05-20

0:00 Introduction /  Title Card
0:10 Predicate Calculus Exercise (40 - 42)
7:21 Unification Explanation
8:22 Unification Exercise and Example
17:50 Unification: Practice Makes Perfect (Page 3:39)
24:28 Parting Words