প্রোলগ (প্রোগ্রামিং ভাষা)

প্রোলগ একটি লজিক প্রোগ্রামিং ভাষা যার উৎপত্তি কৃত্রিম বুদ্ধিমত্তা, স্বয়ংক্রিয় উপপাদ্য প্রমাণকরণ এবং কম্পিউটেশনাল ভাষাবিজ্ঞান থেকে।

প্রোলগ-এর মূল ভিত্তি প্রথম স্রেণির যুক্তি, যা একটি আনুষ্ঠানিক যুক্তি। অনেক প্রোগ্রামিং ভাষার তুলনায়, প্রোলগ মূলত একটি ঘোষণামূলক প্রোগ্রামিং ভাষা হিসেবে ব্যবহৃত হয়: প্রোগ্রামটি কিছু তথ্য ও হর্ন ক্লস নিয়ে গঠিত, যা ফাইনিটারি রিলেশন সংজ্ঞায়িত করে। একটি কম্পিউটেশন শুরু হয় একটি query চালানোর মাধ্যমে। প্রোলগ ছিল মূলত প্রথম দিককার লজিক প্রোগ্রামিং ভাষাগুলোর মধ্যে অন্যতম একটিSee . এবং এটি আজও সবচেয়ে জনপ্রিয় লজিক প্রোগ্রামিং ভাষা, যার বহু মুক্ত ও বাণিজ্যিক সংস্করণ বিদ্যমান। এই ভাষাটি স্বয়ংক্রিয় উপপাদ্য প্রমাণকরণ, বিশেষজ্ঞ ব্যবস্থাসমূহ, টার্ম রিরাইটিং,Felty, Amy. "A logic programming approach to implementing higher-order term rewriting." Extensions of Logic Programming (1992): 135-161. টাইপ সিস্টেম, এবং স্বয়ংক্রিয় পরিকল্পনার পাশাপাশি এর মূল উদ্দেশ্য প্রাকৃতিক ভাষা প্রক্রিয়াকরণ ক্ষেত্রে ব্যবহৃত হয়েছে। See also Watson (computer).

প্রোলগ একটি ট্যুরিং-সম্পূর্ণ, সাধারণ উদ্দেশ্য প্রোগ্রামিং ভাষা, যা বুদ্ধিমান জ্ঞান প্রক্রিয়াকরণ অ্যাপ্লিকেশনের জন্য বিশেষভাবে উপযোগী।

 কোডিং এর উদাহরণ 
প্রোলগ প্রোগ্রামিং ভাষায় কোডিং এর উদাহরণ:


best_song(Year, "অনিকেত প্রান্তর") :-
    Year >= 2006.

best_song(Year, "ভুল জন্ম") :-
    Year < 2006.

:- best_song(2007, Song),
   write(Song).

আউটপুট:
 অনিকেত প্রান্তর 

 ইতিহাস 
+প্রোলগ ভাষার সময়রেখা বছর আইক্স-মার্সেই ISO/IEC মান ১৯৭২ প্রোলগ ০  ১৯৭৩ প্রোলগ I  ১৯৮২ প্রোলগ II  ১৯৯০ প্রোলগ III  ১৯৯৫  ১৩২১১-১ ১৯৯৬ প্রোলগ IV  ২০০০  ১৩২১১-২ ২০০৭  ১৩২১১-১:১৯৯৫/সংশোধনী ১:২০০৭ ২০১২  ১৩২১১-১:১৯৯৫/সংশোধনী ২:২০১২ ২০১৭  ১৩২১১-১:১৯৯৫/সংশোধনী ৩:২০১৭


প্রোলগ নামটি প্রস্তাব করেছিলেন ফিলিপ রুশেল, তার স্ত্রীর পরামর্শে, Programmation en logique (ফরাসিতে "লজিক প্রোগ্রামিং") শব্দগুচ্ছের সংক্ষিপ্ত রূপ হিসেবে।Colmerauer, A. and Roussel, P., 1996. The birth of Prolog. In History of programming languages---II (pp. 331-367). প্রোলগ ভাষাটি প্রায় ১৯৭২ সালের দিকে আলাঁ কোলমেরার এবং ফিলিপ রুশেল দ্বারা তৈরি করা হয়েছিল, যারা ফ্রান্সের আইক্স-মার্সেই II বিশ্ববিদ্যালয়ের লুমিনি বিজ্ঞান অনুষদের কৃত্রিম বুদ্ধিমত্তা দলের সদস্য ছিলেন। এটি রবার্ট কোয়ালস্কির হর্ন ক্লজের প্রক্রিয়াগত ব্যাখ্যার উপর ভিত্তি করে তৈরি হয়, এবং এর একটি প্রেরণা ছিল যুক্তিকে একটি ঘোষণা-ভিত্তিক জ্ঞান উপস্থাপন ভাষা হিসেবে ব্যবহারের সঙ্গে উত্তর আমেরিকায় প্রচলিত প্রক্রিয়াভিত্তিক উপস্থাপনার মধ্যে সামঞ্জস্য স্থাপন করা। রবার্ট কোয়ালস্কির মতে, প্রথম প্রোলগ সিস্টেমটি ১৯৭২ সালে কোলমেরার ও রুশেল দ্বারা তৈরি হয়েছিল।

প্রোলগ-এর প্রথম বাস্তবায়ন ছিল একটি ফোরট্রানে লেখা ইন্টারপ্রেটার, যা তৈরি করেছিলেন জেরার্দ বাত্তানি এবং অঁরি মেলনি। ডেভিড এইচ. ডি. ওয়ারেন এই ইন্টারপ্রেটারটি এডিনবরার বিশ্ববিদ্যালয়ে নিয়ে যান এবং সেখানে একটি বিকল্প ফ্রন্ট-এন্ড তৈরি করেন, যা "এডিনবরা প্রোলগ" সিনট্যাক্স নামে পরিচিত হয়ে ওঠে এবং আধুনিক অধিকাংশ বাস্তবায়নে ব্যবহৃত হয়। ওয়ারেন প্রথম প্রোলগ কম্পাইলারও তৈরি করেন, যা ফার্নান্দো পেরেইরার সঙ্গে যৌথভাবে উন্নয়ন করে প্রভাবশালী ডিইসি-১০ প্রোলগ তৈরি করেন। পরে তিনি এই ডিইসি-১০ প্রোলগের ধারণাগুলোকে সাধারণীকরণ করে ওয়ারেন অ্যাবস্ট্রাক্ট মেশিন (ওয়েম) তৈরি করেন।

ইউরোপীয় কৃত্রিম বুদ্ধিমত্তা গবেষকরা প্রোলগ পছন্দ করতেন, অন্যদিকে মার্কিন যুক্তরাষ্ট্রে লিস্প-এর প্রতি ঝোঁক ছিল। এ নিয়ে প্রায়ই ভাষাগত উৎকর্ষ নিয়ে জাতীয়তাবাদী বিতর্ক দেখা যেত। আধুনিক প্রোলগ উন্নয়নের পেছনে একটি বড় চালিকা শক্তি ছিল পঞ্চম প্রজন্মের কম্পিউটার সিস্টেম (ফিফ্‌থ জেনারেশন কম্পিউটার সিস্টেম - এফজিসিএস) প্রকল্প, যেখানে প্রথম অপারেটিং সিস্টেমের জন্য প্রোলগ-এর একটি সংস্করণ কার্নেল ল্যাঙ্গুয়েজ  তৈরি করা হয়।

প্রাথমিক প্রোলগ একটি রেজোলিউশন থিওরেম প্রুভার ব্যবহার করে শুধুমাত্র হর্ন ক্লজ-ভিত্তিক যুক্তিতে সীমাবদ্ধ ছিল, যার রূপ ছিল:

H :- B1, ..., Bn.

থিওরেম-প্রুভার এই ধরনের ক্লজকে নিম্নরূপ প্রক্রিয়ায় ব্যাখ্যা করত:

H সমাধান করতে হলে, B1, ..., Bn সমাধান করতে হবে।

পরবর্তীতে প্রোলগে "ব্যর্থতা দ্বারা নাকচকরণ" (নেগেশন এ্যস ফেইলর) যুক্ত হয়, যেখানে NOT (Bi) ধরনের নেতিবাচক শর্তসমূহ প্রমাণ করতে চেষ্টা করা হয়, এবং যদি Bi প্রমাণে ব্যর্থ হয় তবে তা সত্য ধরা হয়।

প্রোলগে পরবর্তী সম্প্রসারণের মাধ্যমে মূল দল কন্সট্রেইন্ট লজিক প্রোগ্রামিং বৈশিষ্ট্য যুক্ত করে, যা বিভিন্ন বাস্তবায়নে অন্তর্ভুক্ত করা হয়।

 প্রভাব 
যদিও প্রোলগ গবেষণা ও শিক্ষা ক্ষেত্রে ব্যাপকভাবে ব্যবহৃত হয়, প্রোলগ এবং অন্যান্য লজিক প্রোগ্রামিং ভাষা সাধারণভাবে কম্পিউটার শিল্পে উল্লেখযোগ্য প্রভাব ফেলতে পারেনি।Logic programming for the real world. Zoltan Somogyi, Fergus Henderson, Thomas Conway, Richard O'Keefe. Proceedings of the ILPS'95 Postconference Workshop on Visions for the Future of Logic Programming. অধিকাংশ প্রোলগ অ্যাপ্লিকেশন শিল্প মান অনুযায়ী ছোট পরিসরে থাকে, যার মধ্যে খুব কমই ১ লক্ষ কোড লাইনের বেশি হয়।

বৃহৎ প্রোগ্রাম তৈরিকে (প্রোগ্রামিং ইন দ্য লার্জ) প্রোলগে জটিল বলে মনে করা হয়, কারণ অধিকাংশ প্রোলগ কম্পাইলার মডিউল সিস্টেম সমর্থন করে না, এবং প্রধান প্রধান প্রোলগ কম্পাইলারগুলোর মধ্যে মডিউল সিস্টেমের অসামঞ্জস্যতা রয়েছে। প্রোলগ কোডের পোর্টেবলিটি নিয়েও সমস্যা ছিল, তবে ২০০৭ সালের পর থেকে উন্নয়নের ফলে বলা হয়েছে: "এডিনব্যারা/কুইন্টাস ভিত্তিক প্রোলগ বাস্তবায়নগুলোর মধ্যে বহনযোগ্যতা এতটাই ভালো হয়েছে যে প্রকৃত কাজের অ্যাপ্লিকেশন তৈরি ও রক্ষণাবেক্ষণ সম্ভব হচ্ছে।"Jan Wielemaker and Vıtor Santos Costa: Portability of Prolog programs: theory and case-studies. CICLOPS-WLPE Workshop 2010 .

প্রোলগে তৈরি সফটওয়্যারকে প্রথাগত প্রোগ্রামিং ভাষার তুলনায় কম পারফরম্যান্সের কারণে সমালোচিত করা হয়েছে। বিশেষ করে, প্রোলগের ননডিটারমিনিস্টিক ইভ্যালুয়েশন কৌশলটি নির্ধারিত ডিটারমিনিস্টিক কম্প্যুটেশনের ক্ষেত্রে সমস্যা তৈরি করতে পারে, এমনকি যখন "ডোন্ট কেয়ার নন-ডিটারমিনিসম" ব্যবহৃত হয় (যেখানে সব সম্ভাবনার উপর ব্যাকট্র্যাকিং না করে একটি বিকল্প বেছে নেওয়া হয়)। কাঙ্ক্ষিত পারফরম্যান্স অর্জনের জন্য প্রোলগে "কাট" এবং অন্যান্য ভাষাগত কাঠামো ব্যবহার করতে হয়, যা প্রোলগের অন্যতম প্রধান আকর্ষণ—প্রোগ্রামকে উভয়দিকেই চালানো যায়—এই বৈশিষ্ট্যটিকে ব্যাহত করে।

প্রোলগ সম্পূর্ণরূপে ঘোষণামূলক নয়: কারণ এর মধ্যে "কাট অপারেটর" এর মতো কাঠামো থাকে, একটি প্রোলগ প্রোগ্রাম বোঝার জন্য প্রক্রিয়াগত পাঠ বা প্রসিডিউরাল রিডিং-এর প্রয়োজন হয়। প্রোলগ প্রোগ্রামে ক্লজের ক্রম গুরুত্বপূর্ণ, কারণ ভাষাটির কার্যপ্রণালী সেই ক্রমের উপর নির্ভর করে। অন্যান্য লজিক প্রোগ্রামিং ভাষা, যেমন ডাটালগ, প্রকৃতপক্ষে ঘোষণামূলক তবে তারা ভাষার ক্ষমতাকে সীমিত করে। এর ফলে, অনেক বাস্তব প্রোলগ প্রোগ্রাম প্রোলগের ডেপ্‌থ-ফার্স্ট সার্চ পদ্ধতির সঙ্গে সামঞ্জস্য রেখে লেখা হয়, বরং একটি বিশুদ্ধ ঘোষণামূলক লজিক প্রোগ্রামের চেয়ে।

টীকা 

তথ্যসূত্র

বিষয়শ্রেণী:কম্পাইলার
বিষয়শ্রেণী:প্রোগ্রামিং ভাষা
বিষয়শ্রেণী:কম্পিউটার বিজ্ঞান