Icono del programa: B-Prolog

B-Prolog para Mac

Descargar ahora

Detalles clave de B-Prolog

  • Compilador de Prolog para Darwin.
  • Última actualización el
  • Ha habido 3 actualizaciones
  • Estado de análisis de virus:

    Limpio (es muy probable que este programa de software esté limpio)

Descripción del desarrollador

By KopecSoft
Compilador de Prolog para Darwin.
¡Bienvenido a B-Prolog, un sistema de programación lógica de restricciones (CLP) versátil y eficiente! B-Prolog es presentado por Afany Software (Nueva York), KLS (Tokio) y NandaSoft (Nanjing). 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, incluyendo diseño y verificación asistidos por ordenador, bases de datos, minería de datos, ingeniería de software, optimización, configuración, interfaz gráfica de usuario y procesamiento de lenguajes. Mejora enormemente la productividad del desarrollo de software y la mantenibilidad del software. Además, debido a la disponibilidad de técnicas eficientes de resolución de restricciones, gestión de memoria y compilación, los programas CLP pueden ser más eficientes que sus contrapartes escritas en lenguajes procedimentales.
Icono del programa: B-Prolog

B-Prolog para Mac

Descargar ahora

Explorar más

Especificaciones completas

GENERAL
Lanzamiento
Última actualización
Versión
8.1
SISTEMAS OPERATIVOS
Plataforma
Mac
Sistema operativo
  • Mac OS X 10.5
  • Mac OS X
  • Mac OS X 10.7
  • OS X 10.9
  • OS X 10.8
  • Mac OS X 10.6
  • Mac OS X 10.4
POPULARIDAD
Descargas totales
0
Descargas de la última semana
0
Informar sobre el software

Programa disponible en otros idiomas

Últimas actualizaciones