GNU Prolog (32-bit)

Skjermbilde programvare:
GNU Prolog (32-bit)
Prog.varedetaljer:
Versjon: 1.4.3
Last opp dato: 23 Jan 15
Utvikler: Daniel Diaz
Lisens: Gratis
Popularitet: 229
Størrelse: 4592 Kb

Rating: 1.8/5 (Total Votes: 5)

GNU Prolog er et gratis Prolog kompilator med begrensningen løse over endelige domener. GNU Prolog aksepterer Prolog med begrensningsprogrammer og produserer innfødte binærfiler (som gcc gjør fra en C kilde). Den oppnådde kjørbar deretter frittstående. Størrelsen på denne kjørbar kan være små, siden GNU Prolog kan unngå å koble inn koden for de ubrukte innebygde predikater. Forestillinger av GNU Prolog er svært oppmuntrende (kan sammenlignes med kommersielle systemer). GNU Prolog ved siden av mors-kode kompilering, og tilbyr en klassisk tolk (øverste nivå) med en debugger.

Den Prolog del i samsvar med ISO-standard for Prolog med mange utvidelser svært nyttige i praksis (globale variabler, OS-grensesnittet, og stikkontakter). GNU Prolog inkluderer også en effektiv begrensning løser over endelige domener (FD). Dette åpner begrensning logikk programmering for brukeren å kombinere kraften av begrensningen programmering til declarativity av logikk programmering. Funksjoner inkluderer Oppfyller ISO-standard for Prolog, linje redigering anlegget under interaktiv tolk med ferdigstillelse på atomer, toveis grensesnitt mellom Prolog og C, native-kode kompilatoren produserer frittstående kjørbare, enkel kommandolinje-kompilator akseptere en rekke filer, forhåndsdefinert begrensninger:. aritmetiske begrensninger, boolske begrensninger, symbolske begrensninger, og levendegjort begrensninger, forhåndsdefinerte oppregning heuristikker og bruker kan definere sine egne nye begrensninger

Støttede operativsystemer

Lignende programvare

HtmCompiler
HtmCompiler

2 Nov 15

Soap Generate Gear
Soap Generate Gear

12 Jul 15

Visual BNF
Visual BNF

22 Sep 15

Annen programvare fra utvikleren Daniel Diaz

Kommentarer til GNU Prolog (32-bit)

Kommentarer ikke funnet
Legg til kommentar
Slå på bilder!