运行 在 http_deamon swi prolog 上制作

Question

如果我 运行 在服务器上使用 http_deamon 的网站是否可以通过 ssh 进入服务器然后打开 prolog 界面，运行 一些查询，特别是 make 和 close与网站的界面仍然 运行ning?

Answer 1

是，可以使用 运行ning HTTP 服务器重新加载定义。

重现步骤：

1. 开始 screen 或 tmux 会话。这使您可以分离终端以便稍后登录到同一会话。
2. 启动服务器。使用 HTTP 守护程序库，使用 --interactive 标志获得交互式 toplevel.
3. 分离会话。
4. 注销。

在任何以后的时间，要在服务器仍然 运行ning 时重新加载定义，只需：

1. 重新登录
2. 重新附加会话
3. 运行 ?- make. 照常。

注意事项：对于 HTTP Unix 守护程序，make/0 当前存在一些问题，但您始终可以启动 HTTP 服务器也没有使用 http_unix_daemon 库，在这种情况下 make/0 工作得更好。

另一种方法是简单地提供一个特殊的 URL 处理程序，当 URL 被访问时，它会在服务器内 运行 s make/0。同样，它可能无法与 Unix 守护程序库一起顺利工作，但通常 运行 没有它。