Xsb. XSB - programação lógica e sistema de banco de dados dedutivo para plataformas UNIX e Windows
Baixe Agora

Xsb. Classificação e resumo

Xsb. Tag

base de dados Banco de dados dedutivo declaração de predicado coletor de lixo dedução predicado

Xsb. Descrição

XSB - programação lógica e sistema de banco de dados dedutivo para plataformas UNIX e Windows O XSB é uma programação lógica e sistema de banco de dados dedutivo para plataformas UNIX e Windows.it está sendo desenvolvido em várias instituições, incluindo o Departamento de Ciência da Computação da Stony Brook University, XSB, Inc, Katholieke Universiteit Leuven, Universidade Nova de Lisboa, e Uppsala Universitet.here são algumas características principais de "xsb": · Avalia nos programas de nível do motor com negação estratificada e não estratificada e programas com agregação estratificada. · Permite a funcionalidade completa do Prolog em código tabled, incluindo cortes, Restrições semânticas), em predicados meta-lógicos, em predicas de segunda ordem, etc. O código dinâmico também pode ser apresentado. · Permite a declaração de previsões exibidas pelo sistema ou manualmente pelo usuário. Além disso, a tabela pode ser realizada automaticamente para a rescisão, para eficiência, ou para ambos. · Fornece predicados de tabela padrão que podem ser usados para programar uma série de aplicativos em raciocínio não monotônico e representação de conhecimento. · A tabela incremental pode ser usada para programas que Use a tabela com variância de chamada em fragmentos de programas que não exigem negação comercializada. Se uma tabela depender do código dinâmico (talvez indiretamente) declarações ou retraídas para o código, propagará automaticamente as alterações incrementais para as várias tabelas dependentes. · Dinamicamente compila tabelas no código SLG-WAM baseado em trie. O que é indexado dinamicamente e para o qual o gerenciamento de memória total é fornecido. · Tem um padrão uma estratégia de tabela chamada avaliação local que é eficiente para retornar todas as respostas a uma consulta e é útil para aplicativos como análise de programa e raciocínio não monotônico. Como uma alternativa de configuração, a avaliação em lotes é uma estratégia de tabela de prólogo que retorna eficientemente a primeira resposta a uma consulta. · Tem um coletor de lixo de heap que funciona para a avaliação de tabled (e prolog). Depois que uma tabela é abolida, um coletor de lixo de mesa garante que seu espaço seja devidamente recuperado.

Xsb. Software Relacionado