在服务器中托管 XSB Prolog

Question

我想在服务器中托管 XSB Prolog。有人可以告诉我程序是什么吗？以下 git 链接解释了如何在服务器上托管 SWIPL，但同样不适用于 XSB https://github.com/SWI-Prolog/swish

非常感谢您的帮助。

Answer 1

如果您想在服务器上托管XSB，只需使用子进程生成XSB即可。

\n\n

看到XSB 手册

\n\n

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

\n\n

生成一个由以下指定的新进程 CmdSpec指定的新进程

\n\n

XSB子进程的用途之一是创建生成子进程并\n控制它们的XSB服务器。\n生成的子进程可以是另一个XSB进程。\n以下示例显示一个XSB进程生成另一个进程，向其发送一个目标以评估并获取结果：

\n\n

`| ?-` spawn_process([xsb], To, From,Err,_),\n     file_write(To,\xe2\x80\x99assert(p(1)).\xe2\x80\x99),\n     file_nl(To),\n     file_flush(To,_),\n     file_write(To,\xe2\x80\x99p(X), writeln(X).\xe2\x80\x99),\n     file_nl(To),\n     file_flush(To,_),\n     file_read_line_atom(From,XX).\n\n`XX = 126`\n`yes`\n`| ?-`\n"Here the parent **XSB** process sends \xe2\x80\x9c\n`assert(p(1)).`\n\xe2\x80\x9d and then \xe2\x80\x9c\n`p(X), writeln(X).`\n\xe2\x80\x9d to the spawned XSB subprocess."\n"The latter evaluates the goal and prints (via \xe2\x80\x9c `writeln(X)` \xe2\x80\x9d) \nto its standard output..."\n

\n