SWI-Prolog 7.6.4

SWI-Prolog - Una herramienta basada en una máquina virtual Prolog muy simple llamado ZIP que define 7 instrucciones.

Una herramienta basada en una máquina virtual Prolog muy simple llamado ZIP que define 7 instrucciones.

Prolog puede ser fácilmente compilado en este lenguaje y el código máquina abstracta es fácilmente decompiled nuevo en Prolog. Como también es posible conectar un depurador 4-puerto estándar en la máquina virtual no hay necesidad de una distinción entre el código compilado y interpretado.

Además de simplificar el diseño del sistema de Prolog en sí este enfoque tiene ventajas para el desarrollo del programa: el compilador es sencillo y rápido, el usuario no tiene que decidir de antemano si se requiere la depuración y el sistema sólo se ejecuta un poco más lento cuando está en modo de depuración.

El precio que tenemos que pagar es una degradación de rendimiento (la extracción del depurador del intérprete VM mejora el rendimiento en un 20%) y el uso de la memoria algo adicional para ayudar al descompilador y depurador.

SWI-Prolog tiene la posibilidad de ampliar el conjunto mínimo de instrucciones con el fin de mejorar el rendimiento.

Mientras que la ampliación de este cuidado conjunto se ha tomado para mantener las ventajas de la descompilación y el rastreo de código compilado.

Las extensiones incluyen instrucciones especializadas para la unificación, la invocación de predicados, algunos predicados integrados de uso frecuente, la aritmética y de control (;/ 2, | / 2), si-entonces (-> / 2) y la negación por el fracaso (\ + / 1).

SWI-Prolog Details

Programas relacionados
ActiveState ActiveTcl (Linux) 8.6.4.1
El seguimiento completo, listo para instalar Tcl.
144
PureBasic 5.62
Un lenguaje de programación que se basa en las normas básicas establecidas .
538
Closure Compiler 20180506
Optimizar el código JavaScript mediante la eliminación de las zonas muertas de código, el control de la sintaxis y las referencias a variables con este compilador firmado por Google.
85
Scala 2.12.8
Un lenguaje de programación de propósito general
106
ActiveState ActiveTcl (Windows) 8.6.4.1
El seguimiento completo, listo para instalar Tcl.
143
R for Windows 3.5.1
Un entorno de software para computación y gráficos estadísticos.
535
ESBPCS-Stats for VCL 6.8.1
Estadística y la Matriz / Componentes vectoriales.
114
AudioLab VCL 7.7
Audio Capture & Biblioteca VCL Procesamiento
167
ActivePerl 5.26.0.2600
Una distribución de Perl completa, de calidad garantizada y listos para instalar para Windows.
332
Seed7 05_20141019
Nuevo lenguaje de programación para su uso.
401