এটি একটি ঘোষণামূলক লজিক প্রোগ্রামিং সিস্টেম নামে একটি লিনাক্স অ্যাপ যার সর্বশেষ প্রকাশ kanren-book-1.2.tar.gz হিসাবে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
বিনামূল্যের OnWorks সহ একটি ঘোষণামূলক লজিক প্রোগ্রামিং সিস্টেম নামের এই অ্যাপটি অনলাইনে ডাউনলোড করুন এবং চালান৷
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 1. আপনার পিসিতে এই অ্যাপ্লিকেশনটি ডাউনলোড করুন৷
- 2. আমাদের ফাইল ম্যানেজারে প্রবেশ করুন https://www.onworks.net/myfiles.php?username=XXXXX আপনি যে ইউজারনেম চান।
- 3. এই ধরনের ফাইল ম্যানেজারে এই অ্যাপ্লিকেশনটি আপলোড করুন।
- 4. এই ওয়েবসাইট থেকে OnWorks Linux অনলাইন বা Windows অনলাইন এমুলেটর বা MACOS অনলাইন এমুলেটর শুরু করুন।
- 5. OnWorks Linux OS থেকে আপনি এইমাত্র শুরু করেছেন, আমাদের ফাইল ম্যানেজারে যান https://www.onworks.net/myfiles.php?username=XXXXX আপনার পছন্দের ব্যবহারকারীর নাম সহ।
- 6. অ্যাপ্লিকেশনটি ডাউনলোড করুন, এটি ইনস্টল করুন এবং এটি চালান।
একটি ঘোষণামূলক লজিক প্রোগ্রামিং সিস্টেম
Ad
বর্ণনাঃ
প্রথম শ্রেণীর সম্পর্ক সহ একটি ঘোষণামূলক লজিক প্রোগ্রামিং সিস্টেম
স্কিমের একটি বিশুদ্ধ কার্যকরী উপসেটে এমবেড করা। সিস্টেম সত্য আছে
ইউনিয়ন, ন্যায্য সময়সূচী, আভিধানিক-স্কোপযুক্ত লজিক্যাল ভেরিয়েবল,
সেট-তাত্ত্বিক শব্দার্থবিদ্যা, কাট ছাড়াই উচ্চ কর্মক্ষমতা
পাঠকবর্গ
বিকাশকারী, বিজ্ঞান/গবেষণা
ব্যবহারকারী ইন্টারফেস
ওয়েব ভিত্তিক
প্রোগ্রামিং ভাষা
পরিকল্পনা
বিভাগ
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/kanren/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।