| ورژن | 1.4.3 |
|---|---|
| ناشر | Daniel Diaz |
| رہائی کی تاریخ | 8 اپریل، 2013 |
| تاریخ شامل کی گئی | 8 اپریل، 2013 |
| OS کی ضروریات | Windows, Windows 7 |
| تقاضے | None |
| کل ڈاؤن لوڈ | 1,943 |
| قیمت | Free |
تفصیل
GNU Prolog ایک مفت Prolog کمپائلر ہے جس میں محدود ڈومینز پر رکاوٹیں حل ہوتی ہیں۔ GNU Prolog Constraint پروگراموں کے ساتھ Prolog کو قبول کرتا ہے اور مقامی بائنریز تیار کرتا ہے (جیسا کہ جی سی سی سی سورس سے کرتا ہے)۔ حاصل کردہ قابل عمل پھر اسٹینڈ اکیلے ہے۔ اس قابل عمل کا سائز چھوٹا ہو سکتا ہے کیونکہ GNU Prolog زیادہ تر غیر استعمال شدہ بلٹ ان پیشین گوئی کے کوڈ کو جوڑنے سے بچ سکتا ہے۔ GNU Prolog کی کارکردگی بہت حوصلہ افزا ہے (تجارتی نظاموں سے موازنہ)۔ مقامی کوڈ کی تالیف کے علاوہ، GNU Prolog ایک ڈیبگر کے ساتھ کلاسیکی ترجمان (اعلی سطح کا) پیش کرتا ہے۔
پرولوگ حصہ بہت سے ایکسٹینشنز کے ساتھ پرولوگ کے لیے ISO معیار کے مطابق ہے جو عملی طور پر بہت مفید ہے (عالمی متغیرات، OS انٹرفیس، اور ساکٹ)۔ GNU Prolog میں Finite Domains (FD) پر ایک موثر رکاوٹ حل کرنے والا بھی شامل ہے۔ یہ کنسٹرائنٹ لاجک پروگرامنگ کو صارف کے لیے کھولتا ہے جو کنسٹرائنٹ پروگرامنگ کی طاقت کو لاجک پروگرامنگ کی ڈیکلیرٹیویٹی کے ساتھ ملاتا ہے۔ خصوصیات میں پرولوگ کے لیے آئی ایس او کے معیار کے مطابق، ایٹموں پر مکمل ہونے کے ساتھ انٹرایکٹو انٹرپریٹر کے تحت لائن ایڈیٹنگ کی سہولت، پرولوگ اور سی کے درمیان دو طرفہ انٹرفیس، مقامی کوڈ کمپائلر جو اسٹینڈ اکیلے ایگزیکیوٹیبل تیار کرتا ہے، سادہ کمانڈ لائن کمپائلر مختلف فائلوں کو قبول کرتا ہے، پہلے سے طے شدہ۔ رکاوٹیں: ریاضی کی رکاوٹیں، بولین کی رکاوٹیں، علامتی رکاوٹیں، اور ریفائیڈ رکاوٹیں، پہلے سے طے شدہ گنتی کی ہیورسٹکس، اور صارف اپنی نئی رکاوٹوں کی وضاحت کر سکتا ہے۔