如何在Cygwin上運行XSB？

Question

我試圖運行cygwin64

$ xsb 
-bash: xsb: command not found 

的$ PATH

$ echo $PATH 
/usr/local/bin:/usr/bin: /cygdrive/C:/Program Files/Java/jdk1.8.0_65:/cygdrive/c/Program Files/Java/jdk1.8.0_65/bin:/cygdrive/c/ProgramData/Oracle/Java/javapath:/cygdrive/C:/IPS/mulval/lib:/usr/bin:/cygdrive/c/IPS/XSB:/cygdrive/c/IPS/XSB/config/x64-pc-windows/bin/xsb.exe:/cygdrive/c/IPS/XSB/bin/xsb:/cygdrive/c/IPS/XSB/config/x64-pc-windows/bin/xsb.dll:/cygdrive/c/IPS/XSB/config/i686-pc-cygwin/bin/xsb.exe:/cygdrive/c/IPS/XSB/config/i686-pc-cygwin/bin/xsb.dll:/cygdrive/c/IPS/XSB 

我怎麼能XSB運行在Cygwin XSB？ 你能幫助我嗎？

Answer 1

我找到了解決辦法

當我把

PATH= C:/IPS/XSB/bin/xsb64 

它的工作原理：

$ xsb 
[xsb_configuration loaded] 
[sysinitrc loaded] 
[xsbbrat loaded] 

XSB Version 3.6. (Gazpatcho) of April 22, 2015 
[i686-pc-cygwin 32 bits; mode: optimal; engine: slg-wam; scheduling: local] 
[Build date: 2015-04-30]