ইন্টারেক্টিভ থিওরেম প্রুভিং (আইটিপি) জন্য বিভিন্ন সিস্টেম রয়েছে - এই নামের সম্মেলনটি দেখুন - কক, ইসাবেল, এইচএল, এসিএল 2, পিভিএস ইত্যাদি of
এগুলির সবগুলি শিখতে তুলনামূলকভাবে চ্যালেঞ্জযুক্ত এবং প্রত্যেকটির নিজস্ব নিজস্ব সংস্কৃতি রয়েছে। এটি একটি বিদেশী ভাষা শেখার মতো: আসুন আপনি বলতে পারেন যে আপনি ইতিমধ্যে ইংরেজি জানেন এবং তারপরে ফ্রেঞ্চ, জার্মান, ইতালিয়ান, স্প্যানিশ, পর্তুগিজ ভাষা বেছে নিতে পারেন। এগুলির সমস্তই কোনও না কোনওভাবে সম্পর্কিত - এটি চীনা নয় - তবে খুব কম লোক একই সাথে সমস্ত পরিচালনা করে। সুতরাং আপনার প্রতিটি সংস্কৃতি এবং সম্প্রদায়ের স্বাদ পেতে চেষ্টা করা উচিত এবং তারপরে একটি প্রতিশ্রুতিবদ্ধ হওয়া উচিত।
আপনার কাজের জন্য সত্যই প্রয়োজন এমন "হত্যাকারী বৈশিষ্ট্য "ও থাকতে পারে।
এটি আশেপাশের এই সিস্টেমে যেকোন একটিতে সহযোগী বিশেষজ্ঞদের রাখতে সহায়তা করে।
- কক এবং ইসাবেলের মধ্যে পার্থক্য কী?
দু'জনই স্ট্যানফোর্ড / এডিনবার্গ / কেমব্রিজ থেকে এলসিএফ সিস্টেমের বংশধর। 1985 সালে, জি হুয়েট এবং এল পলসন কেমব্রিজ এলসিএফের শেষ সংস্করণে এক সাথে কাজ করছিলেন। তারপরে ফ্রান্সে কোক / সিআইসি / সিওকিউ (বর্তমানে কোক) এবং কেমব্রিজ এবং মিউনিখের ইসাবেলের দিকে বিভক্তি ঘটেছিল। লক্ষ করুন যে এইচএল 4, এইচএল লাইট, এইচএল-এক্সওয়াইজেড অন্যান্য এলসিএফ সম্পর্কিত বংশধর।
20 বছরেরও বেশি আগে, কোক বনাম ইসাবেলের পার্থক্যটি যৌক্তিক ভিত্তি অনুসারে তৈরি করা হত: নির্ভরশীলভাবে টাইপড কনস্ট্রাকটিভ লজিক এখানে, সরল-টাইপযুক্ত ধ্রুপদী লজিক। অ্যাড-অন সরঞ্জামগুলি এবং গ্রন্থাগারগুলি সহ প্রতিটি আনুষ্ঠানিক সিস্টেমের উপরে আরও বেশি স্তর যুক্ত করা হওয়ায় আজ অনুশীলনে এর উপর আশ্চর্যজনকভাবে খুব কম প্রভাব পড়ছে।
- আমার কি ইসাবেল বা কক, বা উভয়ই শিখতে হবে?
আপনার দু'জনের দিকেই নজর দেওয়া উচিত এবং আপনার যদি আরও মদ এবং চিজ, বা ব্রাটওয়ার্স্ট এবং সৌরক্রৌত পছন্দ হয় তবে আপনার অনুভূতি পাওয়ার চেষ্টা করা উচিত । (ইসাবেলের পেছনের একজন হিসাবে, তবে বর্তমানে ফ্রান্সে, আমি অবাক হয়েছি যে কতজন ফরাসী প্রকৃতপক্ষে সৌরক্রৌতকে পছন্দ করে যখন তারা বাড়িতে ব্যক্তিগতভাবে থাকে এবং কেউই খুঁজে না :-)
- প্রথমে ইসাবেলি বা কোক উভয়ই শেখার সুবিধা রয়েছে?
আমি তাই মনে করি না. আপনি প্রথমে যে চেষ্টা করেছেন তার সাথে আটকে গিয়ে দ্বিতীয়টি ব্যবহার না করে এমন কোনও বিপদ হতে পারে বা আপনি প্রথমটির সাথে খুব তাড়াতাড়ি হতাশ হয়ে পড়েন এবং খুব তাড়াতাড়ি বরখাস্ত হন। যে কোনও ক্ষেত্রে, উভয় সিস্টেমে উত্পাদনশীল হওয়ার জন্য আপনার সময় এবং অধ্যবসায়ের প্রয়োজন হবে।
যেহেতু "আইডিই" হিসাবে প্রুফ জেনারেলটি ইতিমধ্যে উল্লেখ করা হয়েছিল: প্রুফ জেনারেল / ইমাকস বহু বছর ধরে কোক এবং ইসাবেল উভয়ের জন্য স্ট্যান্ডার্ড ইউনিফাইজ ইন্টারফেস হিসাবে ব্যবহৃত হত, তবে আমি কখনই এটি আইডিই বলতাম না। এর নামে "আইডিই" সহ কোকিডই রয়েছে, তবে জিটিকে উইজেটগুলির শীর্ষে তুলনামূলকভাবে বেসিক সম্পাদক। বর্তমান ইসাবেলে ইসাবেল / জেডিট অন্তর্ভুক্ত রয়েছে, যার নাম "আইডিই" নেই, তবে জাভা কোডের পরিবর্তে প্রুফ পাঠ্যগুলির জন্য নেটবিয়ান বা ইন্টেলিজ আইডিইএ --- আপনি নিয়মিত দেখেন এমন আনুমানিক জিনিসগুলি বোঝানো।