Ошибка [XSB/Runtime/P]: [Тип (библиотека (http / thread_httpd) вместо атома)]

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

Нельзя использовать HTTP-библиотеки SWI-Prolog с XSB. Эти библиотеки полагаются на проприетарные функции SWI-Prolog и не будут работать как есть в XSB. Портирование библиотек также не является тривиальной задачей, начиная с того факта, что модульная система в SWI-Prolog основана на предикатах, а модульная система в XSB основана на атомах.