1

我正在尝试在服务器中托管 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

有人可以告诉我我在这里做错了什么。非常感谢您的帮助。

4

1 回答 1

3

您不能将 SWI-Prolog HTTP 库与 XSB 一起使用。这些库依赖于 SWI-Prolog 的专有特性，不能在 XSB 中按原样工作。移植库也不是一件容易的事，首先是 SWI-Prolog 中的模块系统是基于谓词的，而 XSB 中的模块系统是基于原子的。

于 2016-11-18T15:09:00.640 回答