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
Approximatrix Simply Fortran 3.3 Build 3041
Una solución completa e integral para los desarrolladores de Fortran de todos los niveles que necesitan una herramienta fácil de usar con un depurador integrado.
103
TVideoGrabber Delphi Video SDK 10.8.2.8
Captura de video, reproductor de medios de comunicación, de superposición, Editar SDK
259
Delphi 7 Enterprise 7
Borland DelphiTM 7 Studio Enterprise
6,883
PureBasic 5.70
Un lenguaje de programación que se basa en las normas básicas establecidas .
641
LuaStudio 9.7.0
Compilar y depurar scripts Lua, analizar el código fuente, modificar los fragmentos y ocultar las líneas de código que no es necesario el uso de esta aplicación.
102
PyCharm 2019.1.1 Build 191.6605.1
Potente IDE Python y Django.
343
DEV-C++ 5.11
A todas las funciones IDE para C / C + +
2,656
Eric IDE 19.06
Una aplicación eficaz y fiable destinado a funcionar como un entorno de desarrollo para escribir , editar y imrpove su código
155
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.
124