XSB(ID:7139/xsb001)

Deductive logic database, based on Prolog, running on WAM
Related languages
Prolog => XSB   Extension of
References:
  • Warren, David Scott Programming the PTQ Grammar in XSB. Workshop on Programming with Logic Databases (Book), ILPS 1993: 217-234 view details
  • Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453 view details