Xsb Un sistema de programación para ayudarlo con su trabajo.
Descargar ahora

Xsb Clasificación y resumen

Xsb Etiquetas

desarrollo desarrollar sistema de bases de datos sistema de programación sistema deducto deductivo

Xsb Descripción

XSB fue creado como una programación lógica práctica y fácil de usar y un sistema de base de datos deductivo. La resolución presentada es útil para la consulta recursiva, lo que permite que los programas terminen correctamente en muchos casos donde el prólogo no lo hace. Los usuarios interesados en el análisis de programas, el análisis del programa, la verificación del modelo, la minería de datos, el diagnóstico y el razonamiento temporal pueden beneficiarse de XSB. XSB admite una configuración que permite múltiples hilos de cálculo dentro de un solo proceso debajo del modelo POSIX. XSB contiene una variedad de características para soportar aplicaciones orientadas a datos en memoria. Usando estas características, las bases de conocimiento con millones de cláusulas se pueden cargar rápidamente y indexar de manera eficiente.

Xsb Software relacionado