پرولوگ (LOGic میں پروگرامنگ) 1970 کی دہائی میں تیار کی گئی ایک منطقی پروگرامنگ زبان ہے۔ اسے بالترتیب مارسیلی یونیورسٹی اور ایڈنبرا یونیورسٹی میں ایلین کولمراؤر اور رابرٹ کوولسکی نے بنایا تھا۔ پرولوگ منطقی پروگرامنگ زبانوں کے خاندان کا ایک رکن ہے اور اسے مصنوعی ذہانت کی پروگرامنگ کے لیے استعمال کیا جاتا ہے۔ یہ ایک پروگرامر کو اشیاء کے درمیان تعلقات کی وضاحت کرنے اور پھر ان کے بارے میں سوالات پوچھنے کی اجازت دینے کے لیے اعلانیہ پروگرامنگ کے استعمال کے لیے مشہور ہے۔
وہ خصوصیات جو پرولوگ کو دیگر پروگرامنگ زبانوں سے منفرد بناتی ہیں وہ ہیں اس میں ہارن طرز کی منطق کا استعمال، اس میں تکرار (فور-لوپ) تعمیر کی کمی، اور ثبوت (کٹوتی) تلاش کرکے حقائق کو ثابت کرنے کی صلاحیت۔ زبان کو کمپیوٹر پروگرام لکھنے میں استعمال کیا جاتا ہے جو منطقی طور پر استدلال کرسکتا ہے اور علامتی اعداد و شمار میں ہیرا پھیری کرسکتا ہے۔ ایک اعلانیہ پروگرامنگ زبان کے طور پر، اشیاء، اعمال، اور اشیاء کے درمیان تعلقات کے بارے میں معلومات کو بیان کرنا آسان ہے، لیکن یہ بیان کرنا مشکل ہے کہ الگورتھم کو ان پر کیسے کام کرنا چاہیے۔
پرولوگ کو مختلف کاموں میں استعمال کیا جاتا ہے، بشمول قدرتی زبان کی پروسیسنگ، تھیوریم کو ثابت کرنا، ڈیٹا بیس کا تعامل، گیم کھیلنا، روبوٹس کو کنٹرول کرنا، اور مختلف قسم کے ماہر نظاموں کی پروگرامنگ۔ اسے مصنوعی ذہانت، بایو انفارمیٹکس اور لسانیات میں بڑے پیمانے پر استعمال کیا گیا ہے۔ پرولوگ کو اکیڈمیا میں بڑے پیمانے پر استعمال کیا جاتا ہے، خاص طور پر کمپیوٹر سائنس کے شعبے میں اور اسے مصنوعی ذہانت کی تحقیق کے لیے بنیادی زبان سمجھا جاتا ہے۔
منطقی قیاس پر اس کے زور کو دیکھتے ہوئے، پرولوگ کے لیے متعدد انفرنس کے طریقے تیار کیے گئے ہیں، جن میں ریزولوشن، ایس ایل ڈی ریزولوشن، لکیری ریزولوشن، اور کنسٹرنٹ لاجک پروگرامنگ شامل ہیں۔ Prolog ایک نحو میں لکھا جاتا ہے جو رسمی اور جامع ہے۔ اس کے اعداد و شمار کے ڈھانچے مضبوط ہیں اور فہرستوں اور درختوں سمیت علامتوں اور اصطلاحات کی موثر ہیرا پھیری کی اجازت دیتے ہیں۔ علامتی اعداد و شمار اور ڈیٹا ڈھانچے کو بھی پرولوگ میں بہت زیادہ استعمال کیا جاتا ہے، اور ان پر اس کے بلٹ ان پرولوگ انٹرپریٹر یا کسی بیرونی ترجمان کے ذریعے کارروائی کی جا سکتی ہے۔ اس کے ساتھ ساتھ، Prolog معیاری اور ملکیتی سافٹ ویئر لائبریریوں کی وسیع رینج کو سپورٹ کرتا ہے۔
حالیہ برسوں میں، پرولوگ بہت سے ویب اور موبائل ڈویلپمنٹ پروجیکٹس کے لیے ایک مقبول انتخاب بن گیا ہے، اس کی تیز رفتار ترقی اور اسکیل ایبلٹی کی صلاحیت کے پیش نظر۔ بہت سی بڑی کمپنیاں اپنی بنیادی ویب ٹیکنالوجیز بشمول Amazon، Google اور Microsoft کے لیے Prolog اور اس کی لائبریریوں کا استعمال کرتی ہیں۔
مجموعی طور پر، پرولوگ ایک انتہائی ورسٹائل اور طاقتور زبان ہے جو AI سسٹمز، ویب ڈویلپمنٹ، قدرتی زبان کی پروسیسنگ، اور گیم کھیلنے کے لیے مفید ہے۔