| Wersiýa | 1.4.3 |
|---|---|
| Neşirçi | Daniel Diaz |
| Çykan senesi | 8 apr 2013 |
| Sene goşuldy | 8 apr 2013 |
| Os talaplary | Windows, Windows 7 |
| Talaplar | None |
| Jemi ýüklemeler | 812 |
| Bahasy | Free |
Düşündiriş
GNU Prolog, çäkli domenlerde çäklendirme çözgüdi bolan mugt Prolog düzüjisidir. GNU Prolog çäklendiriji programmalar bilen Prology kabul edýär we ýerli ikilik önümlerini öndürýär (gcc C çeşmesinden edişi ýaly). Alnan ýerine ýetirip bolýan bolsa, ýeke özi bolýar. Bu ýerine ýetirilip bilinjek ululyk kiçi bolup biler, sebäbi GNU Prolog iň köp ulanylmadyk gurlan predikatlaryň koduny baglanyşdyrmakdan saklanyp biler. GNU Prologyň çykyşlary gaty höweslendiriji (täjirçilik ulgamlary bilen deňeşdirip bolýar). Nativeerli kod düzmekden başga-da, GNU Prolog düzediji bilen nusgawy terjimeçini (ýokary derejeli) hödürleýär.
Prolog bölegi iş ýüzünde örän peýdaly köp sanly giňeltmeler bilen (global üýtgeýänler, OS interfeýsi we rozetkalary) Prolog üçin ISO standartyna laýyk gelýär. GNU Prolog, şeýle hem, Finite Domain (FD) boýunça täsirli çäklendiriji çözüjini öz içine alýar. Bu, çäklendiriji programmirlemegiň güýjüni logiki programmirlemegiň deklaratiwligini birleşdirýän ulanyja çäkli logiki programmirlemäni açýar. Aýratynlyklary Prolog üçin ISO standartyna laýyk gelýär, atomlary tamamlamak bilen interaktiw terjimeçiniň aşagyndaky redaktirleme desgasy, Prolog bilen C arasynda iki taraplaýyn interfeýs, ýeke özi ýerine ýetirip bolýan ýerli kod düzüjisi, dürli faýllary kabul edýän ýönekeý buýruk setiri düzüjisi. çäklendirmeler: arifmetiki çäklendirmeler, Boolean çäklendirmeleri, simwoliki çäklendirmeler we gaýtadan kesgitlenen çäklendirmeler, öňünden kesgitlenen sanama ýewropikasy we ulanyjy özüniň täze çäklendirmelerini kesgitläp biler.
