GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) ایک طاقتور اور مفت Prolog کمپائلر ہے جو محدود ڈومینز پر رکاوٹوں کو حل کرنے کی پیشکش کرتا ہے۔ یہ سافٹ ویئر ان ڈویلپرز کے لیے ڈیزائن کیا گیا ہے جنہیں آسانی کے ساتھ پیچیدہ پروگرام بنانے کی ضرورت ہے۔ GNU Prolog Constraint پروگراموں کے ساتھ Prolog کو قبول کرتا ہے اور مقامی بائنریز تیار کرتا ہے، بالکل اسی طرح جیسے gcc C ماخذ سے کرتا ہے۔ حاصل کردہ ایگزیکیوٹیبل پھر اسٹینڈ اکیلے ہے، جس کا مطلب ہے کہ یہ کسی بھی کمپیوٹر پر بغیر کسی اضافی سافٹ ویئر یا لائبریری کی ضرورت کے چل سکتا ہے۔

GNU Prolog کے سب سے اہم فوائد میں سے ایک اس کا چھوٹا سائز ہے۔ چونکہ یہ سافٹ ویئر زیادہ تر غیر استعمال شدہ بلٹ ان پیشین گوئیوں کے کوڈ کو جوڑنے سے بچ سکتا ہے، اس لیے قابل عمل کا سائز بہت چھوٹا ہو سکتا ہے۔ یہ ان ڈویلپرز کے لیے مثالی بناتا ہے جو ہلکی پھلکی ایپلی کیشنز بنانا چاہتے ہیں جو صارفین کے کمپیوٹر پر زیادہ جگہ نہیں لیتی ہیں۔

GNU Prolog کی کارکردگی بھی بہت حوصلہ افزا اور تجارتی نظاموں کے مقابلے کے قابل ہے۔ اس کا مطلب یہ ہے کہ جب بھی آپ اسے استعمال کرتے ہیں تو آپ تیز رفتار اور موثر نتائج فراہم کرنے کے لیے اس سافٹ ویئر پر بھروسہ کر سکتے ہیں۔

مقامی کوڈ کی تالیف کے علاوہ، GNU Prolog ایک ڈیبگر کے ساتھ کلاسیکی ترجمان (اعلی سطح کا) پیش کرتا ہے۔ مترجم آپ کو اپنے کوڈ کو انٹرایکٹو طریقے سے جانچنے اور ترقی کے دوران پیدا ہونے والے کسی بھی مسئلے کو ڈیبگ کرنے کی اجازت دیتا ہے۔

پرولوگ حصہ بہت سے ایکسٹینشنز کے ساتھ پرولوگ کے لیے ISO معیار کے مطابق ہے جو عملی طور پر بہت مفید ہے (عالمی متغیرات، OS انٹرفیس، اور ساکٹ)۔ اس کا مطلب یہ ہے کہ جب بھی آپ اسے استعمال کرتے ہیں آپ اس سافٹ ویئر پر بھروسہ کر سکتے ہیں قابل اعتماد نتائج فراہم کر سکتے ہیں۔

GNU Prolog میں Finite Domains (FD) پر ایک موثر رکاوٹ حل کرنے والا بھی شامل ہے۔ یہ کنسٹرائنٹ لاجک پروگرامنگ کو صارف کے لیے کھولتا ہے جو کنسٹرائنٹ پروگرامنگ کی طاقت کو لاجک پروگرامنگ کی ڈیکلیرٹیویٹی کے ساتھ ملاتا ہے۔

خصوصیات:

- prologue کے لیے ISO معیار کے مطابق

- ایٹموں پر تکمیل کے ساتھ انٹرایکٹو ترجمان کے تحت لائن ایڈیٹنگ کی سہولت

- prologue اور C کے درمیان دو طرفہ انٹرفیس

- مقامی کوڈ کمپائلر جو اسٹینڈ اکیلے ایگزیکیوٹیبل تیار کرتا ہے۔

- سادہ کمانڈ لائن کمپائلر مختلف فائلوں کو قبول کرتا ہے۔

- پہلے سے طے شدہ رکاوٹیں: ریاضی کی رکاوٹیں، بولین کی رکاوٹیں، علامتی رکاوٹیں، ریفائیڈ رکاوٹیں۔

- پہلے سے طے شدہ گنتی کی تحقیق۔

- صارف کی وضاحت کردہ نئی رکاوٹیں۔

خلاصہ:

اگر آپ محدود ڈومینز پر رکاوٹوں کو حل کرنے کے ساتھ ایک طاقتور ابھی تک مفت پرولوگ کمپائلر تلاش کر رہے ہیں تو پھر GNU prologue 32-bit کے علاوہ نہ دیکھیں! اس کے چھوٹے سائز کے باوجود متاثر کن کارکردگی کی صلاحیتوں کے ساتھ ایک بدیہی صارف انٹرفیس کے ساتھ مل کر اس پروگرام کو نہ صرف ابتدائی بلکہ تجربہ کار پروگرامرز کو بھی کامل بناتا ہے!