- 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.
- 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.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- cgi_debug
- cgi_phrase(Arg1, Arg2, Arg3)
- create_file(Arg1, Arg2)
- decode_pair(Arg1, Arg2)
- echo(Arg1, Arg2)
- equation_pair(Arg1, Arg2)
- format_codes(Arg1, Arg2, Arg3)
- sendmail(Arg1)
- writeBR(Arg1)