Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. XSB

XSB 3.1

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos
Download

Sistema de programação lógica e banco de dados dedutivo (Prolog apresentado) para Unix e Windows.

história da versão

  • Versão XSB%203.1%20%28Incognito%29 postado em 2007-08-30
    Várias correções e atualizações
  • Versão XSB 3.1 Incognito postado em 2007-08-30

Detalhes do programa

Programas Relacionados

  • XML::Validator::Schema Livre

    Este módulo Perl permite validar documentos XML contra um W3C XMLEsquema. Este módulo não implementa o esquema W3C XML completorecomendação, mas um subconjunto útil.

  • DHL Track and Trace Avaliação gratuita

    FAIXA E RASTREAMENTO DHL - Versão não oficial 1.1.1Fácil de usarRecurso- Escaneamento de código de barras- Rastreamento do rastreamento do histórico de números- Perto do escritório da DHL- Url de rastreamento d

  • Eclipse Caps Toggle Plugin Livre

    Plugin Eclipse 3.x para fornecer funcionalidade de toggling de caixa nos vários editores do Eclipse. Inclui propósito geral "firstName -> FIRSTNAME -> firstname -> FIRSTnAME -> firstName" toggling e banc

  • SQL Audit Livre

    Gerador de script T-SQL para SQL Server 2000/2005 para permitir auditoria em tabelas de banco de dados usando gatilhos e tabelas adicionais para auditoria. A SQL Audit é composta por duas Montagens .NET 2.0: SqlAudit.dll e Sq

  • Integrated Testing Framework Livre

    Uma estrutura de teste integrada, abrangendo geração de casos de teste, execução, relatório de bugs, cobertura de código e convenções de codificação. Atualmente este é um conjunto de módulos para netbeans IDE, integrando algu

  • CINT Smartcard Livre

    O projeto CINT Smartcard é uma coleção de ferramentas e bibliotecas para testar o cartão inteligente. Agora ele consiste em uma ferramenta de GUI, o TestCase Manager e duas bibliotecas pré-compiladas CINT, pcsclib & gsmli

  • Listables - Donate Avaliação gratuita

    ============ Esta é a versão do doação do aplicativo Gratuito Listables ============Por favor, considere doar baixando esta versão do aplicativo. Eu sou apenas um desenvolvedor tentando pagar as despesas, e cada doaçã

  • PPIV Livre

    PPIV é um aplicativo de software paralelo usado na análise de Velocimetria de Imagem de Partículas (PIV). O software calculará o campo vetorial para um par de imagens ou vários pares de imagens. O PPIV pode ser executado em u

  • vdevice Livre

    Vdevice é um emulador e ferramentas de desenvolvimento para hardware virtual. Escrito no framework .NET, o vdevice permite que o hobbyist escreva software ou sistemas operacionais sem lidar com a sobrecarga de uma plataforma

  • Comparative Genomics Ontology Livre

    A Ontologia Genômica Comparada (CGO) é uma ontologia OWL inicialmente desenvolvida para apoiar a integração de dados de genômica comparativa a partir de recursos heterogêneos como parte do projeto ComparaGRID.