Installation

Installation Procedure

• Install XSB, available at http://xsb.sourceforge.net/ (target directory for XSB should be /usr/local/XSB/, otherwise you have to change a few paths in TRIPLE source code)
• do "ant dist" in the TRIPLE directory
• in the Makefile: change LOCAL, XSB, and JAVA_INC environment variables to fit your directory structure
• do "make" for creating libXSB.so, this library does the Java-C bridging via JNI and connects Triple with XSB (if you get a warning about "initVarHashTable" that is ok)

Run TRIPLE

• cd dist/bin
• ./xsbcored
• ./tripled --http 4000
• ./client --http 4000

aharth@tapioca:~/tmp/triple/dist/bin$ ./client --http 4000
initializing triple
help with "help"
> addtriple ../examples/simple.triple
done.
> query ../examples/query.triple



done.
> exit

Triple features an interactive shell. At the triple prompt, type in "help" to get list of commands.