The process of making two terms identical by binding variables.
If you need to learn Prolog and logic programming without Kaushik’s book, these are excellent free substitutes: logic and prolog programming by saroj kaushik pdf free