זוהי אפליקציית לינוקס בשם A Declarative Logic Programming System שניתן להוריד את המהדורה האחרונה שלה כ-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. הורד את האפליקציה, התקן אותה והפעל אותה.
מערכת תכנות לוגיקה הצהרתית
תיאור:
מערכת תכנות לוגיקה הצהרתית עם יחסים מהשורה הראשונה
מוטבע בתת-קבוצה פונקציונלית טהורה של Scheme. למערכת יש אמת
איגודים, תזמון הוגן, משתנים לוגיים בהיקף מילוני,
סמנטיקה תיאורטית סט, ביצועים גבוהים ללא חיתוכים
קהל
מפתחים, מדע/מחקר
ממשק משתמש
מבוסס רשת
שפת תכנות
תָכְנִית
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/kanren/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.