Question

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

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

Answer 1

您不能将SWI-Prolog HTTP库与XSB一起使用。这些库依赖于SWI-Prolog专有功能，并且不会在XSB中按原样运行。移植库也不是一项简单的任务，首先是SWI-Prolog中的模块系统是基于谓词的，而XSB中的模块系统是基于原子的。

错误[XSB / Runtime / P]：[类型（库（http / thread_httpd）代替原子）]

1 个答案: