Declarativa
|
XSB has built-in support for InterProlog, which needs to be specified on installation.
Windows 2000, XP |
Linux Red Hat 9, Mac OS X (10.3 and later) |
| Download the Windows precompiled XSB Prolog
2.7.1 or later from xsb.sourceforge.net
(if you need to use version 2.6 make sure to pick the XSB-2.6_win_interprolog_fixed.zip
file)
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: |
Download XSB Prolog from
xsb.sourceforge.net (make sure to pick the compressed tar file here)
Extract the whole 'xsb' file tree into some directory MY_XSB_DIR. InterProlog works better with XSB 2.7.1 and later. The following applies only for XSB 2.6:
The following applies only to Mac OS X:
Follow the steps in the XSB INSTALL document, but requesting InterProlog support and generation of the XSB dynamic library:
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):
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: |
You can now continue installing InterProlog.