צילום מסך תוכנה:
פרטי תוכנה:
SWI-פרולוג מציע סביבת פרולוג תוכנה חופשית מקיפה, הכוללת אוסף מהיר, דליפות זיכרון חזקות וחופשיות מ, שלמים חסרת גבולות וחשבון מספר רציונלים המבוססים על ספריית GMP, וממשק גמיש ומהיר לC- ו- C ++ - שפה . זה יחד עם ספריות ממשק עבור Java (JPL), ODBC, ארובות TCP / IP, SSL, וטיפול טופס CGI ויש לו מערך מקיף של פרדיקטים מובנים, המכסה את החלק 1 של תקן ISO, תקן אדינבורו פרולוג דה-פקטו וחלקים חשובים של קווינטוס וSICStus פרולוג.
תגובות לא נמצא