XSB is a Logic Programming and Deductive Database system for Unix and Windows.
Built By the Slant team
Are you sure that you want to abandon your hard work?