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
Logtalk 3.23.0
La lógica del lenguaje de programación
126
SuperCollider 3.10.2
Síntesis Audio lenguaje de programación para los especialistas.
602
Python 3.7.0
Un potente lenguaje de programación dinámica
824
Sendkeys Replacement for Visual Basic 3.00.38
Sendkeys de repuesto para Visual Basic
383
CMake 3.6.2
Un potente entorno, el software de código abierto compilación que fue especialmente diseñado para ofrecer a los desarrolladores un medio de verificar y envasar su código.
332
CLion 2018.1.2 Build 181.4668.7
Mejorar su productividad cuando se codifica con la ayuda de este entorno fácil de usar pero muy completa herramienta de desarrollo integrado para C ++
108
Understand 5.0 Build 940
Obtenga su código minuciosamente analizados por cualquier error con esta aplicación de gran alcance con el apoyo de varios lenguajes de programación y múltiples herramientas de edición.
379
JetBrains MPS 2018.3.3
Sigue escribiendo código de forma de texto-como, definir las reglas y especificar el idioma de tipo de sistema y limitaciones
130
Visual Studio Express Edition 2010
Crea tus propios proyectos
156
Rodeo 2.4.10
Escribir los códigos de secuencia de comandos y crear COM, NET u objetos COBRA sin demasiados problemas utilizando este entorno de desarrollo integrado Python.
134