Did you know ... Search Documentation:
Pack pac -- prolog/misc/web.pl
PublicShow source
 cgi_main is det
main entry for Prolog CGI.
 cgi_normal is det
Top level process of Prolog CGI.
 query_to_answer(+X:codes, -Y:codes) is det
Eval query X in codes to cgi response form Y.
 query_to_html_codes(+X, -Y) is det
Eval query X into html codes Y. ?- sqc(web). ?- query_to_html_codes(`(peek([b]), append([a]))`, X), smash(X). ?- query_to_html_codes(`?-append([a],[b], A)`, X), smash(X). ?- parse_query((?- append([a], [b], _G2170)), ['A'=_G2170], _G2288). ?- parse_query(`?- append([a], [b], X)`, Y). ?- parse_query(`(peek([1]), append([2]), set::pow)`, X). ?- parse_query(`(?-append([a],[b], X))`, V). ?- parse_query(`append([a],[b])`, V). ?- parse_query(`(??- member(X, [1,2,3]))`, V). ?- parse_query(`(peek([b]), append([a]))`, V). ?- eval(misc:set::pow([1,2]), V). ?- parse_query(`(peek([a,b]), ([X]\\set::pow(X)))`, V). ?- expand_basic_phrase(fun([X], misc:set::pow(X)), user, F, P, []). parse_query(X, _, _):- var(X), !, throw
 parse_query(+X, -Y) is det
Parse query X into a term Y.
 parse_query(+E, -V, -Y) is det
Parse query E to a term Y and variable_names V.
 eval_query(+E, -V) is det
Eval query E to a term V. ?- let(F, ([X]\ (set::pow@ X))), web:eval_query((peek([[1], [2]]), eh:apply(append), F), X).
 cgi_phrase(+X, -V) is det
Eval cgi-phrase X to a term V.
 run_cgi(+X, +Env) is det
Off-line evaluation of query X with assoc environment E, and display the result.
 response_form(+X, -Y) is det
Make term X into webform Y required by httprequest (Ajax) interface.
 form_encode(+X, -Y) is det
Bidirectional form encoding/decoding.
 get_request(-Form:codes) is det
Get CGI form, and parse it to Form.
 expandref(+X, Y) is det
Expand all @-symbol in X referring to an assoc list, which was in a global variable 'webform'.
 getcodes(+X, -Y) is det
Get codes of @-symbol X, and unify Y with the value.
 write_html(+R) is det
write R back to browsers with some header info.
 get_eof(-S) is det
get an input from browsers into S.
 parse_form(+X, -Y) is det
Parse web form text codes X into Y.
 html_codes(+H, +X, -Y) is det
Determin from H and X a final form Y of answer.
 through(+X, -Y) is det

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 cgi_error
 cgi_phrase(Arg1, Arg2, Arg3)
 create_file(Arg1, Arg2)
 decode_pair(Arg1, Arg2)
 echo(Arg1, Arg2)
 equation_pair(Arg1, Arg2)
 error_message(Arg1)
 error_response(Arg1, Arg2)
 format_codes(Arg1, Arg2, Arg3)
 sendmail(Arg1)
 writeBR(Arg1)