SWI Prolog (32-bit) विनिर्देशों
|
तर्क कार्यक्रम और अनुप्रयोगों को विकसित और कार्यान्वित करें .
एसएसवीआई -प्रोल से: SWI-Prolog एक व्यापक फ्री सॉफ्टवेयर प्रोलॉग वातावरण प्रदान करता है, जिसमें तेजी से संकलन, मजबूत और स्मृति लीक से मुक्त, जीएमपी पुस्तकालय पर असीमित पूर्णांक और तर्कसंगत संख्या अंकगणित, और सी और सी ++ के लिए लचीला और तेज इंटरफ़ेस प्रदान करता है - भाषा। यह जावा (जेपीएल), ओडीबीसी, टीसीपी / आईपी सॉकेट्स, एसएसएल और सीजीआई फॉर्म से निपटने के लिए इंटरफ़ेस पुस्तकालयों के साथ बंडल किया गया है और इसमें आईएसओ मानक के भाग 1 को कवर करने के लिए अंतर्निहित पूर्वानुमानों का व्यापक सेट है, डी-फ़ैक्टो एडिनबर्ग प्रोलोल मानक और क्विंटस और एसकास्टस प्रोलोल के महत्वपूर्ण हिस्सों .
डाउनलोड करें (10.04MB)