web应用程序 – 在服务器中托管XSB Prolog

2024年1月15日 250次阅读

我想在服务器上托管XSB Prolog.有人可以告诉我这个程序是什么吗？

以下git链接说明了如何在服务器上托管SWIPL,但同样不适用于XSB

https://github.com/SWI-Prolog/swish

非常感谢您的帮助.

最佳答案 如果要在服务器上托管XSB,只需使用子进程生成XSB.

见XSB Manual

spawn_process(CmdSpec,-StreamToProc,-StreamFromProc,-ProcStderrStream,ProcId)

生成CmdSpec指定的新进程

XSB子进程的一个用途是创建产生子进程和的子进程的XSB服务器
控制他们.
衍生的子流程可以是另一个XSB流程.
以下示例显示了一个XSB流程生成另一个流程,向其发送评估和获取结果的目标：

`| ?-` spawn_process([xsb], To, From,Err,_),
     file_write(To,’assert(p(1)).’),
     file_nl(To),
     file_flush(To,_),
     file_write(To,’p(X), writeln(X).’),
     file_nl(To),
     file_flush(To,_),
     file_read_line_atom(From,XX).

`XX = 126`
`yes`
`| ?-`
"Here the parent **XSB** process sends “
`assert(p(1)).`
” and then “
`p(X), writeln(X).`
” to the spawned XSB subprocess."
"The latter evaluates the goal and prints (via “ `writeln(X)` ”) 
to its standard output..."
点赞