Logtalk

Logtalk é uma extensão orientada a objetos de código aberto para a linguagem de programação Prolog. Integrando a programação lógica com programação orientada a objeto e orientada a eventos, é compatível com a maioria dos compiladores Prolog.
Logtalk suporta ambos os protótipos e classes. Além disso, ele suporta a programação baseada em componentes através da composição à base de categoria

Características :.

• Separação entre interface e implementação:
• directivas predicado (declarações) podem ser contidos dentro de protocolos (interfaces), que podem ser implementadas por qualquer objeto.


• Objetos paramétricos:

Nomes
• objeto pode ser termos compostos contendo variáveis ​​livres que podem ser usadas para parametrizar predicados objeto.


• Suporte para ambos os sistemas baseados em classe e com base em protótipo:
• Você pode ter, na mesma aplicação, as hierarquias (com relações instanciação e especialização) e hierarquias baseadas em protótipos (com relações de extensão) com base em classe.


• Suporte para múltiplas hierarquias de objeto:
• Não há necessidade de ser restrito a uma única hierarquia longa enraizado em algum objeto genérico.


• privada, protegida e herança público:
• Logtalk suporta privada, protegida e patrimônio público de uma forma semelhante a C. Além disso, qualquer relação de entidade pode ser qualificado usando uma palavra-chave escopo.


• bbli privado, protegido e predicados objeto público:
• Definir o escopo do seu objeto predicados para combinar com seu projeto do protocolo e deixar que o sistema de execução impor suas escolhas.


• objetos estáticos e dinâmicos:
• Os objetos podem ser estático ou dinâmico. Objetos estáticos são definidos em arquivos de origem que são compilados e carregados da mesma forma como arquivos Prolog. Dinâmico objeto pode ser definido ou em arquivos de origem ou criados em tempo de execução.


• bbli predicados objeto estático e dinâmico:
• Qualquer objeto estático pode conter ambos os predicados estáticas e dinâmicas.


• A pré-processador para que possamos utilizar sintaxe Prolog padrão:
• Logtalk usa sintaxe Prolog padrão com a adição de alguns operadores e diretrizes para uma curva de aprendizado suave.


• programação orientada a eventos:
• Os predicados podem ser implicitamente chamado quando ocorre um evento espiado, permitindo soluções de programação que minimizam objeto de acoplamento. Além disso, eventos fornecer suporte para a reflexão comportamental.


• programação baseada em componentes:
• Os predicados podem ser encapsulados dentro de categorias, que podem ser importados por praticamente qualquer objeto, sem qualquer duplicação de código, e independentemente de hierarquias de objetos. Assim, os objetos podem ser definidos através da composição de categorias, que atuam como refinado unidades código de reutilização.


• suporte Multi-herança:
• Logtalk suporta multi-herança de ambos protocolo e implementação. Um objeto pode implementar vários protocolos e estender, especializar, ou instanciar vários objetos. Conflitos Multi-de herança são resolvidos implicitamente pelos algoritmos de pesquisa Logtalk ou explicitamente usando diretrizes principais.


• Bom desempenho:
• código Logtalk é compilado usando as mesmas técnicas que você usa para escrever código Prolog eficiente. Além disso, o método de pesquisas são armazenados em cache pelo motor runtime Logtalk, melhorando consideravelmente o desempenho. Os resultados dos benchmarks para alguns compiladores Prolog estão disponíveis aqui.


• Fechar a integração com o Prolog padrão ISO:
• Logtalk é projetado para integração com qualquer compilador Prolog que está de acordo ou segue de perto o Prolog padrão ISO.


• Compatível com a maioria dos compiladores Prolog:
• Interfaces Logtalk com um compilador Prolog específica através de um arquivo de configuração mínima tornando-o compatível com praticamente qualquer compilador moderno.


• A geração automática de arquivos de documentação XML:
• Logtalk gera automaticamente um arquivo de documentação em formato XML para cada objeto, protocolo ou categoria compilado. O sistema inclui todos os arquivos do XSL necessário (T) e scripts para converter arquivos para documentar (X) HTML e PDF.
• Logtalk funciona em praticamente qualquer computador com um compilador Prolog (o ambiente de desenvolvimento principal é um Apple PowerBook G4 rodando MacOS X). A interface entre Logtalk e um compilador Prolog específico é realizado através de um arquivo de configuração.
• Este arquivo contém alguns predicados específicos Logtalk e implementações de padrão ISO Prolog predicados não disponível no compilador Prolog.


• Ao escrever Logtalk Tentei seguir o padrão ISO Prolog sempre que possível. Capacidades necessárias por Logtalk que não estão definidos na Parte I da norma ISO são:


• acesso a predicar propriedades (dinâmico, estático, built_in):
• Desde que o Prolog favorito tem esses recursos mencionados acima, fazendo um arquivo de configuração é muito fácil. O pacote Logtalk já inclui arquivos de configuração para os compiladores mais comuns Prolog. Para um desempenho ideal, Logtalk exige que o compilador Prolog apoia primeira argumento de indexação para ambos código estático e dinâmico.


• developement Logtalk e teste é realizado atualmente com os seguintes compiladores Prolog (em ordem alfabética):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• Por isso, estas são provavelmente as melhores opções para a execução de Logtalk (desde que você é livre para usar um desses compiladores).


• Além disso, Logtalk é executado com pouca ou nenhuma modificação com os seguintes compiladores Prolog (em ordem alfabética):
• ALS Prolog 3.1
• Amzi! Prolog 6,22 ~ 7.x
• BinProlog 8.x ~ 10.x
• B-Prolog 4.0, 5.0, 6.x
• CIAO Prolog 1.10p5
• Eclipse 5.5 ~ 5.8
• IF / Prolog 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• LPA MacProlog32 1,25
• LPA WinProlog32 4.0x
• MasterProlog 4.1
• Open Prolog 1.1b10
• PrologII 4,5
• QU-Prolog 6,7
• Quintus Prolog 3.3 ~ 3.5
• SICStus Prolog 3.8 ~ 3.12.x
• XSB 2.6 ~ 2.7

O que é novo nesta versão:

• Modificado o envio de mensagens mecanismo para chamar o & quot; antes & quot; manipuladores de eventos antes de realizar a pesquisa de método. Esta alteração não deverá ter impacto no código existente, mas permite que alguns aplicativos interessantes (por exemplo, falhar em vez de lançar uma exceção quando uma mensagem não é entendido).
• manuseio mais consistente de opções de compilação entre a fixação de valores de bandeira ao compilar / carregar um arquivo e quando utilizar o set_logtalk_flag / 2 built-in predicado: em ambos os casos, a configuração da & quot; smart_compilation & quot; flag on irá desligar a & quot; limpa & quot; flag e definir o & quot; limpa & quot; flag on irá desligar a & quot; smart_compilation & quot; bandeira. Além disso, definir o & quot; debug & quot; flag on irá desligar tanto o & quot; smart_compilation & quot; e & quot; limpa & quot; flags.
• Permite a construção de controlo soft-cortado, (* - & gt;) / 2, quando suportados nativamente pelo compilador Prolog back-end, para ser usado no corpo de regras gramaticais (depois de uma observação por Daniel Diaz enquanto discutia GNU apoio Prolog para o controle construção de corte suave).
• Corrigido um bug compilador Logtalk quando o & quot; source_data & quot; é a bandeira com back-end compiladores Prolog, onde não é possível recuperar a posição de um termo de leitura.
• Corrigido um bug na compilação do meta_non_terminal directiva / 1, onde apenas a primeira meta-argumento seria processado corretamente.
• Atualizado o arquivo de configuração do Eclipse para detectar quando executado no Windows 64 bits e sistemas de ignorar não-predicado e não-operador exportações quando pré-processamento de lib / 1 directivas.
• Atualização do quadro de teste de unidade para imprimir mensagens mais informativas para testes de unidade com falha.
• Adicionado predicado dividir / 4 (para dividir uma lista em sublists com um determinado comprimento) para o & quot; listp & quot ;, & quot; lista & quot ;, e & quot; difflist & quot; entidades de bibliotecas.
• 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 nome quando a execução dos testes unitários exemplo.
• 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.
• Corrigido um bug no instalador do Windows que impedia que os usuários personalizem o diretório de instalação. Graças a Daniel Moniz para o relatório de bug e Gavin Lambert para diagnosticar o bug.
• Atualizado o script de instalação do Windows para uma melhor detecção de XSB e como padrão para instalar apenas os arquivos por usuário quando executado por um usuário não-administrador em um computador onde Logtalk já está instalado.
• Adicionado suporte básico para o LaTeX & quot; anúncios & quot; pacote. Adicionada notas sobre o & quot; & quot; cunhadas e & quot; texmates & quot; Pacotes de látex.
• Adicionada notas sobre o editor de texto iPad Textastic.
• Adicionado coloração sintaxe básica e apoio dobragem de código para o editor de texto UltraEdit.
• Atualizado o TextMate pacote para desativar as correções automáticas travessão introduzidas na versão de desenvolvimento do TextMate 2.0.

O que é novo na versão 2.44.0:

• mudou a semântica da complementando categorias para permitir a aplicação de patches tanto declarações de predicados e definições de predicados de objetos complementados. Isto é realizado através da garantia de que a Declaração predicado e definição pesquisas começam nas categorias complementando antes de olhar para o próprio objeto complementado ou em suas entidades relacionadas.
• Atualizado o compilador Logtalk, a fim de gerar um aviso quando compilar uma categoria complementar para um objeto complementada que foi compilado com suporte para complementar categorias desligado.
• Corrigido um erro no processamento de meta-chamadas para meta-predicados onde o contexto de chamada seria definido como & quot; este & quot; em vez de & quot; remetente & quot; sempre que uma meta-argumento foi um dos :: / 2, {} / 1,

O que é novo na versão 2.43.3:

• Mudou o compilador para ter em conta os usos / 2 directiva ao compilar as chamadas para a reflexão métodos internos. Esta mudança se estende a semântica da usos / directiva 2 e permite a migração mais fácil a partir de aplicações simples para Prolog Logtalk.
• Atualizado a implementação do predicate_property / 2 método interno, adicionando uma propriedade escopo / 1.
• Atualizado o compilador Logtalk para adicionar informações sobre um nome de arquivo de origem, o diretório de arquivo de origem, e opções de compilador arquivo de origem para os arquivos gerados Prolog. Nas versões anteriores, esta informação foi registrado apenas ao carregar um arquivo de origem. As mudanças simplificam a criação de aplicativos em que as bibliotecas Logtalk são pré-compilados e pré-carregado.
• Atualizado o compilador Logtalk para imprimir o nome do objeto de gancho usado na compilação de arquivos de origem quando o & quot; gancho & quot; bandeira compilador está definido.
• Atualizado o built-in depurador, a fim de evitar pontos de escolha desnecessários criados por back-end compiladores Prolog cujos retrair / 1 implementação não consegue tirar proveito de semântica de atualização lógicos para fazer chamadas determinista.
• Corrigido um bug no manipulador compilador runtime Logtalk onde ele não conseguiu decompor identificadores entidade interna quando lançar exceções entidade existência.
• Atualizado o arquivo de configuração do Lean Prolog, acrescentando índice / 1 directivas para alguns dos predicados dinâmicos utilizados pelas tabelas Logtalk tempo de execução internos.
• Atualização dos arquivos de integração SWI-Prolog para testar a disponibilidade da directiva index / 1, que está obsoleto pelo novo suporte SWI-Prolog experimental para just-in-time multi-argumento de indexação.
• Adicionado predicados subsequência / 4 (para a geração de sub-sequências de uma lista com um determinado comprimento), substituir / 4 (para substituir os elementos em uma lista), e hamming_distance / 3 para a biblioteca & quot; listp & quot; e & quot; lista & quot; entidades.
• Adicionado euclidean_norm / 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.
• Corrigido alguns erros bobos na definição do & quot; personagem & quot; objeto biblioteca predicados is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, e is_hex_digit / 1.
• Atualizada a 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.1:

• Mudou o compilador para ter em conta os usos / directiva 2 ao compilar as chamadas ao banco de dados métodos internos. Esta mudança se estende a semântica da usos / directiva 2 e permite a migração mais fácil a partir de aplicações simples para Prolog 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 no em DRA meta-intérprete de Feliks Kluzniak.
• Suporte aprimorado para depurar predicados coinductive ao usar o Logtalk built-in depurador.
• apoio coinduction Removido para CxProlog. A versão atual do compilador não tem um corte macio embutido predicado ou controle de construção, que agora é exigida pela aplicação coinduction experimental.
• Lifted uma limitação de longa data que impediu a definição de usuário de predicados wrapper para o bagof / 3 e setof / 3 built-in métodos sempre que o argumento meta pode usar o ^ / 2 quantificador existencial.
• Adicionado suporte para o & quot; ^ & quot; meta-predicado modo meta-argumento especificador sugerido por Jan Wielemaker e encontrado no SWI-Prolog 5.11.25. Este especificador modo é útil ao definir wrappers para os bagof / 3 e setof / 3 métodos internos sempre que o argumento meta pode usar o ^ / 2 quantificador existencial.
• Adicionado & quot; prolog_compiler & quot; e & quot; prolog_loader & quot; opções de compilação, que permitem passar opções ao back-end do compilador Prolog predicados internos que compilam a 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 embutido predicados meta- onde o compilador Logtalk poderia tentar processar argumentos não meta- 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 de alias / 3 directivas em chamadas para o create_object / 4, create_category / 4, e create_protocol / 3 predicados embutidos.
• Removido do objeto interno & quot; Logtalk & quot; os decompile_predicate_head / 4 e decompile_predicate_indicator / 4 métodos obsoletos.
• eliminou o apoio a Logtalk metapredicate / 1 directiva longo preterido.
• Corrigido um bug desempenho quando cache chamadas para categoria predicados onde as entradas em cache poderia ser mais específico do que o necessário quando se trabalha com categorias paramétricos.
• Melhoria caching 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.
• melhorou o desempenho dos predicados coinductive ao usar back-end compiladores Prolog como SICStus Prolog que não fornecem o controle construção de corte suave, mas fornecem o corte macio embutido meta-predicado (if / 3).
• Corrigido um bug onde um relatório espúrio de avisos compilação / carregamento poderia ser impresso quando um arquivo de origem foi compilado / carregado com a bandeira compilador & quot; relatório & quot; desligada.
• Adicionado um & quot; streamvars & quot; objeto de biblioteca, derivado do quot existente &; assignvars & quot; categoria biblioteca, apresentando suporte para adicionar e recuperar 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 ampliar 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, contribuído por Neda Saeedloei.
• Atualizado o & quot; metapredicates & quot; exemplo com código de exemplo que ilustra como definir wrappers para os bagof / 3 e setof / 3 métodos internos quando a meta-argumento pode conter variáveis ​​existencialmente qualificados.
• Atualizado o & quot; cc & quot; exemplo, corrigir definições de predicados, por vários back-end compiladores Prolog e adicionando alguns testes de unidade de base.
• Atualizado o & quot; codificações & quot; exemplo, com suporte limitado para o Lean Prolog.
• 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 PDDL 3.0 arquivos, contribuído por Robert Sasak.
• código adicionado suporte dobrável para o editor de texto SubEthaEdit. Adicionado código dobrar suporte para blocos de compilação condicional para os editores de texto Kate, vim, e TextMate.
• Atualização dos scripts de integração, a fim de carregar os caminhos de biblioteca de arquivos antes de carregar o Logtalk compilador / runtime. Esta alteração visa simplificar o carregamento de biblioteca e exemplos de arquivos a partir 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. Graças Para Vítor Santos Costa pela sugestão.
• 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 o Lean Prolog
• Mudou o relatório de erros pelo compilador e runtime Logtalk. Todos os termos de exceção agora usar, sempre que possível, o erro (erro, Logtalk (Goal, Entity))
• formato. Mudou o erro interno verificação de usar, sempre que possível, a nova '$ lgt_must_be' / 2-3 predicados internos.
• Adicionado um & quot; otimizar & quot; bandeira, cujo valor padrão é & quot; em & quot ;. Este sinalizador permite que o usuário desligue otimizações existentes para, por exemplo tarefas de depuração (o
• otimizações actualmente implementados incluem a remoção de ligações redundantes para true / 0 do corpo de cláusulas de predicado compilados ea remoção de
• chamadas redundantes para (=) / 2 do corpo de cláusulas gerados pela expansão das regras gramaticais).
• Adicionado a & quot; source_data & quot; bandeira, cujo valor padrão é & quot; em & quot ;. Com este sinalizador definido como & quot; em & quot ;, Logtalk vai manter a informação representada usando o modo / 2,
• info / 1-2, usa / 2, e use_module / 2 directivas além de dados de localização de origem (incluindo nomes de arquivo de origem e números de linha), útil tanto para a depuração
• e para a integração com ferramentas de desenvolvimento. Esta bandeira pode ser desligado, a fim de gerar o código mais compacto. O parameter_names / 1 objeto e
• propriedade categoria é removida, a fim de evitar a redundância.
• Implementado protegida / 1 e privado / 1 propriedades para objetos, protocolos e categorias. Juntamente com o público / 1 propriedade, essas propriedades
• permite que a lista de predicados declarados na entidade a ser acessado para computações reflexivas. Implementado declara / 2, define / 2, inclui / 3,
• e fornece / 3 propriedades para acessar as propriedades de predicados declarados e definidos dentro de uma entidade. Declaração propriedades incluem line_count / 1, o número da linha da directiva âmbito predicado. Propriedades de definição incluem line_count / 1, o número da linha da cabeça do primeiro
• cláusula para o predicado, e number_of_clauses / 1, o número de cláusulas para o predicado. Também implementou usos experimentais / 3 e use_module / 3 propriedades.
• Adicionado uma propriedade predicado, redefined_from / 1, permitindo a consulta sobre o objeto ou categoria que contém uma definição predicado que é redefinido.
• Adicionado um predicado loaded_file / 3 para o & quot; Logtalk & quot; objeto interno, que complementa o loaded_file / 2 predicado existente e dá acesso ao
• opções explícitas usado quando o arquivo foi compilado e carregado.
• suporte de compilador implementado para o meta_non_terminal directiva / 1 ea chamada // N built-in não-terminal.
• simplificado a compilação de regras gramaticais, removendo o suporte para lidar com erros de escopo e de existência não-terminais na regra gramatical
• nível em vez do nível predicado. Embora esse recurso poderia ser útil ao depurar as regras gramaticais, que complicou a integração de Logtalk com ferramentas de desenvolvimento de Prolog-nativas.
• Atualizado o compilador Logtalk a fim de salvar os locais cláusula entidade e disponibilizar essas informações para o back-end compiladores Prolog.
• Atualizado o compilador Logtalk, a fim de evitar a geração de cláusulas catchall internos desnecessários para a declaração de predicados e tabelas de definição para entidades dinâmicas.
• Atualizado o compilador Logtalk, a fim de excluir a utilização de predicados de vários arquivos para quebrar objeto encapsulamento. A declaração primária
• entidade deve existir, contendo tanto um escopo e uma directiva multifile para o predicado. Além disso, a definição das cláusulas de um multifile
• Entidade :: Functor / arity sem um correspondente multifile / 1 directiva agora vai resultar em um erro de compilação em vez de simplesmente um aviso.
• Removida a restrição compilador Logtalk que forçou descontíguas / 1 e dinâmicos / 1 directivas para preceder as chamadas para os predicados declarados.
• Melhorado o relatório compilador Logtalk de chamadas misspelt a não-terminais em regras gramaticais.
• Permitir o uso da:. Controle / 1 construir sobre o corpo de regras gramaticais
• Quando a depuração mensagens referidas no utilizações / 2 directivas, a mensagem é impresso agora implicitamente qualificado como no código fonte escrita pelo usuário.
• Mudou os predicados internos utilizados na execução dos predicados embutidos multi-threading, a fim de facilitar a integração com

Ferramentas
• de alto nível de depuração que requerem descompilação do código Prolog gerado.
• Corrigido um erro introduzido na Logtalk 2.42.4 relativo à elaboração de predicados entidade que chamam predicados sincronizados. Este erro resultou em chamadas
• sendo feito, em vez das formas não-sincronizada dos predicados, o que se manifestam em falhas aleatórias de gols da linha.
• Corrigido um bug de longa data em que uma meta-call compilado-runtime dentro de uma categoria seria compilado como uma chamada para um predicado do objeto
• importando a categoria em vez como uma chamada a uma categoria predicado local.
• Corrigido um bug de longa data em que os valores bandeira entidade definido localmente com o set_logtalk_flag / directiva 2 não seria suficiente para ser salvo na entidade
• código compilado.
• Corrigido um bug de longa data quando abolir um predicado dinâmica em um objeto não-protótipo, onde o / 1 método abolir teria sucesso sem
• o predicado sendo realmente abolida.
• Corrigido um bug na definição do contexto de execução correta ao chamar um meta-argumento de que requer uma compilação de tempo de execução no contexto da
• & quot; remetente & quot;.
• Corrigido um bug na compilação de chamadas explícita qualificados para o módulo de meta-predicados onde a qualificação módulo seriam retiradas do
• chamada compilado. Note-se que estas chamadas usará semântica Logtalk meta-predicado (isto é, os meta-argumentos será chamado no contexto da
• chamador) em vez do módulo Prolog meta-predicado semântica usual.
• Corrigido um bug onde as pilhas coinduction não foi inicializado quando utilizar o

O que é novo na versão 2.42.4:

• Esta versão inclui o compilador, o tempo de execução, e multi- enfiando otimizações de desempenho, melhora a mensagens de erro do compilador para a sincronizado / 1 e dinâmicos / 1 directivas, adiciona suporte para preservar informações de escopo operador e produzir essas informações para o XML gerado automaticamente documentar arquivos, adiciona novos predicados de utilidade para o objeto Logtalk, melhora vários programação exemplos, inclui uma solução alternativa para um desinstalador bug SWI-Prolog no Windows, e dispõe de atualizações de portabilidade para Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB e YAP.

O que é novo na versão 2.42.3:

• Esta versão adiciona suporte para chamar predicados dinâmicos do contexto de & quot; este & quot; de dentro de categorias, adiciona suporte para pré-compilados cabeças cláusula, inclui correções de bugs e melhorias para o depurador embutido, inclui melhores bibliotecas e exemplos, adiciona suporte para indexicais quando usando a biblioteca SICStus Prolog CLP (FD), acrescenta um exemplo experimental de utilizando variáveis ​​atribuídas dentro objetos e categorias, e dispõe de atualizações de portabilidade para o Eclipse, GNU Prolog, SICStus Prolog, e SWI-Prolog.

O que é novo na versão 2.42.2:

• Esta versão melhora a compilação de chamadas para o módulo de predicados , melhora a verificação de meta-argumentos em chamadas meta-predicado, melhora o suporte para expressões lambda, inclui um compilador otimizado para chamadas à biblioteca meta-predicados, acrescenta novas bibliotecas para registrar eventos, trabalhando com relações intervalo de tempo, e uso de contadores inteiros, melhora exemplos e bibliotecas existentes, adiciona suporte para o uso do pacote SyntaxHighlighter baseado em JavaScript, e dispõe de atualizações de portabilidade para GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, e XSB.

O que é novo na versão 2.42.1:

• Esta versão adiciona suporte para o novo modo de meta-predicado indicadores, possibilitando suporte para mais proprietária Prolog embutido meta-predicados.
• Foi adicionado suporte para detecção e comunicação de falta dinâmicos / 1 e descontínua / 1 directivas.
• A nova bandeira lint foi adicionado.
• Dois erros de compilação meta-predicado foram corrigidos.
• Alguns dos exemplos foram atualizados.
• Portabilidade atualizações foram feitas para B-Prolog, SICStus Prolog, SWI-Prolog, XSB e YAP.