Bienvenido a B-Prolog, un sistema de programación lógica limitación versátil y eficiente (CLP)! B-Prolog está siendo traído a usted por Afany Software (Nueva York), KLS (Tokio), y NandaSoft (Nanjing). Francia El nacimiento de CLP es un hito en la historia de los lenguajes de programación. CLP combina dos paradigmas de programación declarativos: programación lógica y la resolución de restricciones. La naturaleza declarativa ha probado ser atractiva en numerosas aplicaciones, incluyendo el diseño asistido por ordenador y la verificación, la base de datos, minería de datos, ingeniería de software, optimización, configuración, interfaz gráfica de usuario, y el procesamiento del lenguaje. Se mejora en gran medida la productividad del desarrollo de software y de mantenimiento de software. Además, debido a la disponibilidad de restricción de problemas eficiente, gestión de memoria, y técnicas de compilación, programas de CLP pueden ser más eficientes que sus contrapartes escritos en lenguas de procedimiento.
¿Qué hay de nuevo en esta versión:
- Soporte UTF-8.
- Nuevos muebles empotrados: GETPID / 1, bp_current_resource / 1.
- Corrección de errores y mejoras:
Planner
entre / 3.
restar / 3.
Multiplicación restricción
Comentarios que no se encuentran