Prolog - Unifying terms
👉 What is the unification of two terms? How can we use unification to determine if two terms are equivalent?
🐼 Prolog Section ▶ https://www.kreatuto.info/rubrique/Pr...
• Prolog
📥 PDF for access to the videos in this section: https://www.kreatuto.info/docs-fourni...
🐼 Computer Science for Beginners and Advanced Learners ▶ https://www.kreatuto.info/
——————————————— Video Chapters ———————————————
📋 00:00 Unifying Terms
00:42 Unifying Two Atoms
01:09 Unifying Numbers
01:50 No Evaluation During Unification
02:20 A free variable can be unified with an atom or a number
02:43 Unification is symmetric
03:20 A free variable can be unified with a complex term
03:53 Unification of terms containing operators
04:46 Unification of more complex terms
05:23 Unification of terms containing predicates
05:58 Same arity to be unifiable
06:38 A variable can only be bound to one term
07:30 In summary
08:23 What's next?