- 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_stop(+NameOrID, +Options) is det
- Tells pengine NameOrID to stop looking for more solutions to a query
started by pengine_ask/3. Options are passed to pengine_send/3.
Defined in terms of pengine_send/3, like so:
pengine_stop(ID, Options) :- pengine_send(ID, stop, Options).