XSB XSB - Logic-Programmierung und deduktives Datenbanksystem für unix-ähnliche und Windows-Plattformen
Jetzt downloaden

XSB Ranking & Zusammenfassung

XSB Stichworte

Datenbank deduktive Datenbank Prädikatsdeklaration Müllsammler Abzug Prädikat

XSB Beschreibung

XSB - Logic-Programmierung und deduktives Datenbanksystem für unix-ähnliche und Windows-Plattformen XSB ist ein logisches Programmier- und Deduktivdatenbanksystem für unix-ähnliche und Windows-Plattformen. Es wird in einer Reihe von Institutionen entwickelt, darunter die Informatikabteilung der Stony Brook University, XSB, Inc, Katholieke Universiteit Leuven, Universidade Nova de Lisboa, und UPPSALA Universitet.Her sind einige wichtige Funktionen von "XSB": · Auswertet auf den Motorstufenprogrammen mit geschichteter und nicht geschichteter Negation und Programme mit geschichteter Aggregation. · Ermöglicht die vollständige Prolog-Funktionalität in einem bestimmten Code einschließlich Schnitte (vorbehaltlich Semantische Einschränkungen), in meta-logischen Prädikaten, Prädikate von zweiter Ordnung usw., dynamischer Code kann auch eingereicht werden. · Ermöglicht die Deklaration von eingereichten Prädikaten entweder automatisch vom System oder manuell vom Benutzer. Darüber hinaus kann ein Tabling automatisch zur Kündigung, aus Effizienz oder für die Effizienz oder für beide durchgeführt werden. · Enthält Standard-herrschende Prädikate, die zur Programmierung einer Anzahl von Anwendungen in nicht-monotonischer Denk- und Wissensdarstellung verwendet werden können. · Inkrementales Tisch kann für Programme verwendet werden Verwenden Sie ein Tabling mit Anrufabweichung auf Programmfragmenten, die keine eingereichte Negation erfordern. Wenn eine Tabelle von dem dynamischen Code (vielleicht indirekt) abhängt, oder zurückziehen Sie den Code automatisch inkrementellen Änderungen an den verschiedenen Abhängigen Tabellen. · Kompilieren Sie dynamisch Tabellen in den triebasierten SLG-WAM-Code. Die dynamisch indiziert und für die das vollständige Speichermanagement bereitgestellt wird. · hat eine Standardeinstellung, die als lokale Bewertung namens lokale Bewertung nennt, die für die Rücksendung aller Antworten auf eine Abfrage wirksam ist, und ist nützlich für Anwendungen wie Programmanalyse und nicht monotonische Argumente. Als Konfigurationsalternative ist eine stapelige Auswertung eine prologartige Tablettenstrategie, die die erste Antwort effizient auf eine Abfrage zurückgibt. · Hat einen Heap-Müllkollektor, der für eingereichte (und der Prolog-Evaluierung arbeitet. Nachdem ein Tisch abgeschafft ist, stellt ein Tabellenmüllkollektor sicher, dass sein Platz ordnungsgemäß zurückgefordert wird.

XSB Zugehörige Software