GNU Prolog.

Compilatore di prolog gratuito con vincoli che risolvono i domini finiti
Scarica ora

GNU Prolog. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • Nome editore:
  • Daniel Diaz
  • Sistemi operativi:
  • Windows
  • Dimensione del file:
  • 5.3 MB
  • Data di rilascio:
  • 2021-04-28 10:26:36

GNU Prolog. Tag


GNU Prolog. Descrizione

Gnu Prolog è un compilatore di prolog gratuito con vincoli che risolvono i domini finiti. GNU Prolog accetta programmi di vincoli di Prolog e produce binari nativi (come GCC fa da una fonte C). L'eseguibile ottenuto è quindi autonomo. La dimensione di questo eseguibile può essere piuttosto piccola poiché GNU Prolog può evitare di collegare il codice dei previsti integrati più inutilizzati. Le esibizioni di GNU Prolog sono molto incoraggianti. Accanto alla compilazione del codice nativo, GNU Prolog offre un interprete interattivo classico (alto livello) con un debugger. La parte Prolog è conforme allo standard ISO per Prolog con molte estensioni molto utili nella pratica. GNU Prolog comprende anche un efficiente risolutore di vincoli sui domini finiti (FD). Ciò apre la programmazione della logica del contrasto all'utente che combina la potenza della programmazione dei vincoli alla dichiarazione della programmazione logica.


GNU Prolog. Software correlato

Chi siamo