GNU Prolog

Versiunea actuală a paginii nu a fost încă revizuită de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 2 octombrie 2017; verificările necesită 3 modificări .
GNU Prolog
Tip de Compilator
Autor Daniel Diaz [d] [1]
Dezvoltator Daniel Diaz
Scris in C
Sistem de operare Linux , Solaris, Windows, BSD, Mac OS X
Prima editie ianuarie 1996 [2]
ultima versiune 1.5.0 ( 8 iulie 2021 )
Licență GPL v2
Site-ul web gprolog.org

GNU Prolog ( gprolog ) este un compilator de limbaj de programare Prolog dezvoltat de Daniel Diaz cu un depanator interactiv încorporat . [3] Disponibil pentru Unix , Windows și Mac OS X. Suportă extensii de limbaj: programare în constrângeri peste seturi finite , lucrul cu fișiere folosind gramatici construite pe anumite propoziții (DC-gramatici). De asemenea, oferă o interfață cu sistemul de operare.

Compilatorul traduce codul sursă în bytecode , care apoi interpretat Warren Abstract Machine Mașina virtuală și bytecode sunt combinate și salvate ca fișier executabil separat.

Vezi și

Note

  1. ↑ https://cri-dist.univ-paris1.fr/diaz/publications/cv-short.html
  2. ↑ Diaz D. , Codognet P. Design and Implementation of the GNU Prolog System  (engleză) - 2001.
  3. ↑ A Complete Guide to Computer Fundamentals - Sudipto Das - Google Books

Link -uri

 Proiectul GNU
Poveste
Licențe
software
_
Personalități
Alte subiecte