GNU Prolog er en gratis Prolog compiler med tvang løse over endelige domæner. GNU Prolog accepterer Prolog med constraint-programmer og producerer indfødte binære filer (som gcc gør fra en C-kilde). Den opnåede eksekverbare derefter enkeltstående. Størrelsen af denne fil kan være lille, da GNU Prolog kan undgå forbinder kode mest uudnyttede indbyggede prædikater. Opførelser af GNU Prolog er meget opmuntrende (kan sammenlignes med kommercielle systemer). Ved siden af den native kode kompilering, GNU Prolog tilbyder en klassisk tolk (øverste niveau) med en debugger.
Prolog del er i overensstemmelse med ISO-standarden for Prolog med mange udvidelser meget anvendelige i praksis (globale variabler, OS interface, og stikkontakter). GNU Prolog indeholder også en effektiv begrænsning solver over endelige domæner (FD). Dette åbner begrænsning logik programmering for brugeren at kombinere kraften fra tvang programmering til declarativity logik programmering. Funktionerne omfatter Er i overensstemmelse med ISO-standarden for Prolog, line redigering facilitet under den interaktive tolk med færdiggørelse af atomer, tovejs grænseflade mellem Prolog og C, native-kode compiler producerer stå alene eksekverbare, simpel kommando-line compiler acceptere en række filer, foruddefinerede begrænsninger:. aritmetiske begrænsninger, booleske begrænsninger, symbolske begrænsninger og tingsliggjort begrænsninger, foruddefinerede tælling heuristik og brugergrupper kan definere sine egne nye begrænsninger
Kommentarer ikke fundet