XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at a number of institutions