هذا هو تطبيق Linux المسمى نظام برمجة المنطق التعريفي والذي يمكن تنزيل أحدث إصدار له باسم 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 الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
نظام برمجة منطقي تعريفي
Ad
الوصف
نظام برمجة منطقي تصريحي بعلاقات من الدرجة الأولى
مضمن في مجموعة فرعية وظيفية خالصة من المخطط. النظام صحيح
النقابات ، الجدولة العادلة ، المتغيرات المنطقية المعجمية ،
مجموعة دلالات نظرية ، أداء عالي دون انقطاع
الجمهور
المطورين ، العلوم / البحث
واجهة المستخدم
على شبكة الإنترنت
لغة البرمجة
مخطط
التصنيفات
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/kanren/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
