Logtalk.

linguagem de programação lógica orientada a objetos de código aberto
Baixe Agora

Logtalk. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Preço:
  • FREE
  • Nome do editor:
  • Paulo Moura
  • Site do editor:
  • http://logtalk.org/
  • Sistemas operacionais:
  • Mac OS X 10.4 or later
  • Tamanho do arquivo:
  • 715 KB

Logtalk. Tag


Logtalk. Descrição

Linguagem de programação lógica orientada a objetos de código aberto O LogTalk é uma linguagem de programação lógica orientada a objetos de código aberto maduro que pode usar a maioria das implementações do Prolog como um compilador de back-end. Aqui estão algumas características principais de "logtalk": · Diretrizes de predicado (declarações) podem estar contidas dentro de protocolos (interfaces), que podem ser implementadas por qualquer objeto. · Os nomes de objetos podem ser termos compostos contendo variáveis livres que podem ser usadas para parametrizar predicados de objeto. Isso nos permite tratar qualquer predicado como uma instanciação de um objeto paramétrico. Isto é Por meio do objeto paramétrico, podemos associar qualquer número de métodos a um termo composto. · Você pode ter, na mesma aplicação, hierarquias baseadas em classes (com instanciação e relações de especialização) e hierarquias baseadas em protótipos (com relações de extensão). Além disso, recursos fundamentais da linguagem, como protocolos (interfaces) e categorias (componentes), podem ser usados simultaneamente por classes, casos e protótipos. · Não precisa ser restrito a uma única hierarquia longa enraizada em algum objeto genérico. · O LOGTALK suporta herança privada, protegida e pública de maneira semelhante a c. Além disso, qualquer relação de entidade pode ser qualificada usando uma palavra-chave de escopo. Por exemplo. Um objeto pode implementar em particular um protocolo, fazendo com que todos os protocolos declarassem predicados privados. · Defina o escopo do seu objeto predicates para corresponder ao seu design de protocolo e deixe o sistema de tempo de execução impor suas escolhas. · Objetos podem ser estáticos ou dinâmicos. Objetos estáticos são definidos em arquivos de origem que são compilados e carregados da mesma maneira que os arquivos do Prolog. Objeto dinâmico pode ser definido nos arquivos de origem ou criado no tempo de execução. · Qualquer objeto estático pode conter predicados estáticos e dinâmicos. · O LogTalk usa a sintaxe padrão do Prolog com a adição de alguns operadores e diretivas para uma curva de aprendizado suave. O código do Prolog pode ser facilmente encapsulado dentro de objetos com pouca ou nenhuma alteração. Além disso, a LogTalk pode interpretar transparentemente a maioria dos módulos Prolog, como objetos LogTalk para facilitar a reutilização do código existente (por exemplo, bibliotecas). · Os predicados podem ser implicitamente chamados quando ocorre um evento espionado, permitindo soluções de programação que minimizam o acoplamento de objetos. Além disso, os eventos fornecem suporte para reflexão comportamental. · Os predicados podem ser encapsulados dentro das categorias, o que pode ser praticamente importado por qualquer objeto, sem qualquer duplicação de código e independentemente das hierarquias de objetos. Assim, os objetos podem ser definidos através da composição de categorias, que atuam como unidades de reutilização de código. · Programação multi-threading de alto nível está disponível ao executar o LogTalk com compiladores de prolog de back-end selecionados, permitindo que objetos suportem as mensagens síncronas e assíncronas. Facilmente aproveite os computadores multi-processadores e multi-core modernos sem incomodar com os detalhes de criar e destruir threads, implementar a comunicação de thread ou sincronizar roscas. · O Logtalk suporta multi-herança de protocolo e implementação. Um objeto pode implementar vários protocolos e estender, especializar ou instanciar vários objetos. Conflitos multi-herança são resolvidos implicitamente pelos algoritmos de pesquisa de LogTalk ou explicitamente usando diretivas predicadas. · O código LOGTALK é compilado usando as mesmas técnicas que você usa para gravar o código PROLOG EFICIENTE. Além disso, o LogTalk suporta a ligação estática e a ligação dinâmica (com o cache de pesquisa do método), melhorando muito o desempenho. Os resultados de referência para alguns compiladores de Prolog estão disponíveis aqui. · O LOGTALK é projetado para integração suave com qualquer compilador de prólogo que esteja em conformidade ou segue de perto o padrão ISO Prolog. · Interfaces LogTalk com um compilador de prolog de back-end específico através de um arquivo de configuração mínimo, tornando-se compatível com quase qualquer compilador moderno. · O LogTalk gera automaticamente um arquivo de documentação no formato XML para cada objeto, protocolo ou categoria compilado. O sistema inclui todos os arquivos e scripts xsl (t) necessários para converter arquivos de documentação para (x) html e pdf. Requisitos: · ProLOG. O que há de novo nesta versão: · Adicionado suporte para usar o compilador {} / 1 Bypass Control LogTalk Construct para envolver os fechamentos que devem ser executados dentro do contexto do "usuário" pseudo-objeto (por exemplo, chamadas para predicados de prolog integrados). · Semântica de módulo de solução alternativa Meta-predicado Para suportar chamadas para módulo meta-predicates especificados em diretivas usadas_module / 2 dentro de objetos e categorias. · Adicionado suporte para compilar as chamadas para módulos Meta-Predicates que são explicitamente qualificados (podem exigir que os módulos sejam carregados, dependendo do compilador Prolog de back-end). · Código de limpeza da compilação das diretrizes do Meta-Predicate. Aperte os cheques de diretivas de meta-predicadas e argumentos de diretiva de metanio. · Melhor compilação de metas de chamada / 2-N. · Melhor desempenho de meta-chamadas que são compiladas a tempo de execução. · Melhor desempenho da expressão lambda livre / objetivo, geralmente usado em chamadas bagof / 3 e setof / 3. · Verificação de erros de expressão de lambda melhorada e suporte adicionado para usar uma expressão (>>) / 2 lambda como um objetivo. · Corrigido um bug para lidar com o contexto da meta-chamada para expressões lambda. · Corrigido um erro de digitação no termo de exceção gerado ao enviar uma mensagem para um objeto correspondente a um método local integrado. · Atualizou o arquivo CXProlog Config para definir limites de lista de gravação e gravação que permitam a compilação das bibliotecas e exemplos de logtalk (os valores padrão são dois baixos em alguns casos que levam a erros de compilação). Além disso, aproveite o novo sinalizador "Version_data", exigindo a versão 0.97.4 ou uma versão posterior. · Atualizou o arquivo Swi-Prolog Config para reconhecer e compilar a diretiva proprietária AT_HALT / 1. · Atualizou o arquivo B-Prolog Config para adicionar uma declaração de meta-predicado ausente para o predicado proprietário foreach / 2. · Atualizou o arquivo de configuração YAP adicionando uma declaração ausente para a hora / 1 meta-predicado interno proprietário e comentando a definição da chamada que define o sinalizador "ISO" para "ISO" devido a todas as bibliotecas YAP que não t compile com esta configuração. · Atualizou o arquivo de configuração XSB adicionando uma declaração ausente para o Tempo / 1 Proprietário Meta-predicado integrado e uma definição para o predicado setup_call_cleanup / 3 (para restaurar a compatibilidade com os recursos do LogTalk Multi-Threading). · Atualizaram todos os arquivos de configuração com informações sobre a disponibilidade do setup_call_cleanup / 3 predicado. · Exampli o exemplo "lambdas" com uma contribuição de Artur Miguel Dias, mais consultas de amostra (incluindo não deterministas) e alguns benchmarks simples. · Adicionado suporte de coloração de sintaxe para o operador de quantifier existencial ^ / 2 para a maioria dos editores de texto suportados e marcadores de sintaxe. Adicionado código de exemplo usando o quantificador existencial ^ / 2 para o arquivo de teste de coloração de sintaxe.


Logtalk. Software Relacionado

Scala.

linguagem de programação de uso geral projetada para expressar padrões de programação comuns ...

204 14.9 MB

Download

Acorde

Versão Java do programa Chordpro para formatação de folha de música do guitarrista ...

352 6.9 MB

Download

Kyma X.

Kyma X - Ambiente para música, som de filme, publicidade, pós-produção e mais ...

396 0 KB

Download

Idmunit.

Uma estrutura de testes automatizada XUnit para soluções de gerenciamento de identidade. ...

158 12.5 MB

Download