在http_deamon swi prolog上运行make

在http_deamon swi prolog上运行make,prolog,swi-prolog,Prolog,Swi Prolog,如果我在服务器上使用http deamon运行网站,是否可以通过ssh连接到服务器,然后打开prolog界面,运行一些查询,特别是在网站仍在运行的情况下创建并关闭界面?是,可以使用正在运行的http服务器重新加载定义 复制步骤: 启动屏幕或tmux会话。这允许您分离终端,以便稍后登录到同一会话中 启动服务器。在HTTP守护程序库中,使用--interactive标志获得一个交互式的顶级 分离会话 注销 以后,要在服务器仍在运行时重新加载定义,只需执行以下操作: 再次登录 重新连接会话 像往常一样

如果我在服务器上使用http deamon运行网站,是否可以通过ssh连接到服务器,然后打开prolog界面,运行一些查询,特别是在网站仍在运行的情况下创建并关闭界面?

,可以使用正在运行的http服务器重新加载定义

复制步骤:

  • 启动
    屏幕
    tmux
    会话。这允许您分离终端,以便稍后登录到同一会话中
  • 启动服务器。在HTTP守护程序库中,使用
    --interactive
    标志获得一个交互式的顶级
  • 分离会话
  • 注销
  • 以后,要在服务器仍在运行时重新加载定义,只需执行以下操作:

  • 再次登录
  • 重新连接会话
  • 像往常一样运行
    ?-make.
  • 注意事项:使用HTTPUnix守护进程
    make/0
    目前存在一些问题,但是您也可以随时启动HTTP服务器,而无需使用
    HTTP\u Unix\u守护进程
    库,在这种情况下,
    make/0
    工作得更好

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