GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) er en kraftfuld og gratis Prolog-compiler, der tilbyder begrænsningsløsning over begrænsede domæner. Denne software er designet til udviklere, der har brug for at skabe komplekse programmer med lethed. GNU Prolog accepterer Prolog med begrænsningsprogrammer og producerer native binære filer, ligesom gcc gør fra en C-kilde. Den opnåede eksekverbare er så stand-alone, hvilket betyder, at den kan køre på enhver computer uden behov for yderligere software eller biblioteker.

En af de vigtigste fordele ved GNU Prolog er dens lille størrelse. Da denne software kan undgå at sammenkæde koden for de fleste ubrugte indbyggede prædikater, kan størrelsen af ​​den eksekverbare være meget lille. Dette gør den ideel til udviklere, der ønsker at skabe lette applikationer, der ikke fylder for meget på brugernes computere.

GNU Prologs præstationer er også meget opmuntrende og kan sammenlignes med kommercielle systemer. Det betyder, at du kan stole på, at denne software leverer hurtige og effektive resultater, hver gang du bruger den.

Udover den native-kode kompilering tilbyder GNU Prolog en klassisk fortolker (top-niveau) med en debugger. Fortolkeren giver dig mulighed for at teste din kode interaktivt og fejlsøge eventuelle problemer, der opstår under udvikling.

Prolog-delen er i overensstemmelse med ISO-standarden for Prolog med mange udvidelser, der er meget nyttige i praksis (globale variabler, OS-interface og sockets). Det betyder, at du kan stole på, at denne software leverer pålidelige resultater, hver gang du bruger den.

GNU Prolog inkluderer også en effektiv begrænsningsløser over Finite Domains (FD). Dette åbner begrænsningslogikprogrammering for brugeren ved at kombinere styrken af ​​begrænsningsprogrammering med logisk programmerings deklarativitet.

Funktioner:

- Overholder ISO standard for prolog

- Linjeredigeringsfacilitet under interaktiv fortolker med færdiggørelse på atomer

- Tovejs grænseflade mellem prolog og C

- Native-code compiler, der producerer selvstændige eksekverbare filer

- Simpel kommandolinje-kompiler, der accepterer forskellige filer

- Foruddefinerede begrænsninger: aritmetiske begrænsninger, boolske begrænsninger, symbolske begrænsninger, reificerede begrænsninger.

- Foruddefinerede opregningsheuristik.

- Brugerdefinerede nye begrænsninger

Sammenfattende:

Hvis du leder efter en kraftfuld, men fri prolog-compiler med begrænsningsløsning over endelige domæner, så led ikke længere end GNU prologue 32-bit! Med sin lille størrelse og alligevel imponerende ydeevne kombineret med en intuitiv brugergrænseflade gør dette program perfekt, ikke kun begyndere, men også erfarne programmører!