اراکین : اور کموینیکیشن |شمولیت اختیار کریں |نئے سوالات کا اندراج
کے لئے تلاش کریں
[میں ترمیم کریں ] سمنتی رکاوٹ منطق پروگرامنگ
ہم آہنگی رکاوٹ منطق پروگرامنگ رکاوٹ منطق پروگرامنگ کا ایک ورژن ہے جس کا مقصد بنیادی طور پر کنسرٹ اطمینان کے مسائل کو حل کرنے کے بجائے (یا اس کے علاوہ) سمنوی عمل کے پروگراموں میں ہے. رکاوٹ پروگرامنگ میں اہداف معاہدے کا جائزہ لیا جاتا ہے؛ لہذا ایک سماعت عمل مترجم کی طرف سے ایک مقصد کے تشخیص کے طور پر پروگرام کیا جاتا ہے.
Syntactically، سمنوی رکاوٹ منطق پروگرام غیر مواصلات کے پروگراموں کے برابر ہیں، صرف استثناء یہ ہے کہ شقوں میں محافظین شامل ہیں، جو کچھ شرائط کے تحت شق کی درخواست دہندگی کو روک سکتا ہے. سیمنٹ طور پر، ہم آہنگی مسلسل منطق پروگرامنگ اس کے غیر متعدد ورژن سے مختلف ہے کیونکہ کسی مقصد کے حل کے حل کے بجائے ایک مقصد کے تشخیص کو ایک سمنوی عمل کا احساس کرنا ہے. زیادہ تر خاص طور پر، اس فرق پر اثر انداز ہوتا ہے کہ مترجم کس طرح چلتا ہے جب ایک سے زیادہ شق قابل اطلاق ہوتا ہے: غیر مواصلاتی رکاوٹ منطق پروگرامنگ دوبارہ مباحثے کے تمام مراکز کی کوشش کرتا ہے؛ ہموار پابند منطق پروگرامنگ صرف ایک ہی انتخاب کرتا ہے. یہ مترجم کی مطلوب سمت کی اہمیت کا سب سے واضح اثر ہے، جو پہلے سے ہی لے لیا ہے اس کا کوئی بھی تجزیہ نہیں. اس کے دیگر اثرات اس مقصد کا بنیادی امکان ہے جو پورے مقصد کو ناکام نہیں ہوسکتا ہے، اور مقصد اور ایک شق سر کے مساوات کے لئے ایک خاص طریقہ ثابت ہوسکتا ہے.
Constraint ہینڈلنگ کے قواعد کو سمنتی رکاوٹ منطق پروگرامنگ کی ایک شکل کے طور پر دیکھا جا سکتا ہے، لیکن سمنوی عملوں کے بجائے ایک رکاوٹ سمپلائر یا سولورٹر کے پروگرام کے لئے استعمال کیا جاتا ہے.
[رکاوٹ اطمینان کا مسئلہ][Constraint منطق پروگرامنگ]
تفصیل.1
ہسٹری.2
[اپ لوڈ کریں مزید فہرست ]

Lxjkh 2018@ حقوق نقل و اشاعت