missile M1 یه جمله توی KB شماست که در الگوریتم رزولوشن ازش میتونید استفاده کنید
حالا اینجا هم دوبار استفاده کرده

سلام
دوست عزیز missile m1 یک عبارت درست تو kb هست یعنی ارزش true داره تو تمام مراحل استنتاج . و همیشه میشه ازش استفاده کرد حالا شاید اصلا ازش استفاده نشه شایدم هزاران بار ازش استفاده بشه بیبینید هر جا missile m1~ رو طی مراحل استنتاج دید میشه با missile m1 منحلش کرد و از بین بردش

پس جملات KB رو هر تعدادی ک بخوایم میشه تو رزولوشن ازشون استفاده کرد؟
من فکر میکردم فقط یکبار میشه ازشون استفاده کرد