books logic and direction
If you do not find what you're looking for, you can use more accurate words.
View more
Source: wikipedia.org
المنطق والتّوجيه (Info)
تُعتبر البرمجة المنطقيّة بمثابة استدلالٍ موجّه. يُوجد فكرة هامة في البرمجة المنطقيّة وهي فصل البرامج المنطقيّة إلى مكوّناتها المنطقيّة ومكوّناتها التوجيهيّة. في لغات البرمجة المنطقيّة البحتة، يُحدّد المكوّن المنطقيّ وحده الحلول الناتجة. يمكن أن يتنوّع المكوّن التّوجيهيّ بغرض توفير طرق بديلة لتنفيذ البرنامج المنطقيّ. استُوحي هذا المفهوم من الشعار:
الخوارزميّة= المنطق + التّوجيه
إذ يمثّل «المنطق» برنامجًا منطقيًا ويمثّل «التّوجيه» استراتيجياتٍ مختلفةً لإثبات النّظريات.
