https://stonybrook.zoom.us/j/
All are welcome!
For those new:)
XSB has been one of the most advanced rule systems in the world
(under active development here at Stony Brook and elsewhere for over
three decades, to this day), supporting well-founded semantics for
non-stratified negation and tabling techniques for efficient query
evaluation (in fact, it is THE most advanced in supporting those).
abstract and bio
You got chocolate on my peanut butter!''
Tightly Connecting XSB Prolog and Python
Theresa Swift
Despite their differences, Prolog and Python share important
commonalities. First, both XSB and CPython, the standard Python
implementation, are written in C with well-developed interfaces to
other C programs. In addition, both are dynamically typed with data
structures that are generated by small number of types. In fact,
nearly all core data structures of the two languages can be
efficiently bi-translated leading to a tight connection of the two
systems. This talk presents the design, experience, and implications
of such a connection. The connection for XSB to call Python has led
to commercially-used interfaces to Elasticsearch, dense vector
storage, nlp systems, as well as to the 14.6 billion triple Wikidata
graph. The connection for Python to call XSB, while newer, allows XSB
to be imported as any other Python module so that XSB can easily be
invoked from Jypyter notebooks or through graphical interfaces. On a
more speculative level, the talk mentions how this work might be
leveraged for research in neuro-symbolic learning, natural language
processing and cross-language type inference.
