GNU Prolog

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 2 oktober 2017; kontroller kräver 3 redigeringar .
GNU Prolog
Sorts Kompilator
Författare Daniel Diaz [d] [1]
Utvecklaren Daniel Diaz
Skrivet i C
Operativ system Linux , Solaris, Windows, BSD, Mac OS X
Första upplagan Januari 1996 [2]
senaste versionen 1.5.0 ( 8 juli 2021 )
Licens GPL v2
Hemsida gprolog.org

GNU Prolog ( gprolog ) är en Prolog programmeringsspråk kompilator utvecklad av Daniel Diaz med en inbyggd interaktiv debugger . [3] Tillgänglig för Unix , Windows och Mac OS X. Stöder språktillägg: programmering i begränsningar över ändliga uppsättningar , arbete med filer med hjälp av grammatik som bygger på vissa meningar (DC-grammatik). Det ger också ett gränssnitt till operativsystemet.

Kompilatorn översätter källkoden till bytekod , sedan tolkas Warren Abstract Machine Den virtuella maskinen och bytekoden kombineras och sparas som en separat körbar fil.

Se även

Anteckningar

  1. ↑ https://cri-dist.univ-paris1.fr/diaz/publications/cv-short.html
  2. ↑ Diaz D. , Codognet P. Design och implementering av GNU Prolog System  (engelska) - 2001.
  3. ↑ En komplett guide till datorns grunder - Sudipto Das - Google Books

Länkar

 GNU-projekt
Berättelse
Licenser
Programvara
_
Personligheter
Andra ämnen