XSB Un système de programmation pour vous aider avec votre travail.
Télécharger maintenant

XSB Classement & Résumé

XSB Mots clés

développement développer système de base de données système de programmation système déductif déductif

XSB La description

XSB a été créé comme système de base de données logique facile à utiliser et à usage pratique. La résolution déposée est utile pour le calcul de la requête récursive, permettant aux programmes de se terminer correctement dans de nombreux cas où Prologs ne le fait pas. Les utilisateurs intéressés par l'analyse, l'analyse de programme, la vérification des modèles, l'exploitation minière de données, le diagnostic et le raisonnement temporel peuvent bénéficier de XSB. XSB prend en charge une configuration qui permet de multiples threads de calcul dans un seul processus sous le modèle POSIX. XSB contient une variété de fonctionnalités pour prendre en charge les applications orientées par la mémoire. En utilisant ces caractéristiques, des bases de connaissances avec des millions de clauses peuvent être rapidement chargées et indexées efficacement.

XSB Logiciels associés