28:17Petar Vukmirović: Efficient Full Higher-Order Unification (FSCD A)IJCAR-FSCD 2020269 viewsView & Download
1:20:52Lec 7. Implementing Prolog: Unification, backtracking with coroutinesCosmoLearning1.9K viewsView & Download