دو جمله زیر با هم قابل یکسان سازی هستند
group(Ali,Ali,Alice) , group(x,y,mother(x

در مورد یکسان سازی این دو کدام قاعده زیر درست هست
x/Ali, y/Ali, mother(Ali)/Alice
x/Ali, y/Ali, mother(x)/Alice

ایا باید با mother(Ali) مانند Ali یا Alice برخورد شود؟

اگر قاعده x/Ali, y/Ali, mother(x)/Alice درست یاشد با فرض جایگزینی x/Ali, y/Ali در حمله)group(x,y,mother(x به چمله group(Ali,Ali, mother(Ali)) می رسیم ان وقت می توان از جایگزینی mother(Ali)/Alice استفاده کرد با انکه در قاعده مذکور نیامده

لطفا جواب بدید با یکسان ساز‌ها مشکل دارم