XSB

XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
This paper presents an implementation of interning of ground terms in the XSB Tabled Prolog system. This is related to the idea… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2012
Review
2012
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP, B Prolog… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
2003
2003
XSB is a highly declarative programming system consisting of Prolog extended with tabled resolution. It is useful for many tasks… (More)
Is this relevant?
2003
2003
We present our approach to support program understanding by a tool that generates static and dynamic analysis algorithms from… (More)
  • figure 1
  • table 1
  • table 2
Is this relevant?
2003
2003
Credits Day-today care and feeding of XSB including bug fixes, ports, and configuration management has been done The breakdown… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The well-founded model provides a natural and robust semantics for logic programs with negative literals in rule bodies. We… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation… (More)
Is this relevant?
1994
1994
XSB is a logic-based programming system that can serve as an efficient immemory Deductive Database (DDB) engine. XSB… (More)
Is this relevant?
1994
1994
To date (Version 1.7.1), the core engine development of the SLG-WAM has been mainly implemented by Terrance Swift, Kostis Sagonas… (More)
Is this relevant?