Estudiante

El sitio web de GNU Prolog
Current stable version is gprolog-1.3.1 versión estable actual es 1.3.1-gprolog
Table of contents Tabla de contenidos
* What is GNU Prolog ? ¿Qué es GNU Prolog?
* Features Características
* How does GNU Prolog work ? ¿Cómo funciona el trabajo de GNU Prolog?
* History Historia
* Supported Platforms & last changes Plataformas y los últimoscambios
* Manual Manual de
* Download Descargar
* Contributions and related developments Las contribuciones y los acontecimientos relacionados
* Mailing lists Listas de correo
* Reporting bugs Reportar errores

What is GNU Prolog ¿Qué es GNU Prolog
GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz . GNU Prolog es unpaís libre compilador Prolog con resolución de restricciones sobre dominios finitos desarrollado por Daniel Díaz .
GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). GNU Prolog acepta programas Prolog + restricción y produce archivos binarios nativos (como gcc no de una fuente de C). The obtained executable is then stand-alone. Elejecutable se obtiene entonces independiente. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. El tamaño de este archivo ejecutable puede ser muy pequeño ya que GNU Prolog puede evitar vincular el código de la mayor parte no utilizada incorporado en los predicados. The performances of GNU Prolog are very encouraging (comparableto commercial systems). Las actuaciones de GNU Prolog son muy alentadores (comparable a los sistemas comerciales).
Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger. Además de la compilación de código nativo, GNU Prolog ofrece un intérprete clásica interactiva (nivel superior) con un depurador.
The Prolog part conforms to theISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets,...). La parte Prolog se ajusta a la norma ISO para Prolog con muchas extensiones muy útiles en la práctica (variables globales, la interfaz del sistema operativo, enchufes ,...).
GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). GNU Prolog tambiénincluye un solucionador de restricciones eficiente a lo largo finito de dominio (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Esto abre la programación contraint lógica para el usuario combina la potencia de programación de restricciones a la declarativity de la programación lógica.
FeaturesCaracterísticas
 Prolog system: Prólogo del sistema:
* conforms to the ISO standard for Prolog (floating point numbers, streams, dynamic code,...). se ajusta a la norma ISO para Prolog (números de punto flotante, arroyos, código dinámico ,...).
* a lot of extensions: global variables, definite clause grammars (DCG), sockets interface, operating system interface,... una gran cantidad deextensiones: las variables globales, gramáticas definitiva la cláusula (DCG), interfaz de sockets, interfaz del sistema operativo, ...
* more than 300 Prolog built-in predicates. más de 300 Prolog incorporado en los predicados.
* Prolog debugger and a low-level WAM debugger. Prolog depurador y un depurador de bajo nivel WAM.
* line editing facility under the interactive interpreter withcompletion on atoms. instalación de la línea de edición en el intérprete interactivo con la finalización de los átomos.
* powerful bidirectional interface between Prolog and C. potente interfaz bidireccional entre Prolog y C.
 Compiler: Compilador:
* native-code compiler producing stand alone executables. compilador de código nativo producir ejecutables están solos.
* simple...