Unification In Prolog لمحه بسيطه عن gnu prolog unification process

حقيقة احترت بكيفية كتابة الموضوع لكن بالمجمل هذه لمحه بسيطه عن ال unification

ال Unification هو باختصار مايعمله ال prolog interpreter عندما تعطيه اي استعلام ..
فهو يحاول ان يجد حل لهذا الاستعلام عن طريق عمل unify بين الاستعلام query وبين الحقائق الموجوده لديه facts and rules.

فلنفرض ان لديك المعلومات التاليه :

age(ahmed,23).
age(khaled,40).
age(ahmed,30).

age(ahmed,X).

age(a,b) cannot be unified with age (X)

age(a,b) cannot be unified with agee(X,Y)

age(a,b) cannot be unified with age(X,X)

age(a,b) cannot be unified with age(b,b).

unify(X,f(z,b,c,d))
X=f(a,b,c,d)

unify(X,f(a,b,c,X))