GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-Bit) ass e mächtege a gratis Prolog Compiler deen Aschränkungsléisung iwwer endlech Domainen ubitt. Dës Software ass fir Entwéckler entworf déi komplex Programmer mat Liichtegkeet erstellen mussen. GNU Prolog akzeptéiert Prolog mat Constraint Programmer a produzéiert gebierteg Binären, sou wéi gcc aus enger C Quell mécht. Dee kritt ausführbar ass dann Stand-alone, dat heescht datt et op all Computer ka lafen ouni zousätzlech Software oder Bibliothéiken.

Ee vun de bedeitendsten Virdeeler vum GNU Prolog ass seng kleng Gréisst. Well dës Software vermeide kann de Code vun de meescht onbenotzten agebaute Prädikate verbannen, kann d'Gréisst vum ausführbar ganz kleng sinn. Dëst mécht et ideal fir Entwéckler déi liicht Applikatiounen erstellen wëllen déi net ze vill Plaz op de Computer vun de Benotzer ophuelen.

D'Leeschtunge vum GNU Prolog sinn och ganz encouragéierend a vergläichbar mat kommerziellen Systemer. Dëst bedeit datt Dir op dës Software vertraue kënnt fir séier an effizient Resultater ze liwweren all Kéier wann Dir se benotzt.

Nieft der gebierteg-Code-Kompilatioun bitt GNU Prolog e klassesche Dolmetscher (Top-Level) mat engem Debugger. Den Dolmetscher erlaabt Iech Äre Code interaktiv ze testen an all Themen ze debuggen déi während der Entwécklung entstinn.

De Prolog Deel entsprécht dem ISO Standard fir Prolog mat villen Extensiounen ganz nëtzlech an der Praxis (global Variablen, OS Interface, a Sockets). Dëst bedeit datt Dir op dës Software vertraue kënnt fir zouverlässeg Resultater all Kéier wann Dir se benotzt.

GNU Prolog enthält och en effiziente Constraint Solver iwwer Finite Domains (FD). Dëst mécht Constraint Logik Programméiere fir de Benotzer d'Kraaft vun der Constraint Programméierung mat der Deklarativitéit vun der Logik Programméierung.

Eegeschaften:

- Entsprécht dem ISO Standard fir Prolog

- Linn Redaktioun Ariichtung ënner interaktiven Dolmetscher mat Fäerdegstellung op Atomer

- Bidirektional Interface tëscht Prolog an C

- Native-Code Compiler produzéiert stand-alone ausführbar

- Einfach Kommando-Linn Compiler akzeptéiert verschidde Dateien

- Virdefinéiert Aschränkungen: arithmetesch Aschränkungen, Boolesch Aschränkungen, symbolesch Aschränkungen, reifizéiert Aschränkungen.

- Predefinéiert Opzielungsheuristik.

- Benotzerdefinéiert nei Aschränkungen

Zesummefaassend:

Wann Dir no engem mächtegen awer gratis Prolog Compiler sicht mat Beschränkungsléisung iwwer endlech Domainen, da kuckt net méi wäit wéi GNU Prolog 32-Bit! Mat senger klenger Gréisst, awer beandrockend Leeschtungsfäegkeeten, gekoppelt duerch eng intuitiv User-Interface, maachen dëse Programm perfekt net nëmmen Ufänger, awer och erfuerene Programméierer!