| Versión | 8.1 |
|---|---|
| Editor | KopecSoft |
| Fecha de lanzamiento | 24 feb 2014 |
| Fecha Agregada | 24 feb 2014 |
| Requisitos del sistema operativo | Mac OS X 10.9, Mac OS X 10.5, Mac OS X 10.8, Mac OS X 10.6 Intel, Macintosh, Mac OS X 10.4, Mac OS X 10.6, Mac OS X 10.4 Intel, Mac OS X 10.7, Mac OS X 10.5 Intel |
| Requisitos | None |
| Descargas totales | 946 |
| Precio | Free to try |
Descripción
¡Bienvenido a B-Prolog, un sistema de programación lógica de restricciones (CLP) versátil y eficiente! Afany Software (Nueva York), KLS (Tokio) y NandaSoft (Nanjing) le ofrecen B-Prolog.
El nacimiento de CLP es un hito en la historia de los lenguajes de programación. CLP combina dos paradigmas de programación declarativa: programación lógica y resolución de restricciones. La naturaleza declarativa ha demostrado ser atractiva en numerosas aplicaciones, incluido el diseño y la verificación asistidos por computadora, la base de datos, la extracción de datos, la ingeniería de software, la optimización, la configuración, la interfaz gráfica de usuario y el procesamiento del lenguaje. Mejora en gran medida la productividad del desarrollo de software y la capacidad de mantenimiento del software. Además, debido a la disponibilidad de técnicas eficientes de resolución de restricciones, administración de memoria y compilación, los programas CLP pueden ser más eficientes que sus equivalentes escritos en lenguajes de procedimiento.
