| Версия | 1.4.3 |
|---|---|
| Ношир | Daniel Diaz |
| Рӯзи нашр | 08 Апр 2013 |
| Санаи иловашуда | 08 Апр 2013 |
| Талаботи ОС | Windows, Windows 7 |
| Талабот | None |
| Боргирии умумӣ | 1 943 |
| Нарх | Free |
Тавсифи
GNU Prolog як компилятори ройгони Prolog бо ҳалли маҳдудиятҳо дар доменҳои маҳдуд аст. GNU Prolog Prolog-ро бо барномаҳои маҳдуд қабул мекунад ва бинарҳои модариро тавлид мекунад (ба монанди gcc аз манбаи C). Баъдан иҷрошавандаи ба дастомада мустақил аст. Андозаи ин файли иҷрошаванда метавонад хурд бошад, зеро GNU Prolog метавонад аз пайваст кардани рамзи аксари предикатҳои дарунсохт истифоданашуда канорагирӣ кунад. Намоишҳои GNU Prolog хеле рӯҳбаландкунанда мебошанд (муқоиса бо системаҳои тиҷоратӣ). Дар баробари тартиб додани коди модарӣ, GNU Prolog тарҷумони классикиро (сатҳи олӣ) бо ислоҳкунанда пешниҳод мекунад.
Қисми Prolog ба стандарти ISO барои Prolog мувофиқат мекунад, ки васеъшавии бисёр дар амал хеле муфид аст (тағйирёбандаҳои глобалӣ, интерфейси ОС ва розеткаҳо). GNU Prolog инчунин як ҳалкунандаи самараноки маҳдудкуниро бар Доменҳои ниҳоӣ (FD) дар бар мегирад. Ин барои корбар барномасозии мантиқии маҳдудро мекушояд, ки қудрати барномасозии маҳдудиятро бо декларативии барномасозии мантиқӣ муттаҳид мекунад. Хусусиятҳо ба стандарти ISO барои Prolog, дастгоҳи таҳрири сатр дар зери тарҷумони интерактивӣ бо анҷоми атомҳо, интерфейси дуҷонибаи байни Prolog ва C, компилятори коди модарӣ, ки файлҳои мустақили иҷрошавандаро истеҳсол мекунад, компилятори оддии сатри фармон, ки файлҳои гуногунро қабул мекунад, пешакӣ муайян карда шудааст. маҳдудиятҳо: маҳдудиятҳои арифметикӣ, маҳдудиятҳои булӣ, маҳдудиятҳои рамзӣ ва маҳдудиятҳои реификацияшуда, эвристикаи пешакии номбаршуда ва корбар метавонад маҳдудиятҳои нави худро муайян кунад.
