Declarativa
|
XSB has built-in support for InterProlog, which needs to be specified on installation under Unix.
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 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: |
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:
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.