XSB is a Logic Programming and Deductive Database system for Unix and Windows.
It is being developed at a number of institutions, including the Computer
Science Department of Stony Brook University, Universidade Nova de Lisboa, XSB
Inc., and Coherent Knowledge Systems, Inc.