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.

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

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

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

— Source:  https://en.wikipedia.org/wiki/SLD_resolution

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

Browse words in Glossary

ABCDEFGHIJKLMNOPQRSTUVWXYZ
ابتثجحخدذرزسشصضطظعغفقكلمنهوي