Xsb. Un sistema di programmazione per aiutarti con il tuo lavoro.
Scarica ora

Xsb. Classifica e riepilogo

Xsb. Tag

sviluppo sviluppare sistema di database sistema di programmazione Sistema deduttivo deduttivo

Xsb. Descrizione

XSB è stato creato come una programmazione logica facile da usare, pratica e sistema di database deduttivo. Diassunto Risoluzione è utile per il calcolo di query ricorsivo, consentendo ai programmi di terminare correttamente in molti casi in cui Prolog non lo fa. Gli utenti interessati a analizzare, analisi del programma, controllo del modello, data mining, diagnosi e ragionamento temporale possono beneficiare di XSB. XSB supporta una configurazione che consente a più thread di calcolo all'interno di un singolo processo sotto il modello POSIX. XSB contiene una varietà di funzionalità per supportare le applicazioni orientate ai dati in memoria. Usando queste caratteristiche, le basi di conoscenza con milioni di clausole possono essere caricate rapidamente e indicizzate in modo efficiente.

Xsb. Software correlato