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