GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-bitars) är en kraftfull och gratis Prolog-kompilator som erbjuder begränsningslösning över ändliga domäner. Denna programvara är designad för utvecklare som behöver skapa komplexa program med lätthet. GNU Prolog accepterar Prolog med begränsningsprogram och producerar inbyggda binärer, vilket gör det fristående och effektivt.

En av de viktigaste fördelarna med GNU Prolog är dess förmåga att undvika att länka koden för de flesta oanvända inbyggda predikat, vilket resulterar i mindre körbara storlekar. 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. Tolken tillhandahåller radredigeringsmöjlighet i interaktivt läge med komplettering på atomer, vilket gör det enkelt för utvecklare att felsöka sin kod.

Mjukvaran överensstämmer med ISO-standarden för Prolog med många tillägg som är mycket användbara i praktiken såsom globala variabler, OS-gränssnitt och sockets. Detta gör det lättare för utvecklare att skapa komplexa program som kan interagera sömlöst med andra system.

GNU Prolog inkluderar också en effektiv begränsningslösare över Finite Domains (FD). Detta öppnar upp för begränsningslogikprogrammering för användare genom att kombinera kraften i begränsningsprogrammering med logikprogrammerings deklarativitet. Med den här funktionen kan användare enkelt definiera sina begränsningar utan att oroa sig för syntaxfel eller andra problem.

De fördefinierade begränsningarna inkluderar aritmetiska begränsningar såsom addition och subtraktion; Booleska begränsningar som OCH/ELLER; symboliska begränsningar som strängmatchning; reifierade begränsningar som låter dig uttrycka logiska villkor med hjälp av booleska operatorer; fördefinierade uppräkningsheuristik som hjälper dig att snabbt hitta lösningar genom att systematiskt utforska olika möjligheter.

Användare kan också definiera sina egna nya begränsningar genom att använda enkla kommandon från GNU prologues kommandoradskompilator som accepterar en mängd olika filer. Detta gör det enkelt för utvecklare som vill ha mer kontroll över sitt programs beteende eller behöver specifik funktionalitet som inte är tillgänglig i fördefinierade bibliotek.

Sammanfattningsvis, om du letar efter ett kraftfullt men ändå gratis verktyg som gör att du enkelt kan skapa komplexa program samtidigt som du strikt överensstämmer med industristandarder, behöver du inte leta längre än GNU-prologen!