GNU Prolog (64-bit)

Beskrivning

GNU Prolog är en gratis Prolog-kompilator med begränsningslösning över ändliga domäner. GNU Prolog accepterar Prolog med begränsningsprogram och producerar inbyggda binärer (som gcc gör från en C-källa). Den erhållna körbara filen är sedan fristående. Storleken på den här körbara filen kan vara liten eftersom GNU Prolog kan undvika att länka koden för de flesta oanvända inbyggda predikat. Prestandan hos GNU Prolog är mycket uppmuntrande (jämförbar med kommersiella system). Förutom den inbyggda kodkompileringen erbjuder GNU Prolog en klassisk tolk (toppnivå) med en debugger.

Prolog-delen överensstämmer med ISO-standarden för Prolog med många tillägg som är mycket användbara i praktiken (globala variabler, OS-gränssnitt och sockets). GNU Prolog inkluderar också en effektiv begränsningslösare över Finite Domains (FD). Detta öppnar begränsningslogikprogrammering för användaren genom att kombinera kraften hos begränsningsprogrammering med logisk programmerings deklarativitet. Funktioner inkluderar överensstämmer med ISO-standarden för Prolog, radredigeringsmöjlighet under den interaktiva tolken med komplettering på atomer, dubbelriktat gränssnitt mellan Prolog och C, inbyggd kodkompilator som producerar fristående körbara filer, enkel kommandoradskompilator som accepterar en mängd olika filer, fördefinierad begränsningar: aritmetiska begränsningar, booleska begränsningar, symboliska begränsningar och reifierade begränsningar, fördefinierade uppräkningsheuristik, och användaren kan definiera sina egna nya begränsningar.