Bem-vindo ao B-Prolog, um sistema de programação lógica restrição versátil e eficiente (CLP)! B-Prolog está sendo trazido a você por Afany Software (New York), KLS (Tokyo), e NandaSoft (Nanjing).
O nascimento do CLP é um marco na história das linguagens de programação. CLP combina dois paradigmas de programação declarativas: programação lógica e resolver restrição. A natureza declarativa provou apelar em inúmeras aplicações, incluindo computer-aided design e verificação, banco de dados, mineração de dados, engenharia de software, otimização, configuração, interface gráfica do usuário, e processamento da linguagem. Ele aumenta muito a produtividade do desenvolvimento de software e manutenção de software. Além disso, por causa da disponibilidade de eficiente restrição de problemas, gerenciamento de memória e técnicas de compilação, programas CLP pode ser mais eficiente do que os seus homólogos escrito em linguagens procedurais.
O que é novo nesta versão:
- Suporte UTF-8.
- Novos embutidos: getpid / 1, bp_current_resource / 1.
- correções de bugs e melhorias:
Planner
entre / 3.
subtrair / 3.
restrição
Multiplicação
Comentários não encontrado