| Versão | 8.1 |
|---|---|
| Editor | KopecSoft |
| Data de lançamento | 24 de fev. de 2014 |
| Data adicionada | 24 de fev. de 2014 |
| Os requisitos | 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 |
| Total de downloads | 946 |
| Preço | Free to try |
Descrição
Bem-vindo ao B-Prolog, um sistema de programação lógica de restrição (CLP) versátil e eficiente! O B-Prolog está sendo trazido a você pela Afany Software (Nova York), KLS (Tóquio) e NandaSoft (Nanjing).
O nascimento do CLP é um marco na história das linguagens de programação. O CLP combina dois paradigmas de programação declarativa: programação lógica e resolução de restrições. A natureza declarativa provou ser atraente em várias aplicações, incluindo projeto e verificação auxiliados por computador, banco de dados, mineração de dados, engenharia de software, otimização, configuração, interface gráfica do usuário e processamento de linguagem. Aumenta muito a produtividade do desenvolvimento de software e a capacidade de manutenção do software. Além disso, devido à disponibilidade de técnicas eficientes de resolução de restrições, gerenciamento de memória e compilação, os programas CLP podem ser mais eficientes do que seus equivalentes escritos em linguagens procedurais.
