Windows instructions:

To call XSB from C, you must build it as a DLL, which is done as follows:

  cd $XSB_DIR\XSB\build
  makexsb_wind DLL="yes"

The DLL, which you can call dynamically from your program is then found in

$$\tt \$XSB\_DIR\backslash config\backslash \mbox{\tt x86-pc-windows}\backslash bin \backslash xsb.dll$$

Since your program must include the file cinterf.h, it is recommended to compile it with the option /I$XSB_DIR\XSB\emu.