نوع فایل power point قابل ویرایش 17 اسلاید قسمتی از اسلایدها یکسان سازی (Unification) Unify، تابع یکسان سازی است که دو عبارت را به عنوان ورودی دریافت می کند. این تابع، مقدار متغیرهای این دو عبارت را به گونه ای تغییر می دهد که دو عبارت یکسان شوند. خروجی این تابع، یک لیست جایگزینی است. مثال: Unify(knows(maryam, x), knows(y, zahra)) خروجی: Θ = {y/maryam, x/zahra} یکسان سازی (Unification) Subst، تابع ج ...