Logtalk

Tela Software:
Logtalk
Detalhes de Software:
Versão: 3.03.0 Atualizado
Data de upload: 11 Mar 16
Revelador: Paulo Moura
Licença: Livre
Popularidade: 24

Rating: nan/5 (Total Votes: 0)

Prolog é uma linguagem de programação lógica de propósito geral que foi lançado em 1972, com muito poucas alterações desde então.

Logtalk foi criado para adicionar recursos mais modernos para Prolog, principalmente melhorias de desempenho, expressões lambda, regras gramaticais, erros do compilador melhorados e relatórios de aviso.

No topo destes, adicione um processo de instalação mais fácil e atualizações de compatibilidade compilador Prolog.

Isso faz com que Logtalk uma alternativa melhor, mais adequado para Prolog no dia moderno AI e lingüística computacional cenários, uma muito mais poderosa linguagem multi-paradigma, adequado para orientada a eventos e de alto nível, multi-threading programação.

sintaxe Atualmente Logtalk estende a sintaxe Prolog padrão e você pode executar Logtalk sobre estes compiladores Prolog:

B-Prolog

CxProlog

Eclipse

GNU Prolog

magra Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

YAP

O que é novo nesta versão:

  • MELHORADO:
  • As alterações nas etiquetas termo usado quando escrevendo código compilado para ajudar a minimizar o tamanho dos arquivos do Prolog intermediários gerados que usam essas marcas para decidir quando para decorar termos compilado com dados de localização de origem (atualmente, apenas a SWI-Prolog aproveita a dados de localização).
  • FIXO:
  • Um arquivo pode ter mais de um arquivo principal.

O que é novo na versão 3.02.2:

  • MELHORADO:
  • As alterações nas etiquetas termo usado quando escrevendo código compilado para ajudar a minimizar o tamanho dos arquivos do Prolog intermediários gerados que usam essas marcas para decidir quando para decorar termos compilado com dados de localização de origem (atualmente, apenas a SWI-Prolog aproveita a dados de localização).
  • FIXO:
  • Um arquivo pode ter mais de um arquivo principal.

O que é novo na versão 3.02.1:

  • MELHORADO:
  • As alterações nas etiquetas termo usado quando escrevendo código compilado para ajudar a minimizar o tamanho dos arquivos do Prolog intermediários gerados que usam essas marcas para decidir quando para decorar termos compilado com dados de localização de origem (atualmente, apenas a SWI-Prolog aproveita a dados de localização).
  • FIXO:
  • Um arquivo pode ter mais de um arquivo principal.

O que é novo na versão 3.00.4:

  • MELHORADO:
  • As alterações nas etiquetas termo usado quando escrevendo código compilado para ajudar a minimizar o tamanho dos arquivos do Prolog intermediários gerados que usam essas marcas para decidir quando para decorar termos compilado com dados de localização de origem (atualmente, apenas a SWI-Prolog aproveita a dados de localização).
  • FIXO:
  • Um arquivo pode ter mais de um arquivo principal.

O que é novo na versão 3.00.2:

  • MELHORADO:
  • As alterações nas etiquetas termo usado quando escrevendo código compilado para ajudar a minimizar o tamanho dos arquivos do Prolog intermediários gerados que usam essas marcas para decidir quando para decorar termos compilado com dados de localização de origem (atualmente, apenas a SWI-Prolog aproveita a dados de localização).
  • FIXO:
  • Um arquivo pode ter mais de um arquivo principal.

O que é novo na versão 3.00.1:

  • MELHORADO:
  • As alterações nas etiquetas termo usado quando escrevendo código compilado para ajudar a minimizar o tamanho dos arquivos do Prolog intermediários gerados que usam essas marcas para decidir quando para decorar termos compilado com dados de localização de origem (atualmente, apenas a SWI-Prolog aproveita a dados de localização).
  • FIXO:
  • Um arquivo pode ter mais de um arquivo principal.

O que é novo na versão 2.44.1:

  • Corrigido um bug na compilação do meta_non_terminal / 1 directiva, em que apenas a primeira meta-argumento seria processado corretamente.
  • Atualizado o arquivo de configuração do Eclipse para detectar quando rodando em sistemas de bits do Windows 64 e ignorar não-predicado e não-operador exportações quando pré-processamento lib / 1 directivas.
  • Actualização do quadro de teste de unidade para imprimir mensagens mais informativas para testes de unidade com falha.
  • predicado Adicionado dividir / 4 (para dividir uma lista em sublistas com um determinado comprimento) para o & quot; listp & quot ;, & quot; lista & quot ;, e & quot; difflist & quot; entidades da biblioteca.
  • Atualizado o & quot; cc & quot; exemplo, com uma definição para o shell / 2 predicado para CxProlog.
  • Mudou os nomes dos objetos no & quot; mi & quot; exemplo para evitar um conflito de nomes ao executar os testes de exemplo de unidade.
  • Corrigido um bug no instalador do Windows que impedia a detecção de YAP 64 bits versões. Graças a Stepan Ipatov para o relatório de bug.

O que é novo na versão 2.44.0:

  • Esta versão muda a semântica do complementando categorias, permitindo seu uso para corrigir código objeto existente, corrige dois bugs no processamento de meta-chamadas, permite listas abertas de terminais no corpo de regras DCG, adiciona dois novos exemplos e melhora o suporte para o editor de texto Vim e para ctags exuberante.

O que é novo na versão 2.43.3:

  • Corrigido um bug no manipulador Logtalk compilador runtime onde ele não conseguiu decompor entidade identificadores internos quando lançar exceções entidade existência.
  • Atualizado o arquivo de configuração Prolog Lean, acrescentando índice / 1 directivas para alguns dos predicados dinâmicos utilizados pelas tabelas Logtalk tempo de execução internas.
  • Atualização dos arquivos de integração SWI-Prolog para testar a disponibilidade da directiva index / 1, que está obsoleto pelo novo suporte experimental SWI-Prolog para just-in-time indexação multi-argumento.
  • Adicionado predicados subsequência / 4 (para a geração de subsequências de uma lista com um determinado comprimento), substituir / 4 (para a substituição de elementos em uma lista), e hamming_distance / 3 para a biblioteca & quot; listp & quot; e & quot; lista & quot; entidades.
  • euclidean_norm Adicionado / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, e scalar_product / 3 predicados para a biblioteca & quot; numberlistp & quot; e & quot; numberlist & quot; entidades.
  • Corrigidos alguns erros bobos na definição do & quot; caractere & quot; objeto de biblioteca predicados is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, e is_hex_digit / 1.
  • Atualização da biblioteca & quot; all_loader.lgt & quot; arquivo de carregador de também carregar o & quot; meta_compiler_loader.lgt & quot; arquivo de carregador.

O que é novo na versão 2.43.2:

  • Otimizado o processamento de declarações do operador durante a compilação arquivos de origem e dinamicamente criar novas entidades.
  • Atualizado o compilador Logtalk usar os & quot; módulos & quot; sinalizador do compilador ao testar para suporte módulo Prolog, assim, evitar problemas de compilação com back-end compiladores Prolog que não suportam um sistema de módulos, mas ainda define (:). / 2 como um built-in construção de controlo ou predicado
  • Suporte Removido para o & quot; startup_message & quot; sinalizador do compilador & quot; bandeiras (compactos) & quot; e & quot; bandeiras (verboso) & quot; valores, substituídos por um único valor, & quot; bandeiras & quot ;, que corresponde à antiga & quot; bandeiras (compactos) & quot; valor.
  • Corrigido um bug ao usar / 3 directivas op com o / 4 predicados embutidos create_protocol / 3, create_object / 4, e create_category onde as declarações do operador locais seria visível fora das novas entidades.
  • Corrigido um bug onde a criação de uma nova entidade dinâmica em tempo de execução define um predicado dinâmica contabilidade não é mais usado que não seria abolida quando a entidade é abolida.
  • Corrigido um bug compilador onde a & quot; super-& quot; ligar de dentro de um objeto que só instancia a si mesmo e não se especializam qualquer objeto iria lançar uma exceção em vez de falha.
  • Atualizado o & quot; benchmarks & quot; exemplo, a fim de proteger contra excepções aritméticas ao calcular o número total de chamadas por segundo para cada teste. Reduziu o número de repetições do teste de referência ao executar os testes de unidade para evitar tempos de computação longas com lenta back-end compiladores Prolog.

O que é novo na versão 2.43.1:

  • Mudou o compilador para ter em conta os usos / 2 directiva ao compilar as chamadas para os métodos internos do banco de dados. Esta mudança se estende a semântica dos usos 2 directiva / e permite a migração mais fácil a partir de aplicações Prolog simples para Logtalk.
  • Adicionado suporte experimental para a utilização de um modelo de predicados como argumento para o coinductive directiva / 1. Este modelo permite a especificação de quais argumentos são significativas para o sucesso coinductive. Com base na funcionalidade semelhante encontrado na na DRA meta-intérprete de Feliks Kluzniak.
  • Melhor suporte para a depuração de predicados coinductive ao usar o Logtalk built-in depurador.
  • Suporte coinduction Removido para CxProlog. A versão actual deste compilador carece de um corte suave built-in predicado ou construção de controlo, que agora é exigida pela aplicação coinduction experimental.
  • Lifted uma limitação de longa data que impediu a definição do usuário de predicados de mensagens publicitárias para o bagof / 3 e setof / 3 built-in métodos sempre que o argumento meta pode usar o quantificador existencial ^ / 2.
  • Adicionado suporte para o & quot; ^ & quot; modo de especificador de meta-argumento meta-predicado sugerido por Jan Wielemaker e encontrado na SWI-Prolog 5.11.25. Este especificador modo é útil quando definir invólucros para os / 3 e setof / 3 métodos internos bagof sempre o argumento meta pode usar o quantificador existencial ^ / 2.
  • Adicionado & quot; prolog_compiler & quot; e & quot; prolog_loader & quot; sinalizadores de compilador, que permitem passar opções ao back-end do compilador Prolog embutidos predicados que compilam no disco e carregar um (compilado) flag Prolog. O valor padrão para ambas as bandeiras é a lista vazia.
  • Corrigido um bug quando compilar chamadas para Prolog proprietária built-in meta-predicados onde o compilador Logtalk poderia tentativa de processar não meta-argumentos como metas. Este erro só se manifestou com alguns back-end compiladores Prolog como o Eclipse.
  • Corrigido um bug no processamento de diretivas de compilação condicional.
  • Corrigido um bug que impedia a passagem / 3 directivas de alias em chamadas para o create_object / 4, create_category / 4, e / 3 predicados embutidos create_protocol.
  • Removido do objeto interno & quot; Logtalk & quot; os decompile_predicate_head / 4 e decompile_predicate_indicator / 4 métodos obsoletos.
  • Suporte Removido para o longo obsoleto Logtalk metapredicate 1 directiva /.
  • Corrigido um bug desempenho ao armazenar em cache chamadas para predicados categoria onde as entradas em cache poderia ser mais específico do que o necessário quando se trabalha com categorias paramétricos.
  • Improved cache de & quot; super-& quot; chama a partir de dentro de protótipos. Anteriormente, todas as entradas em cache seria especializada pelo valor de & quot; auto & quot; a fim de lidar adequadamente com os casos especiais em que um objeto ambos instancia e especializada outros objetos.
  • Atualizado o compilador Logtalk para activar quaisquer declarações do operador encontrados sobre as directivas de âmbito predicados durante a compilação das entidades que contêm as directivas.
  • Melhoria do desempenho de predicados coinductive ao usar back-end compiladores Prolog como SICStus Prolog que não fornecem a construção de controlo de corte suave, mas fornecem a corte suave built-in meta-predicado (se / 3).
  • Corrigido um bug onde um relatório espúria de avisos de compilação / carregamento pode ser impresso quando um arquivo de origem foi compilado / carregado com a bandeira do compilador & quot; relatório & quot; desligada.
  • Adicionado um & quot; streamvars & quot; biblioteca de objetos, derivado do quot existente &; assignvars & quot; categoria biblioteca, com suporte para a adição e a recuperação de termos (os quais podem ser variáveis) a partir de um? fluxo & quot; variável.
  • Atualizado o & quot; coinduction & quot; exemplo, aproveitando a coinductive directiva reforçada / 1 e ampliando o número de exemplos individuais que podem ser executados utilizando SICStus Prolog. Adicionado um modelo de verificação de exemplo, usando coinduction, coroutining e restrições.
  • Atualizado o & quot; metapredicates & quot; exemplo, com código de exemplo que ilustra como definir invólucros para os / 3 e setof / 3 métodos internos bagof quando a meta-argumento pode conter variáveis ​​existencialmente qualificados.
  • Atualizado o & quot; cc & quot; exemplo, corrigir definições de predicados, por vários compiladores Prolog de back-end e adicionando alguns testes básicos de unidade.
  • Atualizado o & quot; codificações & quot; exemplo, com suporte limitado para Prolog magra.
  • Adicionado entradas em falta para o meta_non_terminal directiva / 1 e para a chamada // N não-terminal para o & quot; ajudar a & quot; exemplo.
  • Adicionado um analisador para arquivos PDDL 3.0, contribuído por Robert Sasak.
  • código adicionado dobrar suporte ao editor de texto SubEthaEdit. Adicionado código dobrar suporte para blocos de compilação condicional para os editores de texto Kate, vim, e TextMate.
  • Atualizado os scripts de integração, a fim de carregar o arquivo de caminhos de biblioteca antes de carregar o Logtalk compilador / runtime. Esta alteração visa simplificar o carregamento de arquivos de biblioteca e exemplo dos arquivos de configurações. Além disso, também olhar para o diretório de instalação Logtalk em $ HOME / share quando a variável de ambiente LOGTALKHOME não está definido.
  • Atualizado o instalador do Windows, a fim de apoiar o Lean Prolog e detectar YAP 64 bits versões.

O que é novo na versão 2.43.0:.

  • Adicionado suporte experimental para Prolog magra
  • Removida a restrição compilador Logtalk que forçou adjacentes / 1 e dinâmicos / 1 directivas para preceder as chamadas para os predicados declarados.
  • Melhoria do relatório compilador Logtalk de chamadas misspelt a não-terminais em regras gramaticais.
  • Permitir o uso do:. Controle / 1 construir sobre o corpo de regras gramaticais
  • Quando a depuração mensagens especificadas no utiliza 2 directivas /, a mensagem será agora impresso implicitamente qualificado como no código fonte escrita pelo usuário.
  • Mudou os predicados internos utilizados na execução do built-in predicados de multi-threading, a fim de facilitar a integração com ferramentas de depuração de alto nível que exigem descompilação do código Prolog gerado.
  • Corrigido um erro no suporte a bibliotecas para testes de unidade, & quot;. Lgtunit & quot ;, onde os testes para exceções aceitariam qualquer termo exceção como em conformidade com as especificações de teste de unidade
  • Atualizado o & quot; cc & quot; exemplo, com correções de bugs e melhorias para o Eclipse contribuído por Joachim Schimpf, com uma correção de bug para a implementação SWI-Prolog do expand_path 2 predicado / (resultante de novas mudanças na SWI-Prolog absolute_file_name / 3 built-in predicado), e com uma definição para o command_line_arguments / 1 predicado para B-Prolog.
  • Atualizado o & quot; coinduction & quot; exemplo, adicionar alguns exemplos mais individuais.
  • Atualizado o & quot; xml_parser & quot; contribuição, a fim de solucionar problemas de portabilidade com GNU Prolog.
  • Corrigir um bug em alguns scripts shell, onde & quot; #! / Bin / bash & quot; foi usado em vez de & quot; #! / bin / bash & quot ;. Graças a Yiorgos Adamopoulos para o relatório de bug.
  • Atualizado o script de instalação GUI do Windows Inno Setup, a fim de permitir a instalação completa por usuários não-administrador.
  • Suporte coloração de sintaxe Adicionado para a directiva ISO Prolog incluem / 1 para todos os editores de texto suportados e marcadores de sintaxe.
  • Corrigido alguns bugs na guia gatilhos para os trechos Gedit Logtalk que impediram a sua utilização.
  • Mudou voltar a usar XEP em vez de FOP ao gerar as versões PDF dos manuais de usuário e de referência como FOP trunca o conteúdo de algumas das páginas.

O que é novo na versão 2.42.4:

  • Adicionado um entity_prefix / 2 predicado e dois conjuntos de predicados de serviços públicos, decompile_predicate_heads / 2-4 e decompile_predicate_indicators / 2-4, com o & quot; Logtalk & quot; built-in objeto. Marcou o decompile_predicate_head / 4 e decompile_predicate_indicator / 4 como obsoleto.
  • Adicionado suporte para preservar as informações de escopo para os operadores declarado usando directivas escopo durante o tempo de compilação. Adicionadas informações sobre entidade declarou operadores ao XML documentar arquivos. Atualizado o texto, PDF e scripts de conversão HTML (X) para imprimir informações do operador.
  • Aplicadas várias otimizações de baixo nível para o Logtalk compilador / runtime.
  • Movido os predicados internos que constroem e acessar o contexto de execução predicado do compilador para os arquivos de configuração do Prolog, a fim de apoiar a optimização do desempenho multa que é compilador Prolog dependente.
  • Actualizado a implementação do multi-threading rosca embutida predicado / 1, a fim de usar uma pequena otimização de desempenho com base nos term_variables / 2 built-in de predicados sugeridos pela Timon Van Overveldt. Esta optimização visa reduzir cópia desnecessária e unificação dos termos. Além disso, substituir o uso do / 3 predicado setup_call_cleanup built-in com o / 3 predicado interno captura por simplificar a manipulação de ambos os tópicos mestre e escravo, o que também melhora o desempenho.
  • Corrigido um bug na implementação da rosca / 1 multi-threading built-in predicado onde a falha por parte do utilizador para especificar metas independentes ao tentar usar independente e paralelismo resultaria em tópicos de zumbis.
  • termos de exceção mais informativa ao tentar declarar um predicado sincronizadas como dinâmico ou um predicado dinâmico como sincronizados.
  • Atualizado o arquivo de configuração XSB a fim de apoiar a elaboração de módulos como objetos. Adicionado uma definição para a falta / 4 predicado built-in setup_call_catcher_cleanup. XSB 3.3 (ou uma versão posterior) é agora necessária para compatibilidade com Logtalk.
  • Atualizado o arquivo de configuração SWI-Prolog, a fim de fornecer suporte limitado para o arithmetic_function / 1 directiva proprietário (funções aritméticas são compilar tão global em vez de como local para os objetos ou categorias que definem-los).
  • Atualizado o arquivo de configuração YAP, a fim de ignorar o / 1 directiva style_check e interpretar a 2 directiva yap_flag / como um set_prolog_flag 2 directiva /.
  • Mudou o processador de XSL-FO padrão (usado para gerar as versões PDF dos manuais de usuário e de referência) de XEP com a FOP.
  • Atualizado o & quot; xml_parser & quot; contribuição, a fim de solucionar problemas de portabilidade com Qu-Prolog, SICStus Prolog, e XSB.
  • Atualizado o & quot; codificações & quot; exemplo, a fim de assegurar que o não existe um espaço em branco antes da codificação de uma directiva /.
  • Atualizado o & quot; attvars & quot; exemplo, a fim de apoiar B-Prolog e XSB. Também foi adicionado suporte para o uso de variáveis ​​atribuídas no âmbito Logtalk objetos paramétricos e categorias paramétricos. Graças a Jan Wielemaker, Vítor Santos Costa, e Bart Demoen para feedback e sugestões de implementação.
  • Atualizado o & quot; profilers & quot; exemplo, com suporte preliminar para que as alterações de perfis de execução na versão 4.2 SICStus Prolog.
  • Atualizado o & quot; de expansão & quot; exemplo, com mais código de exemplo sobre como combinar termo e definições goal-de expansão a partir de diferentes objetos ganchos.
  • Atualizado o & quot; coinduction & quot; exemplo, a adição de um keysort / 2 predicado coinductive experimental. Graças a Jan Burse pela sugestão.
  • Atualizado o & quot; tak & quot; multi-threading exemplo, onde um corte faltando resultaria em esgotar rapidamente a pilha local quando usando SWI-Prolog devido à criação de um número muito grande de pontos de escolha desnecessários.
  • Atualizado o & quot; mtbatch & quot; exemplo multi-threading, a fim de proporcionar análise comparativa expandida do?; Tak & quot; exemplo.
  • Atualizado o portfile MacPorts eo script que atualiza-lo, a fim de remover o cálculo da soma de verificação MD5, que está a ser eliminado por MacPorts.
  • Atualizado o script de instalação GUI do Windows Inno Setup, a fim de solucionar um bug sobre os instaladores SWI-Prolog Windows em que o procedimento de desinstalação não conseguem eliminar as chaves de SWI-Prolog do registro do Windows.

O que é novo na versão 2.42.3:

  • Permitir predicados dinâmicos declaradas em uma categoria para ser chamado em & quot; este & quot; de dentro da categoria. Nas versões anteriores, essas chamadas resultaria em um erro em tempo de compilação, forçando estes predicados para ser chamado & quot; auto & quot; (Usando a mensagem :: / 1 envio de construção de controlo).
  • suporte de compilador Adicionado Logtalk para as cabeças cláusula pré-compilados (usando o} / 1 construção de controlo {). Este recurso é útil principalmente quando se utiliza o mecanismo termo-expansão.
  • Corrigido um bug no código que simplifica as cláusulas de predicado gerados pela compilação de regras gramaticais. O código seria loop quando uma regra gramatical continha uma meta-variável, que o compilador Logtalk deveria (mas atualmente não) relatório como ilegal (a construção de chamada / 1 controle deve ser usado em vez disso, neste caso).
  • simplificado a compilação de chamadas no contexto da pseudo-objeto & quot; usuário & quot;.
  • Adicionado um comando depurador & quot; p & quot; para o built-in depurador Logtalk. Este comando imprime o objetivo atual utilizando o predicado impressão / 1, quando disponível. Renomeado o comando depurador & quot; q & quot; para & quot; Q & quot ;. Corrigido um bug onde o comando depurador & quot; w & quot; não seria reconhecida. Mudou o comando do depurador & quot; d & quot; para citar termos quando necessário.
  • Adicionado uma implementação parcial do ISO Prolog predicate_property / 2 predicado para o arquivo de configuração do Eclipse.
  • Atualizado o arquivo de configuração SWI-Prolog, a fim de remover a declaração errada dos meta-predicados biblioteca dde_register_service / 2, o tempo / 1, e quando / 2 como built-in meta-predicados.
  • Aplicado uma correção de bug para os & quot; bandeiras & quot; contribuição disponibilizada pelo autor, Theofrastos Mantadelis. Solucionar um problema de compatibilidade com o GNU Prolog.
  • Adicionado um memberchk / 2 predicado para a biblioteca & quot; setp & quot; protocolo e & quot; set & quot; objeto. predicados adicionados is_control / 1, is_newline / 1, e is_end_of_line / 1 para a biblioteca & quot; characterp & quot; e & quot; caractere & quot; entidades.
  • Adicionado um exemplo experimental do uso de variáveis ​​atribuídas dentro de objetos e categorias Logtalk. Actualmente requer o uso de YAP ou SWI-Prolog como o back-end do compilador Prolog.
  • Adicionado suporte para indexicais ao & quot; constrangimentos / SICStus & quot; exemplo.
  • Extensão do & quot; delegados & quot; exemplo, com uma implementação de exemplo de um delegante usando um objeto paramétrico.
  • Extensão do & quot; dynpred & quot; exemplo, a fim de ilustrar a forma de definir categoria predicados que lidam com predicados dinâmicos no contexto de? presente & quot; e no contexto de & quot; auto & quot;.
  • Adicionado um predicado wall_time / 1 para o & quot; cc & quot; exemplo.
  • Atualizado o destaque de sintaxe arquivos de teste, acrescentando faltando verdadeiros / 0 e falham / 0 construções de controle.

O que é novo na versão 2.42.2:

  • Atualizado o compilador Logtalk a fim de permitir a verificação de Propriedades módulo de predicados sem a necessidade de importar os predicados em & quot; usuário & quot; (Note, no entanto, que o módulo deve ainda ser carregado antes da compilação de arquivos de origem chamando os predicados do módulo).
  • Atualizado o compilador Logtalk a fim de verificar argumentos de fechamento instanciado em tempo de compilação sobre as metas de chamada / 2-N para erros comuns de programação.
  • Atualizado o compilador Logtalk a fim de gerar avisos para expressões lambda com variáveis ​​que não são declarados como quer variáveis ​​livres ou parâmetros lambda ou com variáveis ​​que são declaradas como ambas as variáveis ​​livres e parâmetros lambda. Graças a Jan Burse para sugerir essas checagens.
  • Atualizado o tempo de execução Logtalk a fim de apoiar usando o & # X3C; & # X3C; / 2 controle de construir no fechamento meta-argumentos do meta-predicados
  • .
  • Adicionado suporte para a compilação de Livre / Goal chamadas expressão lambda (gerando automaticamente um predicado auxiliar sempre que possível).
  • Adicionado a / 1 método público compile_aux_clauses, com base em um predicado com o mesmo nome em SWI-Prolog, o objeto interno & quot; Logtalk & quot ;. Este método é geralmente chamado de goal_expansion / 2 ganchos para compilar cláusulas auxiliares gerados para apoiar uma meta expandida.
  • Adicionado o meta-predicado ignorar / 1, implementada por alguns compiladores Prolog como um predicado built-in, como um método incorporado Logtalk.
  • Atualizado o arquivo de configuração SWI-Prolog, a fim de evitar a auto-carregamento de bibliotecas de módulos ao consultar propriedades de predicado de Logtalk.
  • Atualizado o arquivos de configuração XSB Qu-Prolog, SICStus Prolog, e de forma a disponibilizar o predicado term_variables / 2 como um built-in predicado ISO.
  • Atualizado os scripts de integração Qu-Prolog, a fim de dobrar o valor tamanho da pilha para compilar o compilador Logtalk / runtime, resolvendo um acidente de inicialização.
  • Restaurado o arquivo de comando MacOS X para GNU Prolog (movido para cima a partir da & quot; scripts / macosx / command_files / não suportado & quot; pasta).
  • Adicionado predicados findall_member / 4-5 para o objeto biblioteca & quot; meta & quot; (Com base no projecto de Prolog proposta biblioteca de Richard O'Keefe). Removido declaração e definição dos predicados que podem ser chamados / 1 e ignorar / 1 das entidades Library & quot; metap & quot; e & quot; meta & quot; (Exigível / 1 é um predicado built-in em todos os compiladores Prolog suportados; ignorar / 1 é agora um método incorporado Logtalk)
  • .
  • Adicionado um objeto biblioteca, & quot; meta_compiler & quot ;, que pode ser usado como um objeto gancho para expandir as chamadas para os meta-predicados definidos no objeto de biblioteca & quot; meta & quot; a fim de evitar as sobrecargas meta-chamada. Em casos em que a chamada meta-predicado não podem ser otimizados, a definição padrão no & quot; meta & quot; objecto é utilizado. Usando construções de controle como meta-argumentos não é (ainda) não suportado. Trabalhos em curso.
  • Adicionado um protocolo, & quot; loggingp & quot ;, e categoria e objeto implementações, & quot; o log & quot; e & quot;. logger & quot ;, declarar e definir a funcionalidade básica para o registro de eventos para arquivos para a biblioteca
  • Adicionado um protocolo, & quot; intervalp & quot ;, e um objeto, & quot; intervalo de & quot ;, declarar e definir relações básicas intervalo de tempo para a biblioteca (com base no trabalho de James F. Allen Interval Algebra)
  • .
  • Adicionado uma categoria como implementar contadores nomeados inteiros, & quot;. Balcões & quot ;, para a biblioteca
  • predicados Adicionado proper_prefix / 2 e proper_suffix / 2 para as entidades Library & quot; listp & quot ;, & quot; lista & quot ;, e & quot; difflist & quot;.
  • predicado Adicionado transpor / 2 para o objeto biblioteca & quot; pares & quot;.
  • Adicionado dois pseudo-exemplos para fins de teste, & quot; lambdas_compiled & quot; e & quot; metapredicates_compiled & quot ;, que fazem uso do novo objeto de biblioteca
  • & quot; meta_compiler & quot;.
  • Atualizado o & quot; de expansão & quot; exemplo para ilustrar como definir e combinar objetos de gancho.
  • Adicionado suporte para a utilização do pacote SyntaxHighlighter (versão 3.0.83 ou posterior) por Alex Gorbatchev com código fonte Logtalk.
  • Adicionado coloração de sintaxe falta do mais / 0 condicional directiva compilação ao apoio GNU Fonte-highlighter.
  • Adicionado uma nota sobre o apoio de edição de texto Logtalk disponível no editor de texto livre MacOS X Kod.
  • Suporte a coloração de sintaxe Adicionado para o novo ignorar / 1 método incorporado a todos os editores de texto suportados e marcadores de sintaxe.

O que é novo na versão 2.42.1:

  • Adicionado suporte para o compilador Logtalk para detectar e relatar faltando directivas / 1 predicados dinâmicos / 1 e adjacentes.
  • Adicionado uma nova bandeira fiapos, & quot; missing_directives & quot ;, com um valor padrão de & quot; aviso & quot ;, a todos os arquivos de configuração. Este sinalizador permite a impressão de avisos do compilador para a falta / 1, descontíguas / 1, e multifile / 1 predicado directivas dinâmicos.
  • Adicionado suporte para novos indicadores de modo modelo de meta-predicado: (/) para um indicador de predicado, [/] para uma lista de indicadores de predicado, e [0] para uma lista de objetivos
  • .
  • Corrigido um bug no compilador Logtalk ao verificar cabeças cláusula meta-predicado para erros onde o & quot; :: & quot; Indicador do modo de meta-argumento ainda estava sendo interpretado como & quot; 0 & quot;.
  • Corrigido um bug na manipulação de encerramentos (em meta-chamadas) que são usados ​​para construir as chamadas para controlar construções ou predicados embutidos que podem resultar em chamar algumas meta-argumentos no contexto errado. Graças a Ulrich NEUMERKEL para o exemplo que ilustra na lista de discussão SWI-Prolog.
  • Atualizado o compilador Logtalk, a fim de evitar avisos de impressão sobre as referências ao & quot faltando; quot expandindo &; e & quot; monitoramento & quot; built-in protocolos quando compilar módulos como objetos.
  • reverteu a mudanças na versão 2.39.2 que permitiram a pseudo-objeto & quot; usuário & quot; a praticamente conter a definição de todos os predicados internos do Prolog. Isto poderia levar a resultados diferentes dependendo do back-end compilador de Prolog, especialmente quando se chama meta-predicados no contexto do & quot; usuário & quot;.
  • Corrigido um bug no SWI-Prolog & quot; swihooks.lgt & quot; arquivo que resultou em uma mensagem de erro falsa sobre uma bandeira Logtalk inválida quando a consulta de um arquivo Prolog quando há um arquivo de origem Logtalk com o mesmo nome no mesmo diretório.
  • Suporte falta Adicionado para proprietárias embutidas meta-predicados para os arquivos de configuração YAP B-Prolog, SICStus Prolog, SWI-Prolog, XSB, e.
  • Atualizado o SICStus Prolog, SWI-Prolog, e os arquivos de configuração YAP, a fim de substituir os modelos de meta-predicado para a consulta / 1 e load_files / 2 predicados embutidos.
  • Adicionado uma implementação de um map_reduce / 5 meta-predicado para o objeto biblioteca & quot; meta & quot;.
  • Adicionado uma implementação de um command_line_arguments / 1 predicado para o & quot; cc & quot; exemplo.
  • Atualizado o & quot; lambdas & quot; e & quot; metapredicates & quot; exemplos, que ilustram a forma de calcular os números de Fibonacci usando uma meta-predicado esquerda dobra. Atualizado o & quot; metapredicates & quot; exemplo, com um exemplo de uso do map_reduce / 5 meta-predicado.
  • Atualizado o & quot; problog & quot; exemplo, adicionando suporte preliminar para a nova sintaxe disjunções anotados.
  • Adicionado um & quot; mágica & quot; elemento para o arquivo do tipo mime Logtalk para o freedesktop.org compartilhada mime-info do banco de dados.

O que é novo na versão 2.42.0:.

  • Adicionado uma implementação de bandeiras de objetos persistentes
  • Adicionado um novo par de predicados embutidos, conforms_to_protocol / 2-3, implementando o fechamento transitivo da relação implementação do protocolo.
  • Adicionado uma directiva experimental, anotação / 1, para apoiar a integração Logtalk com outras linguagens como ProbLog e CHR.

















Programas semelhantes

PEG.js
PEG.js

28 Sep 15

withrestart
withrestart

28 Feb 15

Skulpt
Skulpt

12 Apr 15

Apache Avro
Apache Avro

10 Apr 16

Outro software de desenvolvedor Paulo Moura

Logtalk
Logtalk

14 Apr 15

Comentário para Logtalk

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