XSB Prolog

GPTKB entity

Statements (33)
Predicate Object
gptkbp:instanceOf gptkb:software
Prolog implementation
gptkbp:developer gptkb:Stony_Brook_University
gptkbp:feature Unicode support
meta-programming
module system
multi-threading
dynamic code loading
foreign language interface
constraint handling rules (CHR)
definite clause grammars (DCG)
high-level interfaces to Java and C
incremental tabling
well-founded semantics
https://www.w3.org/2000/01/rdf-schema#label XSB Prolog
gptkbp:latestReleaseVersion 3.8.0
gptkbp:license gptkb:LGPL
gptkbp:operatingSystem gptkb:Windows
Unix-like
gptkbp:programmingLanguage gptkb:Prolog
gptkbp:supports tabling
constraint logic programming
deductive databases
gptkbp:usedFor gptkb:artificial_intelligence
gptkb:knowledge_representation
natural language processing
semantic web
data integration
gptkbp:website http://xsb.sourceforge.net/
gptkbp:writtenBy gptkb:Prolog
C
gptkbp:bfsParent gptkb:David_S._Warren
gptkbp:bfsLayer 7