GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-бит) як компилятори пурқувват ва ройгони Prolog мебошад, ки ҳалли маҳдудиятҳоро дар доменҳои маҳдуд пешниҳод мекунад. Ин нармафзор барои таҳиягароне пешбинӣ шудааст, ки бояд барномаҳои мураккабро бо осонӣ эҷод кунанд. GNU Prolog Prolog-ро бо барномаҳои маҳдуд қабул мекунад ва бинарҳои модариро тавлид мекунад, ба монанди gcc аз манбаи C. Файли иҷрошавандаи бадастомада мустақил аст, яъне он метавонад дар ҳама гуна компютер бидуни ниёз ба нармафзор ё китобхонаҳои иловагӣ кор кунад.

Яке аз бартариҳои муҳимтарини GNU Prolog андозаи хурди он аст. Азбаски ин нармафзор метавонад аз пайваст кардани рамзи аксари предикатҳои дарунсохт истифоданашуда канорагирӣ кунад, андозаи файли иҷрошаванда метавонад хеле хурд бошад. Ин онро барои таҳиягароне, ки мехоҳанд барномаҳои сабукеро эҷод кунанд, ки дар компютерҳои корбарон ҷои аз ҳад зиёдро ишғол намекунанд, беҳтарин месозад.

Намоишҳои GNU Prolog низ хеле рӯҳбаландкунанда ва қобили муқоиса бо системаҳои тиҷоратӣ мебошанд. Ин маънои онро дорад, ки шумо метавонед ба ин нармафзор такя кунед, то ҳар дафъае, ки шумо онро истифода мебаред, натиҷаҳои зуд ва муассир ба даст оред.

Дар баробари тартиб додани коди модарӣ, GNU Prolog тарҷумони классикиро (сатҳи олӣ) бо ислоҳкунанда пешниҳод мекунад. Тарҷумон ба шумо имкон медиҳад, ки рамзи худро ба таври интерактивӣ санҷед ва ҳама гуна мушкилотеро, ки ҳангоми таҳия ба миён меоянд, ислоҳ кунед.

Қисми Prolog ба стандарти ISO барои Prolog мувофиқат мекунад, ки васеъшавии бисёр дар амал хеле муфид аст (тағйирёбандаҳои глобалӣ, интерфейси ОС ва розеткаҳо). Ин маънои онро дорад, ки шумо метавонед ба ин нармафзор такя кунед, то ҳар дафъае, ки шумо онро истифода мебаред, натиҷаҳои боэътимод ба даст оред.

GNU Prolog инчунин як ҳалкунандаи самараноки маҳдудкуниро бар Доменҳои ниҳоӣ (FD) дар бар мегирад. Ин барои корбар барномасозии мантиқии маҳдудро мекушояд, ки қудрати барномасозии маҳдудиятро бо декларативии барномасозии мантиқӣ муттаҳид мекунад.

Вижагиҳо:

- Ба стандарти ISO барои пролог мувофиқат мекунад

- Имконоти таҳрири сатр дар зери тарҷумони интерактивӣ бо анҷоми атомҳо

- Интерфейси дуҷониба байни пролог ва C

- Компилятори коди аслӣ, ки файлҳои иҷрошавандаи мустақилро тавлид мекунад

- Компилятори оддии сатри фармон, ки файлҳои гуногунро қабул мекунад

- Маҳдудиятҳои пешакӣ муайяншуда: маҳдудиятҳои арифметикӣ, маҳдудиятҳои булӣ, маҳдудиятҳои рамзӣ, маҳдудиятҳои реификацияшуда.

- Эвристикаи пешакии рӯйхат.

- Маҳдудиятҳои нави аз ҷониби корбар муайяншуда

Дар ҷамъбаст:

Агар шумо дар ҷустуҷӯи як компилятори пурқувват, вале ройгони муқаддима бо ҳалли маҳдудиятҳо дар доменҳои маҳдуд бошед, пас аз GNU прологи 32-бит нигоҳ накунед! Бо андозаи хурд, вале қобилиятҳои таъсирбахши иҷроиш, ки дар якҷоягӣ бо интерфейси интуитивии корбар ин барномаро на танҳо шурӯъкунандагон, балки барномасозони ботаҷриба низ комил месозад!