GNU Prolog är en fri Prolog kompilator med tvång lösa över ändliga domäner. GNU Prolog accepterar Prolog med villkorsprogram och producerar infödda binärer (som gcc gör från en C-källa). Den erhållna körbara sedan fristående. Storleken på denna körbar kan vara små eftersom GNU Prolog kan undvika att länka koden för mest oanvända inbyggda predikat. Föreställningarna av GNU Prolog är mycket uppmuntrande (jämförbar med kommersiella system). Bredvid infödda-kod sammanställning, erbjuder GNU Prolog en klassisk tolk (översta nivån) med en debugger.
Den Prolog del överensstämmer med ISO-standarden för Prolog med många anknytningar mycket användbara i praktiken (globala variabler, OS-gränssnitt, och uttag). GNU Prolog innehåller också en effektiv begränsning lösare över ändliga domäner (FD). Detta öppnar begränsning logikprogrammering för användaren att kombinera kraften i villkorsprogrammering till declarativity av logikprogrammering. Funktioner inkluderar överensstämmer till ISO-standarden för Prolog, linjeredigering anläggning under interaktiva tolken med färdigställande på atomer, dubbelriktat gränssnitt mellan Prolog och C, native-kod kompilator producerar fristående körbara, enkel kommandorad kompilator acceptera en mängd olika filer, fördefinierade begränsningar:. aritmetiska begränsningar, booleska begränsningar, symboliska begränsningar och reifierade begränsningar, fördefinierade uppräknings heuristik och användar kan definiera sina egna nya begränsningar
Kommentarer hittades inte