B-Prolog Um grande compilador de Prolog para Darwim.
Baixe Agora

B-Prolog Classificação e resumo

B-Prolog Tag

desenvolvedor Ajuda do desenvolvedor Prolog Compilador programação lógica ajuda Prolog

B-Prolog Descrição

Um grande compilador de Prolog para Darwim. B-Prolog é um sistema de programação lógica de restrição versátil e realmente eficiente (CLP)! O B-Prolog está sendo levado a você pelo software Afany (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 declarativos: programação lógica e solução de restrição. A natureza declarativa provou apelar em numerosas aplicações, incluindo 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 de linguagem. Um dos objetivos do B-Prolog é melhorar a produtividade da manutenção e desenvolvimento de software. Além da disponibilidade de técnicas de resolução de restrições eficientes, gerenciamento de memória e compilação, os programas da CLP podem ser mais eficientes do que suas contrapartes escritas em linguagens processuais . O que há de novo nesta versão: · Restrições de tabela. Uma mesa ou restrição extensional é positiva ou negativa. Uma restrição positiva toma o formulário 'x em r' e uma restrição negativa leva a forma 'x notin r' onde x é uma variola de tupla (x1, ..., xn) ou uma lista de tuplas de variáveis , e r é uma tabela definida como um conjunto de tuples de inteiros em que cada tupla assume a forma (A1, ..., A). · Suporte de modos de tabela. Uma declaração de mesa assume a forma ': -table p (m1, ..., mn): n.' onde P / N é um predicado, o MI é um modo (que pode ser 'min', 'max', '+', '-', ou '?'), e n é um limite no número de respostas a serem apresentado. Se nenhum limite for dado, é assumido que apenas uma resposta é apresentada. · Iteração built-ins: foreach (iteradores, localvars, objetivo) e foreach (iteradores, locais, acumuladores, objetivo) · Novas restrições globais: post_neqs / 1 e post_disjuntive_tasks / 1. · Os eventos do tempo são tratados com a principal prioridade. · Restrições de igualdade binária são mais especializadas. · Adicionado restrições globais: serializado / 2, atribuição / 2 e atribuição0 / 2. · 'Var em d' e 'var notin d' pode ocorrer em restrições booleanas. · A bandeira desconhecida funciona novamente. · Versão aprimorada do Call_CleAp / 2. · Uma correção de bug no compilador. · Uma correção de bug na interface GLPK.

B-Prolog Software Relacionado