запуск пролога на сервере из php (или сделать его демоном)

Я изучаю Пролог и хочу выяснить, как его можно использовать в реальных веб-приложениях. На локальном хосте все работает отлично, но у меня есть некоторые проблемы с тем, как сделать свое творение живым.

Чтобы запустить его на сервере, я следовал этому руководству: http://www.j-paine.org/dobbs/prolog_from_php.html

С некоторыми изменениями в php я делаю его живым.
Мой php код:

<html>
<head>
<title>Calling SWI-Prolog from PHP (short)</title>
</head>
<body>
<?
$cmd = "swipl -f /path/to/myfile.pl -g test,halt -t 'halt(1)'";

system( $cmd );
echo "\n";

$output = exec( $cmd );
echo $output;
echo "\n";
?>
</body>
</html>

Все работает хорошо, вот результат: http://37.139.24.44/index.php

Теперь у меня также есть код пролога, который запускает сервер на моем локальном хосте с помощью:

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

Пример кода:

:- module(upload, [ run/0]).
:- use_module(library(http/thread_httpd)).
:- use_module(library(http/http_dispatch)).
:- use_module(library(http/http_parameters)).
:- use_module(library(http/http_mime_plugin)).
:- use_module(library(http/http_client)).
:- use_module(library(http/html_write)).
:- use_module(library(lists)).

:- http_handler(root(.),    upload_form, []).
:- http_handler(root(upload),   upload,      []).

run :-
http_server(http_dispatch, [port(8080)]).

upload_form(_Request) :-
reply_html_page(
title('Upload a file'),
[ h1('Upload a file'),
form([ method('POST'),
action(location_by_id(upload)),
enctype('multipart/form-data')
],
table([],
[ tr([td(input([type(file), name(file)]))]),
tr([td(align(right),
input([type(submit), value('Upload!')]))])
]))
]).

upload(Request) :-
(   memberchk(method(post), Request),
http_read_data(Request, Parts, [form_data(mime)]),
member(mime(Attributes, Data, []), Parts),
memberchk(name(file), Attributes),
memberchk(filename(Target), Attributes)
->  % process file here; this demo just prints the info gathered
atom_length(Data, Len),
format('Content-type: text/plain~n~n'),
format('Need to store ~D characters into file \'~w\'~n',
[ Len, Target ]),
name(Data,Lis),
write(Lis)
;   throw(http_reply(bad_request(bad_file_upload)))
).

:- multifile prolog:message//1.

prolog:message(bad_file_upload) -->
[ 'A file upload must be submitted as multipart/form-data using', nl,
'name=file and providing a file-name'
].

И я хочу вызвать его из php, чтобы постоянно запускать его на работающем сервере без каких-либо команд в терминале.

Я пытался изменить свой PHP на

<?
$cmd = "swipl -f /path/to/myfile.pl -g run,halt -t 'halt(1)'";
system( $cmd );
$output = exec( $cmd );
echo $output;
echo "\n";
?>

Но это дает мне просто пустой экран.
Я полагаю, это может быть потому, что я пытаюсь запустить сервер на уже работающем сервере?

И если я попытаюсь вызвать другой предикат из php, он не будет работать с необходимыми библиотеками http (или я просто не знаю, как правильно его вызвать).

Я не очень хороший системный администратор, поэтому мне нужны какие-либо советы, как запустить скрипт с формой на сервере из php.

Или, если я смогу адаптировать его так, чтобы он работал в качестве демона на сервере, используя только SWIPL, это также могло бы работать для меня.

Благодарю.

3

Решение

Я думаю, что проблема в вашем случае заключается в том, что вы вызываете halt/0 немедленно после того, как сервер порожден, так что у него нет возможности даже прослушать ни одного запроса.

По моему опыту, лучший подход для веб-серверов — запускать SWI как Unix. демон, это то, что вы также предлагаете. Пожалуйста, смотрите документацию library(http/http_unix_daemon).

Когда вы используете эту библиотеку, вы можете просто запустить сервер как (например):

$ swipl server.pl --user=www --pidfile=/var/run/http.pid

и он будет постоянно слушать запросы и обслуживать клиентов.

Обратите внимание, что если вы используете library(http/http_unix_daemon), вам даже не нужны вспомогательные предикаты, такие как ваш server/1, Все это обрабатывается неявно.

Во время разработки я рекомендую использовать --interactive флаг командной строки при запуске сервера, чтобы вы могли взаимодействовать с сервером также на верхнем уровне.

После завершения вы можете легко запустить сервер при запуске системы.

3

Другие решения

Других решений пока нет …

По вопросам рекламы ammmcru@yandex.ru
Adblock
detector