XSB is a Logic Programming and Deductive Database system for Unix and Windows.
Built By the Slant team