Я изучаю Пролог и хочу выяснить, как его можно использовать в реальных веб-приложениях. На локальном хосте все работает отлично, но у меня есть некоторые проблемы с тем, как сделать свое творение живым.
Чтобы запустить его на сервере, я следовал этому руководству: 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, это также могло бы работать для меня.
Благодарю.
Я думаю, что проблема в вашем случае заключается в том, что вы вызываете 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
флаг командной строки при запуске сервера, чтобы вы могли взаимодействовать с сервером также на верхнем уровне.
После завершения вы можете легко запустить сервер при запуске системы.
Других решений пока нет …