গনুহ Prolog সসীম ডোমেইন উপর সমাধানে বাধ্যতা সঙ্গে একটি মুক্ত Prolog কম্পাইলার হয়. গনুহ Prolog বাধ্যতা প্রোগ্রাম সঙ্গে Prolog গ্রহণ করে এবং (জিসিসি একটি সি উৎস থেকে মত) স্থানীয় বাইনারি তৈরি করে. প্রাপ্ত এক্সিকিউটেবল তারপর স্বতন্ত্র হয়. গনুহ Prolog সবচেয়ে অব্যবহৃত বিল্ট ইন predicates কোড লিঙ্ক এড়ানোর করতে পারেন, যেহেতু এই এক্সিকিউটেবল এর আকার ছোট হতে পারে. গনুহ Prolog এর পারফরমেন্স খুব উত্সাহ (বাণিজ্যিক সিস্টেম তুলনীয়) হয়. নেটিভ কোড সংকলন পাশে, গনুহ Prolog একটি ডিবাগার একটি শাস্ত্রীয় দোভাষী (শীর্ষ স্তরের) উপলব্ধ করা হয়.
Prolog অংশ অনুশীলন খুব দরকারী অনেক এক্সটেনশন সঙ্গে Prolog জন্য ISO- র মান কে কনর্ফাম করে (গ্লোবাল ভেরিয়েবল, অপারেটিং সিস্টেম ইন্টারফেস, এবং সকেট). গনুহ Prolog এছাড়াও সমাধানকারী নির্দিষ্ট ডোমেইন (FD) উপর একটি দক্ষ বাধ্যতা রয়েছে. এই লজিক প্রোগ্রামিং declarativity থেকে বাধ্যতা প্রোগ্রামিং শক্তি মিশ্রন ব্যবহারকারী যাও বাধ্যতা যুক্তি প্রোগ্রামিং প্রর্দশিত হবে. বৈশিষ্ট্য Prolog এবং সি, নেটিভ কোড কম্পাইলার একা এক্সেকিউটেবল দাঁড়ানো উৎপাদন, ফাইল বিভিন্ন গ্রহণ সহজ কমান্ড-লাইন কম্পাইলার, পূর্বনির্ধারিত মধ্যে পরমাণু উপর সমাপ্তির, দ্বিমুখী ইন্টারফেস সঙ্গে ইন্টারেক্টিভ দোভাষী অধীনে Prolog জন্য ISO- র মান, লাইন সম্পাদনা সুবিধা কে কনর্ফাম করে অন্তর্ভুক্ত সীমাবদ্ধতা:. গাণিতিক সীমাবদ্ধতা, বুলিয়ান সীমাবদ্ধতা, সিম্বলিক সীমাবদ্ধতা, এবং reified সীমাবদ্ধতা, পূর্বনির্ধারিত শুমার হিউরিস্টিক, এবং ব্যবহারকারী তার নিজের নতুন বিপত্তি নির্ধারণ করতে পারবেন?
পাওয়া মন্তব্যসমূহ না