كتب logic and direction
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
عرض المزيد
المصدر: wikipedia.org
المنطق والتّوجيه (معلومة)
تُعتبر البرمجة المنطقيّة بمثابة استدلالٍ موجّه. يُوجد فكرة هامة في البرمجة المنطقيّة وهي فصل البرامج المنطقيّة إلى مكوّناتها المنطقيّة ومكوّناتها التوجيهيّة. في لغات البرمجة المنطقيّة البحتة، يُحدّد المكوّن المنطقيّ وحده الحلول الناتجة. يمكن أن يتنوّع المكوّن التّوجيهيّ بغرض توفير طرق بديلة لتنفيذ البرنامج المنطقيّ. استُوحي هذا المفهوم من الشعار:
الخوارزميّة= المنطق + التّوجيه
إذ يمثّل «المنطق» برنامجًا منطقيًا ويمثّل «التّوجيه» استراتيجياتٍ مختلفةً لإثبات النّظريات.
