Server 错误[XSB/Runtime/P]：[Type（库（http/thread_httpd）代替atom]

我正在尝试在服务器中托管XSB。我编写了以下代码：

:- module(server, [server/0, server/1]).
:- import http_server/2 from library(http/thread_httpd).
:- import http_dispatch/1 from library(http/http_dispatch).
:- use_module(swish, []).

server :-
    server(localhost:3050).

server(Port) :-
    http_server(http_dispatch,
            [ port(Port),
              workers(16)
            ]).

我得到以下错误

    [xsb_configuration loaded]
    [sysinitrc loaded]
    [xsbbrat loaded]
    [Compiling ./server]
    ++Warning[XSB]: [Compiler] ./server : Unused symbol http_dispatch/1
    ++Warning[XSB]: [Compiler] ./server : Unused symbol swish/0
    ++Warning[XSB]: [Compiler] ./server : Unused symbol library(http / http_dispatch)/0
    ++Error[XSB/Runtime/P]: [Type (library(http / thread_httpd) in place of atom)] in arg 1 of predicate atom_length/2
    Forward Continuation...
    ... asmpass2:asm_putsym/2

---

有人能告诉我我做错了什么吗。非常感谢您的帮助。

您不能将SWI Prolog HTTP库与XSB一起使用。这些库依赖于SWI Prolog专有特性，不会像XSB中那样工作。移植库也不是一项简单的任务，首先，SWI Prolog中的模块系统是基于谓词的，而XSB中的模块系统是基于atom的。

我已经看到了您前面的问题。我很想回答这个问题，但我并没有很容易找到任何有用的XSB Prolog在线文档。您确定要加载的库可用，并且这是加载它们的正确方法吗？据我所知，整个http包是SWI Prolog发行版的一部分；我真的不知道它是否可用于XSB Prolog，或者它的源代码是否与XSB Prolog兼容。