(PDF) XSB: An Overview of its Use and Implementation