ערכת קוד פתוח שיעזור לך תוכניות לוגיות באגים Spock הוא כלי אב טיפוס עבור באגים תוכניות ההיגיון תחת סמנטיקה להגדיר תשובה. Spock מספק שיטות באגים עבור תוכניות הצעה ב- Smodels או תחביר DLV. הטכניקות המיושמות מסתמכות על תכנות ASP-META. דרישות: · ג 'אווה
softwaresea.com מספק את מרכז הורדת התוכנה החינמית הירוק העדכני ביותר בבית ובחול, כולל תוכנות מחשב, אפליקציית אפל, אפליקציית אנדרואיד ועוד הורדות חינמיות של תוכנות ניידות למחשב. אם אתה רוצה ללמוד עוד על תוכנה חופשית ירוקה, הורד אותה ב-softwaresea.com!