GNU Prolog (32-bit)

Beskrivelse

GNU Prolog er en gratis Prolog-compiler med begrænsningsløsning over endelige domæner. GNU Prolog accepterer Prolog med begrænsningsprogrammer og producerer native binære filer (som gcc gør fra en C-kilde). Den opnåede eksekverbare er så selvstændig. Størrelsen af ​​denne eksekverbare kan være lille, da GNU Prolog kan undgå at sammenkæde koden for de fleste ubrugte indbyggede prædikater. GNU Prologs præstationer er meget opmuntrende (sammenlignelig med kommercielle systemer). Udover den native-kode kompilering tilbyder GNU Prolog en klassisk fortolker (top-niveau) med en debugger.

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). 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. Funktionerne omfatter overensstemmelse med ISO-standarden for Prolog, linjeredigeringsfacilitet under den interaktive fortolker med færdiggørelse på atomer, tovejsgrænseflade mellem Prolog og C, native-code compiler, der producerer selvstændige eksekverbare filer, simpel kommandolinje-kompiler, der accepterer en række filer, foruddefineret begrænsninger: aritmetiske begrænsninger, boolske begrænsninger, symbolske begrænsninger og reificerede begrænsninger, foruddefinerede opregningsheuristik, og brugeren kan definere sine egne nye begrænsninger.