Skip to content

SLD resolution (Selective Linear Definite clause resolution)


Definition of SLD resolution (Selective Linear Definite clause resolution):

  • Is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.

الحل المشروط بمعرّف خطي انتقائي


تعريف الحل المشروط بمعرّف خطي انتقائي:

  • هو قاعدة الاستدلال الأساسية المستخدمة في البرمجة المنطقية، وتعد تأكيدًا لقوانين هورن ودحضًا لها في الوقت ذاته.

if you would like to suggest a word please click SUBMIT BELOW