اعلامیہ کیا ہے؟ - ٹیکپوپیڈیا سے تعریف

تعریف - پروولو کا کیا مطلب ہے؟

پروگرامنگ این لاجک (منطق میں پروگرامنگ) یا پروولوگ ایک اعلی سطحی پروگرامنگ زبان ہے جس کی جڑیں پہلے آرڈر منطق یا فرسٹ آرڈر کی پیش گوئی کیلکلس میں ہوتی ہیں۔ الیون کالمویر کی سربراہی میں ایک گروہ نے 1970 کی دہائی کے اوائل میں مارسیلیس ، فرانس میں اس زبان کا تصور کیا تھا۔ یہ پروگرامنگ کی پہلی منطقی زبان ہے اور آج بھی مقبول ہے۔ یہ ایک پروگرامنگ زبان ہے جو عام طور پر کمپیوٹیشنل لسانیات اور مصنوعی ذہانت سے وابستہ ہوتی ہے اور اس کا استعمال ماہر سسٹمز ، نظریے کو ثابت کرنے اور قدرتی زبان کے پارسی درختوں اور قدرتی زبان پراسس سے ملنے کے نمونوں میں ہوتا ہے۔

ٹیکوپیڈیا پروولوگ کی وضاحت کرتا ہے

پہلا پروولوگ سسٹم 1972 میں کولمیئر نے فلپ روسل کے ساتھ مل کر تیار کیا تھا اور یہ رابرٹ کوولسکی کی ہارن کی شقوں کی عملی تشریح پر مبنی تھا۔ جزوی طور پر علم کی نمائندگی کے ساتھ اعلانیہ علمی نمائندگی کی زبان کے طور پر منطق کے استعمال کو مصالحت کرنے کی خواہش سے بھی جزوی طور پر حوصلہ افزائی کی گئی تھی۔ پروولوگ کو جان بوجھ کر قدرتی زبان کی پروسیسنگ کے لئے تیار کیا گیا تھا - جس کا تعلق کمپیوٹر اور انسانی (قدرتی) زبان کی بات چیت سے ہے۔

پروگول پروگرامنگ کی دیگر زبانوں سے مختلف ہے کیونکہ یہ احکامات کی ترتیب کے بجائے اعلامیہ ہے۔ اسے بعض اوقات ایک اصول پر مبنی یا اعلانیہ زبان کہا جاتا ہے کیونکہ اس کا اظہار حقائق اور قواعد کے طور پر پیش کی جانے والی اشیاء کی خصوصیات کے مابین تعلقات کے لحاظ سے ہوتا ہے۔ ان تعلقات پر ایک استفسار چلا کر ایک ریاضی شروع کی جاتی ہے۔

درخواستوں میں شامل ہیں:

• مشین لرننگ
• روبوٹ کی منصوبہ بندی
• خودکار استدلال
• مسئلہ حل کرنا
• ذہین ڈیٹا بیس کی بازیافت
• قدرتی زبان کی تفہیم
• تفصیلات زبان