خیلی سادست
سمت چپ ما یه predicate داریم که شامل متغیر x , y و تابع mother(x هست
حالا اگه یخوایم یکسان سازی انجام بدیم باید x/ali و y/ali ولی تو قسمت سوم که ی تابع هست با توجه به اینکه ما x/ali جایگذازی کردیم میشه mother(ali)
پس سمت چپ اینجوری بدست اومد
Group(ali,ali,mother(ali
که با سمت راستی فرق داره.

اینم در نظر بگیر که توی یکسان سازی فقط میشه متغیرها رو با term جایگزین کنیم
یعنی نمیتونیم mother(x رو با alice جایگزین کنیم

سلام
دوست عزیز عبارت mother (x) /alice چون سمت چپ متغیر نیست قابل یکسان سازی نیست
ولی طبق جواب پوران این یکسان سازی قابل انجامه چون (mother (x) = mother (ali و جواب هیچ کدام درسته
البته پارسه و راهیان ارشدم این یکسان سازیو قبول نکردن در صورتی که تو متن درس از این مساوی استفاده کردن!!!

موفق باشید