Prolog Blog

XSB version 3.2 was recently released. Many improvements and new features have been added, including:

• speed improvements
• improved ISO Prolog compatibility
• better compatibility with another Prolog implementations
• a working 64-bit version
• improved tabling
• and lots more

Check out the 3.2 Release Notes and download the source and try it out. Basic compilation goes like this:

wget http://xsb.sourceforge.net/downloads/XSB.tar.gz
tar zxf XSB.tar.gz
cd XSB/build
./configure
./makexsb

XSB can then be run with:

cd ..
./bin/xsb