在 http_deamon swi prolog 上运行 make

Question

如果我在服务器上使用 http_deamon 运行网站，是否可以通过 ssh 进入服务器然后打开 prolog 界面，运行一些查询，特别是在网站仍在运行的情况下创建和关闭界面？

Answer 1

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

重现步骤：

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

稍后，在服务器仍在运行时重新加载定义，只需：

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

警告：对于 HTTP Unix 守护进程，make/0 目前存在一些问题，但您也可以在不使用 http_unix_daemon 库的情况下启动 HTTP 服务器，并且在这种情况下，make/0 工作得更好。

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