XSB Ein Programmiersystem, um Ihnen bei Ihrer Arbeit zu helfen.
Jetzt downloaden

XSB Ranking & Zusammenfassung

XSB Stichworte

Entwicklung sich entwickeln Datenbanksystem Programmiersystem deduktives System deduktiv

XSB Beschreibung

XSB wurde als benutzerfreundliches, handliches Logic-Programmiersystem und deduktives Datenbanksystem erstellt. Die eingereichte Auflösung ist nützlich für rekursive Abfrageberechnungen, sodass Programme in vielen Fällen korrekt ordnungsgemäß kündigen können, in denen Prolog nicht tut. Benutzer, die an der Analyse interessiert sind, Programmanalyse, Modellprüfungen, Data Mining, Diagnose und zeitliche Argumente können von XSB profitieren. XSB unterstützt eine Konfiguration, die mehrere Berechnungsgewinde innerhalb eines einzelnen Prozesses unter dem POSIX-Modell ermöglicht. XSB enthält eine Vielzahl von Funktionen zur Unterstützung von datenorientierten Anwendungen in Speicher. Mit diesen Funktionen können Knowledge-Basen mit Millionen von Klauseln schnell geladen und effizient indiziert werden.

XSB Zugehörige Software