- ext
- pengines
- pengines.pl -- Pengines: Web Logic Programming Made Easy
- create_pool/1
- 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_done/0
- prepare_module/3
- prepare_goal/3
- not_sandboxed/2
- pengine_pull_response/2
- pengine_input/2
- pengine_respond/3
- pengine_event_loop/2
- pengine_rpc/2
- pengine_rpc/3
- prompt/3
- output/2
- portray_blob/2
- write_result/3
- add_error_details/3
- event_to_json/3
- authentication_hook/3
- pengine_user/1
- pengines_io.pl -- Provide Prolog I/O for HTML clients
- term_to_json.pl
- pengines.pl -- Pengines: Web Logic Programming Made Easy
- pengines
- pengine_event(?EventTerm) is det
- pengine_event(?EventTerm, +Options) is det
- Examines the pengine's event queue and if necessary blocks execution
until a term that unifies to Term arrives in the queue. After a term
from the queue has been unified to Term, the term is deleted from the
queue.
Valid options are:
- timeout(+Time)
- Time is a float or integer and specifies the maximum time to wait
in seconds. If no event has arrived before the time is up EventTerm
is bound to the atom
timeout
. - listen(+Id)
- Only listen to events from the pengine identified by Id.