Xsb XSB - Programación de lógica y sistema de base de datos deductivo para plataformas de Windows y similar a UNIX
Descargar ahora

Xsb Clasificación y resumen

Xsb Etiquetas

base de datos base de datos deducta declaración de predicado recolector de basura deducción predicado

Xsb Descripción

XSB - Programación de lógica y sistema de base de datos de deducción para plataformas de Windows y similar a UNIX XSB es un sistema de programación lógica y base de datos deductiva para las plataformas similares a los Unix y Windows. Se está desarrollando en varias instituciones, incluido el Departamento de Ciencias de la Computación de la Universidad Stony Brook, XSB, INC, Katholieke Universiteit Leuven, Universidade Nova de Lisboa, y Uppsala Universitet. Aquí hay algunas características clave de "XSB": · Se evalúa en los programas de nivel de motor con negación estratificada y no estratificada, y programas con agregación estratificada. · Permite la funcionalidad prólogo completa en el código de presentación, incluidos los recortes, (sujeto a débiles Las restricciones semánticas), en los predicados meta-lógicos, en los predicados de segundo orden, etc. También se puede presentar un código dinámico. · Permite la declaración de predicados presentados automáticamente por el sistema o manualmente por el usuario. Además, la presentación se puede realizar automáticamente para la terminación, para la eficiencia, o para ambos. · Proporciona predicados de tablones estándar que se pueden usar para programar una serie de aplicaciones en la representación no monotónica de razonamiento y conocimiento. · La presentación incremental se puede utilizar para programas que Use la presentación con la varianza de llamada en los fragmentos del programa que no requieran una negación de presentación. Si una tabla depende del código dinámico (quizás indirectamente), afirma o retrae al código, propague automáticamente los cambios incrementales a las diversas tablas dependientes. · Recopila dinámicamente las tablas en el código SLG-WAM basado en Trie. que se indexa dinámicamente y para la cual se proporciona la administración de memoria completa. · Tiene una estrategia predeterminada de presentación de una evaluación local que es eficiente para devolver todas las respuestas a una consulta, y es útil para aplicaciones como el análisis del programa y el razonamiento no monotónico. Como una alternativa de configuración, la evaluación por lotes es una estrategia de presentación similar a un prólogo que devuelve de manera eficiente la primera respuesta a una consulta. · Tiene un colector de basura de montones que funciona para la evaluación (y prólogo). Después de que se abolida una mesa, un colector de basura de mesa garantiza que su espacio esté reclamado correctamente.

Xsb Software relacionado