2.1 library(pengines): Pengines: Web Logic Programming Made Easy
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Packages
Pengines: Web Logic Programming Made Easy
Pengine libraries
library(pengines): Pengines: Web Logic Programming Made Easy
pengine_create/1
pengine_ask/3
pengine_next/2
pengine_stop/2
pengine_abort/1
pengine_destroy/1
pengine_destroy/2
pengine_self/1
pengine_application/1
current_pengine_application/1
pengine_property/2
pengine_output/1
pengine_debug/2
pengine_pull_response/2
pengine_input/2
pengine_respond/3
pengine_event_loop/2
pengine_rpc/2
pengine_rpc/3
pengine_user/1
Availability:
:- use_module(
library(pengines)
).
[semidet]
pengine_user
(
-User
)
True when the pengine was create by an HTTP request that authorized
User
.
See also
authentication_hook/3
can be used to extract authorization from the HTTP header.