| Download the Windows precompiled XSB Prolog
2.7.1 or later from http://xsb.sourceforge.net
Extract the whole 'xsb' file tree into some directory MY_XSB_DIR.
See if it works in a command shell window, by typing MY_XSB_DIR\config\x86-pc-windows\bin\xsb
You should obtain something like this:
XSB Version 2.6 (Duff) of June 24, 2003
[x86-pc-windows; mode: debug; engine: slg-wam; gc: indirection; scheduling: local]
| ?- |
Download the XSB 2.7.1 or later Prolog tar
file from http://xsb.sourceforge.net
Extract the whole 'xsb' file tree into some directory MY_XSB_DIR.
The following applies only to Mac OS X:
Notice that Java and JNI headers are in peculiar locations (cf. Apple's
FAQ), such as /System/Library/Frameworks/JavaVM.framework/Headers.
Follow the steps in the XSB INSTALL document, but requesting
InterProlog support and generation of the XSB dynamic library:
cd MY_XSB_DIR/build
./configure --with-interprolog --site-includes='MY_JAVA_DIR/includes
MY_JAVA_DIR/includes/linux'
./makexsb
So far you should have enough to use the InterProlog sockets
implementation for XSB working (XSBSubprocessEngine).
The next step builds the shared library necessary for the InterProlog
JNI implementation to work (NativeEngine):
./makexsb dynmodule
Make sure all this runs without errors.
See if XSB Prolog works in a command shell window, by typing the command
indicated at the end of makexsb, something like MY_XSB_DIR/config/i586-pc-linux-gnu/bin/xsb
You should obtain something like this:
XSB Version 2.6 (Duff) of June 24, 2003
[i586-pc-linux-gnu; mode: debug; engine: slg-wam; gc: indirection; scheduling: local]
| ?-
|
Declarativa 