SWI-Prolog

Tela Software:
SWI-Prolog
Detalhes de Software:
Versão: 7.2.3 / 7.3.6-dev Atualizado
Data de upload: 1 Oct 15
Revelador: Jan Wielemaker
Licença: Livre
Popularidade: 99

Rating: 1.0/5 (Total Votes: 1)

É fins de programação lógica úteis, inteligência artificial e lingüística computacional

O que é novo nesta versão:.

  • A novo tipo e sintaxe de dicionário fornece ambos os mapas de tempo e espaço eficiente nome de valor com uma sintaxe agradável.
  • Como consequência, foi necessário substituir o construtor lista (H, t) pela (também em uso por Mercury) '[|]'. (H, t). Isso pode parecer drástica, mas na prática afeta apenas alguns programas, nomeadamente fazendo functor (Term, F, A) em listas e, em seguida, selecionando posterior processamento em F == '.', A == 2. Para ativar listas mais em um construção especial, [] ainda é a lista vazia, mas já não é o mesmo que '[]', ou seja, [] não é de átomo.
  • A sintaxe & quot; ... & quot; agora é mapeado para strings. Cordas são compatíveis com o Eclipse (graças a Joachim Schimpf para todas as discussões). Código-listas tradicionais são construídos usando .... As bandeiras double_quotes e back_quotes controlar esse comportamento.
  • Graças a Torbjorn Lager, temos & quot; & quot ;, Pengines motores Prolog na web. Isso fornece uma API genérica para falar confortavelmente a um servidor Prolog a partir de JavaScript e outras instâncias do Prolog. Permitiu SWISH, SWI-Prolog no seu navegador (http://swish.swi-prolog.org), bem como http://lpn.swi-prolog.org (Saiba Prolog Now! Com SWISH incorporado).
  • Markus Triska adicionado clp (b), o solver restrição boolean, melhorou o seu clp (FD) e foi antes de várias melhorias para o nível superior lidar com restrições.
  • Graças a Matt Lilley e Mike Elston, há CQL, uma DSL (Domain Specific Language) para lidar com SQL. CQL é desenvolvido em um ambiente onde os bancos de dados SQL complexas são a norma e, portanto, suporta um grande subconjunto de SQL e pode lidar com tabelas com milhares de colunas e outras coisas que o usuário SQL ocasional não vai esperar.
  • Matt Lilley melhorou significativamente suporte à rede, incluindo muito melhor suporte para SSL e apoio geral para ambos os HTTP e meias servidores proxy.
  • Muitas pessoas têm fornecido add-ons (pacotes) que dependem de SWI-Prolog versão 7.

O que é novo na versão 7.2.1 / 7.3.3-dev:

  • O novo tipo dict e sintaxe fornece ambos os mapas de tempo e espaço eficiente nome de valor com uma sintaxe agradável.
  • Como consequência, foi necessário substituir o construtor lista (H, t) pela (também em uso por Mercury) '[|]'. (H, t). Isso pode parecer drástica, mas na prática afeta apenas alguns programas, nomeadamente fazendo functor (Term, F, A) em listas e, em seguida, selecionando posterior processamento em F == '.', A == 2. Para ativar listas mais em um construção especial, [] ainda é a lista vazia, mas já não é o mesmo que '[]', ou seja, [] não é de átomo.
  • A sintaxe & quot; ... & quot; agora é mapeado para strings. Cordas são compatíveis com o Eclipse (graças a Joachim Schimpf para todas as discussões). Código-listas tradicionais são construídos usando .... As bandeiras double_quotes e back_quotes controlar esse comportamento.
  • Graças a Torbjorn Lager, temos & quot; & quot ;, Pengines motores Prolog na web. Isso fornece uma API genérica para falar confortavelmente a um servidor Prolog a partir de JavaScript e outras instâncias do Prolog. Permitiu SWISH, SWI-Prolog no seu navegador (http://swish.swi-prolog.org), bem como http://lpn.swi-prolog.org (Saiba Prolog Now! Com SWISH incorporado).
  • Markus Triska adicionado clp (b), o solver restrição boolean, melhorou o seu clp (FD) e foi antes de várias melhorias para o nível superior lidar com restrições.
  • Graças a Matt Lilley e Mike Elston, há CQL, uma DSL (Domain Specific Language) para lidar com SQL. CQL é desenvolvido em um ambiente onde os bancos de dados SQL complexas são a norma e, portanto, suporta um grande subconjunto de SQL e pode lidar com tabelas com milhares de colunas e outras coisas que o usuário SQL ocasional não vai esperar.
  • Matt Lilley melhorou significativamente suporte à rede, incluindo muito melhor suporte para SSL e apoio geral para ambos os HTTP e meias servidores proxy.
  • Muitas pessoas têm fornecido add-ons (pacotes) que dependem de SWI-Prolog versão 7.

O que é novo na versão 7.2.0 / 7.3.1-dev:

  • O novo tipo dict e sintaxe fornece ambos os mapas de tempo e espaço eficiente nome de valor com uma sintaxe agradável.
  • Como consequência, foi necessário substituir o construtor lista (H, t) pela (também em uso por Mercury) '[|]'. (H, t). Isso pode parecer drástica, mas na prática afeta apenas alguns programas, nomeadamente fazendo functor (Term, F, A) em listas e, em seguida, selecionando posterior processamento em F == '.', A == 2. Para ativar listas mais em um construção especial, [] ainda é a lista vazia, mas já não é o mesmo que '[]', ou seja, [] não é de átomo.
  • A sintaxe & quot; ... & quot; agora é mapeado para strings. Cordas são compatíveis com o Eclipse (graças a Joachim Schimpf para todas as discussões). Código-listas tradicionais são construídos usando .... As bandeiras double_quotes e back_quotes controlar esse comportamento.
  • Graças a Torbjorn Lager, temos & quot; & quot ;, Pengines motores Prolog na web. Isso fornece uma API genérica para falar confortavelmente a um servidor Prolog a partir de JavaScript e outras instâncias do Prolog. Permitiu SWISH, SWI-Prolog no seu navegador (http://swish.swi-prolog.org), bem como http://lpn.swi-prolog.org (Saiba Prolog Now! Com SWISH incorporado).
  • Markus Triska adicionado clp (b), o solver restrição boolean, melhorou o seu clp (FD) e foi antes de várias melhorias para o nível superior lidar com restrições.
  • Graças a Matt Lilley e Mike Elston, há CQL, uma DSL (Domain Specific Language) para lidar com SQL. CQL é desenvolvido em um ambiente onde os bancos de dados SQL complexas são a norma e, portanto, suporta um grande subconjunto de SQL e pode lidar com tabelas com milhares de colunas e outras coisas que o usuário SQL ocasional não vai esperar.
  • Matt Lilley melhorou significativamente suporte à rede, incluindo muito melhor suporte para SSL e apoio geral para ambos os HTTP e meias servidores proxy.
  • Muitas pessoas têm fornecido add-ons (pacotes) que dependem de SWI-Prolog versão 7.

O que é novo na versão 6.6.6 / 7.1.37:

  • Processamento de # !, obrigatório um arquivo para um intérprete em Unix não tenta ser esperto sobre as opções de processamento para o intérprete. O efeito dessa mudança depende das versões do Unix:. Alguns só passam a primeira opção, outros embalar todas as opções em um só e ainda outros passam as opções depois de quebrá-los
  • A bandeira argv Prolog só fornece argumentos que não foram processados ​​por Prolog.
  • O .plrc arquivo init (pl.ini no Windows) não é mais procurado no diretório de trabalho por motivos de segurança.

O que é novo na versão 6.6.6 / 7.1.31:

  • Processamento de # !, obrigatório um arquivo para um intérprete em Unix não tenta ser esperto sobre as opções de processamento para o intérprete. O efeito dessa mudança depende das versões do Unix:. Alguns só passam a primeira opção, outros embalar todas as opções em um só e ainda outros passam as opções depois de quebrá-los
  • A bandeira argv Prolog só fornece argumentos que não foram processados ​​por Prolog.
  • O .plrc arquivo init (pl.ini no Windows) não é mais procurado no diretório de trabalho por motivos de segurança.

O que é novo na versão 6.4.0:

  • Atualização da biblioteca RDF para a versão 3. Qualquer pessoa cuidar sobre RDF foi provavelmente já está usando a versão de desenvolvimento, por esta razão. Analisadores rápidos adicionais para ntriples, Tartaruga e Trig formatos.
  • A introdução de cotação quase para inclusão suave e segura de trechos de linguagem externa
  • Atualização de PlDoc a aceitar as construções de remarcação comum.
  • Muitas melhorias para as ferramentas de desenvolvimento, bibliotecas HTTP, pacote clib. etc. Melhor suporte para processos de daemon Unix (syslog, UID / GID gestão, etc).
  • Um começo para localidade manipulação (com suporte formato de / 3, nomeadamente escrever localidade inteiros grandes específicos.
  • Os lotes de estabilidade material:. A falha foi corrigida, correções de portabilidade, construir melhorias do sistema, etc

O que é novo na versão 6.2.0:

  • Versão inicial do `pacote 'gerenciador de pacotes
  • Melhor manipulação arquivo de origem, nomeadamente WRT. : - Incluem (File)
  • .
  • Muitas correções para o depurador, melhorando manipulação fonte ea lógica que decide sobre quais portas estão escondidos.
  • versão do Windows agora construir usando o compilador MinGW projeto, resultando em 10-20% speedup. Melhorias para swipl-win.exe console:. Copy / paste e suporte de cor

O que é novo na versão 6.0.0:

  • Dinâmica indexação just-in-time em vários argumentos .
  • abstraída muitas das APIs de desenvolvimento, apoiando o IDE PDT.
  • Os lotes de limpeza, correções de bugs, etc.

O que é novo na versão 5.11.20:.

  • Redução do uso da pista-stack
  • Fornecer coleta de lixo geracional.

O que é novo na versão 5.11.10:

  • Reduza o uso de trilha-stack. (parcialmente)
  • Fornecer coleta de lixo geracional.

O que é novo na versão 5.11.9:

  • Reduza o uso de trilha-stack. (parcialmente)
  • Fornecer coleta de lixo geracional.

O que é novo na versão 5.10.0:

  • Todas as plataformas agora usam nomes consistente. O executável SWI-Prolog é chamado swipl, o vinculador swipl-ld eo gerente resouce-file-rc swipl.
  • Nova de gerenciamento de memória de pilha que é baseado em pilha de mudança em vez de alocar as pilhas de baixa densidade no espaço de endereço virtual. Esta mudança permite muito melhor escalabilidade do número de threads, assim nós também removeu o antigo limite de contagem de threads de 100. Os limites de-pilha pode agora ser elevada e reduziu em tempo de execução usando set_prolog_stack / 2.
  • O padrão stack-size-limites são agora 128MB por stack em 32-bit e 256MB em hardware de 64 bits.
  • Extensive vazamento e de testes de esforço fixaram uma série de vazamentos e as condições de corrida, tornando o sistema muito mais robusto na configuração do servidor 24x7.
  • Um começo tem sido feito para evitar o uso do C-stack para recursing em termos. Isto permite processamento muito mais profundamente aninhada termos e fornece uma exceção limpo se não há recursos suficientes para atravessar o termo. Ainda há muito a fazer nesta área.
  • SWI-Prolog 5.10.0 introduz referências seguras para termos de banco de dados (assertz / 2, recordz / 3) e riachos (abrir / 3).
  • O número de variáveis ​​nas cláusulas está agora limitada a 1.000 milhões; este foi 65535. Além disso, o sistema fornece exceções graciosas ao encontrar-recurso erros ou tentando afirmar termos ilegais, tais como termos cíclicos.
  • Compatibilidade para ambos YAP e SICStus é reforçada.

O que é novo na versão 5.8.2:

  • LIMPEZA: Implementação e documentação da interface de sinal.
  • FIXO:. Use --nopce / - pce para (des) permitindo gráficos
  • FIXO: GC-bug; omitir descascar uwrite-bit de argumento pilha
  • Modificado: Removida a bandeira prólogo abort_with_exception; ele não é mais usado.
  • FIXO: Evitar o impasse ao tentar sair após um erro fatal
  • .
  • Modificado: is_set / 1 agora usa sort / 2. Como resultado, as variáveis ​​não-compartilhadas são consideradas diferentes elementos; a ordem é log N * (N) eo predicado pode retornar um erro de recursos.
  • FIXO: Depois: -.. módulo (x), realizar-meta de expansão em relação ao módulo x
  • LIMPEZA: Item # 547:. corretamente citar predicados indefinidos e alternativas
  • DOC: Esclarecer current_arithmetic_function / 1
  • .
  • DOC: Fornecer disponibilidade snippit para C-funções
  • FIXO: simplificação Anterior corrompido administrador variável do compilador. Também foi adicionado test-caso.
  • FIXO: Bug # 436: unificar uma variável com a própria cria um ciclo de referência
  • .

O que é novo na versão 5.7.14:

  • FIXO: cross-referencer distinguir: de 0 em declarações meta-predicado
  • LIMPEZA: Use meta_predicate para predsort / 3
  • Modificado: fazer / 0 agora apenas varreduras para referências a predicados indefinidos nos módulos que os contêm. O list_undefined / 0 ainda procura a nível mundial.
  • Melhorado: CLP (FD):. Arc-consistente global_cardinality / 2 se pares são inicialmente solo
  • FIXO: Handle (multifile) predicados para que algumas cláusulas têm o seu corpo em outro módulo e alguns na mesma. Matt Lilley.
  • ADICIONADO:% [& # X3C; n & # x3e;] f formato para format_time / 3 para lidar com frações de segundos. Usado por novas extensões de depuração.
  • ADICIONADO: debug_message_context (+ | -Context) para especificar um contexto adicional para mensagens de depuração (como um carimbo de tempo)
  • .
  • FIXO: Faça apply_macros fazer sua expansão objetivo no contexto do módulo do sistema
  • Melhorado: CLP (FD): Faster global_cardinality / 2 se pares de chaves-NUM são moídos
  • .
  • FIXO: lidar com operador de prioridades no impressão resposta. Markus Triska.
  • Melhorado: Use as opções de impressão de nível superior para objetivos residuais, a implementação de limpeza
  • Melhorado: Faça term_variables e term_attvars eficiente se uma lista é dada (nomeadamente term_attvars (Term, []))
  • .
  • Melhorado: Faça banco de dados registrado usar novo código termo-walker
  • Melhorado: Primeira instalação de um esqueleto para atravessar termos usando um loop simples em vez de um procedimento recursiva. Agora em uso para term_variables / 2 e predicados relacionados. O esquema parece adequado, mas o código de pilha segmentada deve ser otimizado consideravelmente. Como é, term_variables / 2 é um pouco mais lento (5%), mas ele pode lidar com termos profundamente aninhadas com muito menos memória e sem estouros de pilha.
  • ADICIONADO: term_attvars / 2 para um melhor suporte de copy_term / 3. Após discussão com Markus Triska.
  • ADICIONADO: del_attrs / 1 para apagar * todos * atributos. Simplifica copy_term / 3.

O que é novo na versão 5.7.12:

  • A melhoria do desempenho em programas maiores é entre 10 e 40 %, dependendo do estilo de programação. Nomeadamente os solucionadores de restrição lucrar de forma significativa. Pequenos programas mostram às vezes speedups muito maiores.
  • Desde 5.7.4, sistema de módulo atualizado
  • Os lotes de limpeza na nomeação e modularização da base de código.

Programas semelhantes

Complex
Complex

13 May 15

BigNumber.js
BigNumber.js

13 Apr 15

Latinum
Latinum

10 Dec 15

Euphorie
Euphorie

12 Apr 15

Comentário para SWI-Prolog

Comentários não encontrado
Adicionar comentário
Ligue imagens!