B-prólogo Un gran compilador de prólogo para Darwim.
Descargar ahora

B-prólogo Clasificación y resumen

B-prólogo Etiquetas

desarrollador Ayuda de desarrolladores compilador prólogo programación lógica ayuda prólogo

B-prólogo Descripción

Un gran compilador de prólogo para Darwim. ¡B-Prolog es un sistema de programación lógica de restricción versátil y realmente eficiente (CLP)! B-PROG está siendo traído a usted por Afany Software (Nueva York), KLS (Tokio) y Nandasoft (Nanjing). El nacimiento de CLP es un hito en la historia de las lenguas de programación. CLP combina dos paradigmas de programación declarativos: 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, base de datos, la base de datos, la minería de datos, la ingeniería de software, la optimización, la configuración, la interfaz de usuario gráfica y el procesamiento de idiomas. Uno de los objetivos de B-PROG es mejorar la productividad de la capacidad de mantenimiento y el desarrollo del software. En la adición, debido a la disponibilidad de la resolución de restricciones eficientes, la gestión de la memoria y las técnicas de compilación, los programas de CLP pueden ser más eficientes que sus contrapartes escritos en idiomas procesales . ¿Qué hay de nuevo en este lanzamiento: · Restricciones de tabla. Una mesa o restricción de extensión es positiva o negativa. Una restricción positiva toma la forma 'X en R' y una restricción negativa toma la forma 'x Notin R' donde X es una variables de tupla (x1, ..., xn) o una lista de tuplas de variables , y R es una tabla definida como un conjunto de tuplas de enteros donde cada tupla toma el formulario (A1, ..., A). · Soporte de modos de tabla. Una declaración de la tabla toma la forma ': -table P (M1, ..., MN): n.' donde P / N es un predicado, MI es un modo (que puede ser 'MIN', 'MAX', '+','- ',' - ', o'? '), y n es un límite en el número de respuestas para ser presentó. Si no se da ningún límite, entonces se asume que solo se presenta una respuesta. · Iteración incorporada: foreach (iteradores, vavones, metas) y foreach (iteradores, vavones, acumuladores, meta) · Nuevas limitaciones globales: post_neqs / 1 y post_disjuntive_tasks / 1. · Los eventos de tiempo se manejan con la máxima prioridad. · Las restricciones de igualdad binarias están más especializadas. · Restricciones globales agregadas: Serializado / 2, Asignación / 2, y Asignación0 / 2. · 'Var en D' y 'var Notin D' puede ocurrir en restricciones booleanas. · La bandera desconocida funciona de nuevo. · Versión mejorada de call_cleanup / 2. · Una solución de errores en el compilador. · Una solución de errores en la interfaz GLPK.

B-prólogo Software relacionado