GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-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, precis som gcc gör från en C-källa. Den erhållna körbara filen är då fristående, vilket innebär att den kan köras på vilken dator som helst utan behov av ytterligare programvara eller bibliotek.

En av de viktigaste fördelarna med GNU Prolog är dess ringa storlek. Eftersom denna programvara kan undvika att länka koden för de flesta oanvända inbyggda predikat, kan storleken på den körbara filen vara mycket liten. Detta gör den idealisk för utvecklare som vill skapa lätta applikationer som inte tar upp för mycket utrymme på användarnas datorer.

Prestandan hos GNU Prolog är också mycket uppmuntrande och jämförbar med kommersiella system. Det betyder att du kan lita på att denna programvara levererar snabba och effektiva resultat varje gång du använder den.

Förutom den inbyggda kodkompileringen erbjuder GNU Prolog en klassisk tolk (toppnivå) med en debugger. Tolken låter dig testa din kod interaktivt och felsöka eventuella problem som uppstår under utvecklingen.

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). Det betyder att du kan lita på att denna programvara levererar tillförlitliga resultat varje gång du använder den.

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:

- Överensstämmer med ISO-standard för prolog

- Linjeredigeringsmöjlighet under interaktiv tolk med komplettering på atomer

- Dubbelriktat gränssnitt mellan prolog och C

- Native-kodkompilator som producerar fristående körbara filer

- Enkel kommandoradskompilator som accepterar olika filer

- Fördefinierade begränsningar: aritmetiska begränsningar, booleska begränsningar, symboliska begränsningar, reifierade begränsningar.

- Fördefinierad uppräkningsheuristik.

- Användardefinierade nya begränsningar

Sammanfattningsvis:

Om du letar efter en kraftfull men ändå fri prologkompilator med begränsningslösning över ändliga domäner, behöver du inte leta längre än GNU prolog 32-bitars! Med sin lilla storlek men ändå imponerande prestandaförmåga kopplad till ett intuitivt användargränssnitt gör detta program perfekt, inte bara nybörjare utan även erfarna programmerare!