| संस्करण | 1.4.3 |
|---|---|
| प्रकाशक | Daniel Diaz |
| जारी मिति | २०१३ अप्रिल ८ |
| मिति थपियो | २०१३ अप्रिल ८ |
| ओएस आवश्यकताहरू | Windows, Windows 7 |
| आवश्यकताहरु | None |
| कुल डाउनलोड | १,९४३ |
| मूल्य | Free |
वर्णन
GNU Prolog सीमित डोमेनहरूमा बाधा समाधानको साथ एक नि: शुल्क प्रोलोग कम्पाइलर हो। GNU Prolog ले अवरोध कार्यक्रमहरूको साथ Prolog स्वीकार गर्छ र नेटिभ बाइनरीहरू उत्पादन गर्छ (जस्तै gcc C स्रोतबाट गर्छ)। प्राप्त निष्पादन योग्य तब स्ट्यान्ड-अलोन हुन्छ। यस कार्यान्वयनयोग्यको साइज सानो हुन सक्छ किनभने GNU Prolog ले धेरै प्रयोग नगरिएका बिल्ट-इन भविष्यवाणीहरूको कोड लिंक गर्नबाट बच्न सक्छ। GNU Prolog को प्रदर्शनहरू धेरै उत्साहजनक छन् (व्यावसायिक प्रणालीहरूसँग तुलनात्मक)। नेटिभ-कोड संकलनको छेउमा, GNU Prolog ले डिबगरको साथ एक क्लासिकल दोभाषे (शीर्ष-स्तर) प्रदान गर्दछ।
Prolog भागले धेरै विस्तारहरू अभ्यासमा धेरै उपयोगी (ग्लोबल चर, OS इन्टरफेस, र सकेटहरू) सँग Prolog को लागि ISO मानक अनुरूप छ। GNU Prolog मा Finite Domains (FD) मा एक कुशल अवरोध समाधान पनि समावेश गर्दछ। यसले प्रयोगकर्तालाई कन्स्ट्रेन्ट लजिक प्रोग्रामिङको शक्तिलाई तार्किक प्रोग्रामिङको घोषणात्मकतासँग जोडेर खोल्छ। सुविधाहरूमा प्रोलोगको लागि ISO मानक अनुरूप, परमाणुहरूमा पूरा भएको अन्तरक्रियात्मक दोभाषे अन्तर्गत लाइन सम्पादन सुविधा, प्रोलोग र सी बीचको द्विदिशात्मक इन्टरफेस, नेटिभ-कोड कम्पाइलर स्ट्यान्ड एक्लो एक्जिक्यूटेबलहरू उत्पादन गर्ने, साधारण कमाण्ड-लाइन कम्पाइलर विभिन्न प्रकारका फाइलहरू स्वीकार गर्ने, पूर्वनिर्धारित समावेश गर्दछ। बाधाहरू: अंकगणितीय बाधाहरू, बुलियन अवरोधहरू, प्रतीकात्मक अवरोधहरू, र पुन: परिभाषित बाधाहरू, पूर्वनिर्धारित गणना हेरिस्टिक्स, र प्रयोगकर्ताले आफ्नै नयाँ बाधाहरू परिभाषित गर्न सक्छन्।
