যেহেতু প্রোলোগ = সিনট্যাকটিক ইউনিফিকেশন + পশ্চাদপদ চেইন + আরপিএল
তিনটি অংশই কৃত্রিম বুদ্ধিমত্তায় পাওয়া যাবে : জর্জ এফ লুজার জটিল সমস্যা সমাধানের কাঠামো এবং কৌশলগুলি । বইয়ের চতুর্থ সংস্করণে তিনটি অংশই এলআইএসপিতে সেকশন 15.8 বিভাগে প্রয়োগ করা হয়েছে, এলআইএসপিতে লজিক প্রোগ্রামিং। তিনি তাঁর অন্যান্য বইতেও একই কোডটি রেখেছেন, তবে এখানে উল্লেখ করার জন্য আমার সমস্ত নেই। তার বইগুলির কোডটি এখানে পাওয়া যাবে ।
তিনটি অংশের সাথে অন্য একটি উত্স পাওয়া যাবে কৃত্রিম বুদ্ধিমত্তা প্রোগ্রামিংয়ের প্যারাডিজমেস: পিটার নরভিগের কমন লিস্পে কেস স্টাডিজ । অধ্যায় 11, লজিক প্রোগ্রামিং এবং 12, লজিক প্রোগ্রাম সংকলন দেখুন। তার বইয়ের কোডটি এখানে পাওয়া যাবে ।
আরেকটি উত্স হ্যাল আবেলসন, জেরি সুসমান এবং জুলি সুসমানের কম্পিউটার প্রোগ্রামগুলির কাঠামো এবং ব্যাখ্যা । বিভাগ 4.4 দেখুন লজিক প্রোগ্রামিং। বইয়ের সাইট এখানে এবং বইটির কোড এখানে ।
আপনি কোথায় দেখতে হবে তা যদি জানেন তবে অনেক অ্যাপ্লিকেশনটিতে ব্যাক শেইন প্রয়োগ করে একীকরণ অ্যালগরিদম খুঁজে পাওয়া অস্বাভাবিক নয়; এটি কার্যকরী সংকলকগুলিতে টাইপ ইনফারেন্সিংয়ে বিশেষত প্রচলিত। কীওয়ার্ডগুলির একীকরণ বা ঘটনাকে ব্যবহার করে ফাংশনগুলিকে চিহ্নিত করতে সহায়তা করে। এছাড়াও বেশিরভাগ বাস্তবায়ন একীকরণ কার্যের নামে ইউনিফর্ম ব্যবহার করে।
প্রোলোগের কোনও সংস্করণের জন্য, ওসিএএমএল-এ কম করা হয়েছে, আরপিএল কম হবে "প্র্যাক্টিকাল লজিক এবং অটোমেটেড রিজনিংয়ের হ্যান্ডবুক" - prolog.ML এর কোড এবং সংস্থানগুলি দেখুন
এফ # তে বইয়ের কোডটির একটি অনুবাদ এখানে পাওয়া যাবে । হাস্কেলের কাছে বইয়ের কোডটির অনুবাদ এখানে পাওয়া যাবে ।
কোডটি সন্ধানের ক্ষেত্রে, একীকরণ অ্যালগরিদম সন্ধান করা সবচেয়ে সহজ, তারপরে অ্যাপ্লিকেশনগুলিতে ব্যাক চেইন সহ বাস্তবায়ন। একটি REPL- র সাথে কার্যকরী ভাষায় প্রোলোগের সম্পূর্ণ কার্যকরী বাস্তবায়ন সন্ধান করা সবচেয়ে কঠিন। বেশিরভাগ সময় কোড PROLOG এর মধ্যে সরাসরি ব্যবহারের জন্য কোনও ফর্ম্যাটে থাকে না; পারফরম্যান্স বাড়ানোর জন্য এটি ভারিভাবে কাস্টমাইজ করা হয়েছে, সুতরাং আপনি কোডটি খুঁজে পেতে পারেন তবে আপনার পছন্দসই অংশগুলি ছিঁড়ে ফেলার জন্য দামের উপযুক্ত হবে না। আমার পরামর্শটি হ'ল লুজারের বইটি পড়া এবং এটি আপনার পছন্দমতো ভাষায় স্ক্র্যাচ থেকে তৈরি করা, এমনকি এটি এলআইএসপি ইনস্টল করা এবং শেখা এবং এটির অনুবাদ করা হলেও means
সম্পাদনা
যেহেতু এটি স্ট্যাকওভারফ্লোয়ের একটি সদৃশ প্রশ্ন এবং ওপি নতুন এবং মন্তব্যে বলা হয়েছে:
আরও প্রসঙ্গ দেওয়ার জন্য, আমি প্রকারের অনুক্রমটি প্রয়োগ করার চেষ্টা করছি, তবে আমার ভাষার টাইপ সিস্টেমে জটিল বৈশিষ্ট্যগুলি (নির্ভরশীল প্রকারসমূহ, পরিশোধনকারী প্রকারসমূহ, কিছু সাধারণের নাম লিখতে রৈখিক টাইপিং) আমাকে অনুভব করে তোলে যে এটি হবে খুব সাধারণ অ্যালগরিদম পাওয়ার জন্য প্রোলগ ড্রাইভিংয়ের অ্যালগরিদমগুলির থেকে আমার ধরণের অনুমিতিটি বেস করতে দরকারী হোন। আমি খেয়াল করব যে আমি সম্পূর্ণ স্ব-শিক্ষিত, তাই আমার জ্ঞানের বিশাল ক্ষেত্রগুলিতে অভাব রয়েছে।
আমি এখানে এটি প্রসারিত করব, তবে বুঝতে পারি যে ওপিকে একটি নতুন প্রশ্ন করা উচিত।
কিছু অন্তর্ভুক্ত বিষয়বস্তুর জন্য প্রকারের প্রয়োগের প্রয়োগটি দেখুন ।
আমি এ সম্পর্কে সবচেয়ে ভাল বইটি জানি বেইজামিন সি পিয়েরের টাইপস এবং প্রোগ্রামিং ভাষা languages বইয়ের সাইটটি এখানে । ওসিএএমএল কোডের লিঙ্কগুলির সাথে সংস্থানগুলি এখানে । এবং সম্প্রতি শুরু হয়েছে তবে বেশিরভাগ এফ # এর সম্পূর্ণ অনুবাদ এখানে ।
নির্ভরশীল প্রকার: pg। 462 পরিশোধন প্রকার: pg। 207 লিনিয়ার লজিক এবং টাইপ সিস্টেম: pg। 109