Made SWI work on Windows. Added support for XSB.