Portátil Swi-Prolog Swi-Prolog oferece um ambiente abrangente de software livre Prolog, licenciado sob a menor licença pública GNU. Juntamente com o seu kit de ferramentas gráficas XPCE, seu desenvolvimento começou em 1987 e foi
Baixe Agora

Portátil Swi-Prolog Classificação e resumo

Portátil Swi-Prolog Tag

Portátil Swi-Prolog Descrição

Um ambiente de prólografia de software livre abrangente, licenciado sob a menor licença pública GNU O Swi-Prolog oferece um ambiente de software livre abrangente, licenciado sob a menor licença pública GNU. Juntamente com o seu kit de ferramentas gráficas XPCE, seu desenvolvimento iniciado em 1987 e foi impulsionado pelas necessidades das aplicações do mundo real. Estes dias, o Swi-Prolog é amplamente utilizado em pesquisa e educação, bem como para aplicações comerciais. As características mais importantes do Swi-Prolog são: * Kernel licenciado sob o LGPL. As bibliotecas do Prolog são distribuídas sob a GPL com uma declaração adicional que permite a utilização em aplicativos proprietários. Detalhes podem ser encontrados na página de licença. * Compilação rápida. Por exemplo, carrega 140.000 linhas de código distribuíam mais de 500 arquivos de origem em 2,3 segundos em um sistema AMD 5400+. * Robusto e livre de vazamentos de memória. Em uso para vários servidores que são executados 24x7 (incluindo este serviço da web). * Pequena. O ambiente de desenvolvimento completo, incluindo gráficos, bibliotecas e muitos pacotes de interface requer aprox. 40MB de disco rígido. O kernel não-gráfico é de cerca de 650kb, a biblioteca gráfica adiciona cerca de 1,2MB à imagem. * Balança bem para grandes aplicações. Não há limites no tamanho do programa, comprimento de átomo, termo ou valores inteiros. Nenhuma degradação de desempenho em predicates com muitos fatos (indexados). * A indexação just-in-time do código estático e dinâmico em qualquer argumento simplifica muito a manipulação de relações multimodadas com muitas cláusulas. * Inteiro ilimitado e número racional aritmético com base na biblioteca do GMP. * Conjunto abrangente de predicados embutidos, cobrindo parte 1 do padrão ISO, o padrão de Prolog de Facto Edimburgo e partes importantes de Quintus e Sicstus Prolog. Compatibilidade justa ao Ciao, Yap e Gnu-Prolog. * Interface flexível e rápida para a linguagem C- e C ++. A interface permite chamar ambas as maneiras, manuseio de não-determinismo tanto e incorporação do kernel Swi-Prolog em projetos C / C ++. * As guloseimas: módulos (compatíveis para cima para Quintus e Sicstus), coleção de lixo (transparente para C / C ++ - código, incluindo coleta de lixo Atom), otimização de última chamada, expansão dinâmica das pilhas de tempo de execução, manuseio de exceção ISO (incluindo Interface C / C ++ para capturar e jogar exceções). * Depurador de nível de origem em todas as plataformas que suportam gráficos através do XPCE (Windows, Unix / Linux, MacOSX). * Profiler de execução (estatísticas de tempo e chamadas) para Linux, a maioria das plataformas UNIX e Windows NT / 2000 / XP / Vista. * Referenciador de cruz. O GXREF / 0 fornece uma front-end gráfica para o referenciador de Prolog Prolog (XREF). * Portátil para muitas plataformas, incluindo quase todas as plataformas Unix / Linux, Windows (NT / 2000 / XP / Vista, incluindo edições de 64 bits), MacOS X (usando x11 para gráficos) e muito mais. Tanto o hardware de 32 bits quanto de 64 bits são suportados. As fontes são simples C99, configuradas automaticamente usando o GNU AutoConf (Configure, Fazer, Instalar). * Conjunto de caracteres Unicode Manipulação interna. Ideal para aplicações web e internacionais. * Estados salvos independentes da máquina (salvar em uma plataforma, execute usando a máquina virtual de outra plataforma). * Suporte multi-threading: Execute vários mecanismos de prólogos programados pré-vazados no mesmo banco de dados. * Atribuído variáveis, coroutining (Freeze / 2, quando / 2, DIF / 2), variáveis globais, termos cíclicos. * Manipulação controlada por sinalização de ocorrência de verificação (FALSE / TRUE / ERRO) Consulte Current_Prolog_Flag / 2. * Programação lógica de restrição, fornecendo bibliotecas para Chr (regras de manuseio de restrição), CLP (FD), CLP (R, Q) e vários outros. * Bundled com bibliotecas de interface para Java (JPL), ODBC, TCP / IP soquetes, SSL, manuseio de formulários CGI, etc. Verifique os pacotes. * Biblioteca de servidores da Web multi-threaded com bibliotecas abrangentes para gerar autorização HTML, HTTP, gerenciamento de sessão, trocando JSON (usado por muitos widgets AJAX), etc. * Bibliotecas rápidas e flexíveis para analisar SGML / XML (HTML), analisar RDF, armazenar e consultar o modelo triplo RDF. Um editor gráfico para modelos RDF / RDFS e OWL chamados Triple20 é distribuído separadamente. * Suporte de programação alfabetizado através do Pledor. Fornece visualização integrada na documentação manual e de aplicativos e produzindo documentação de Latex para sua aplicação. * Suporte de testes unitários através de plunit. * Distribuições binárias regulares para Windows (32/64 bits) e MacOS X (64 bits)).

Portátil Swi-Prolog Software Relacionado