List extension packs
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/trill/prolog
/home/mlunife/trill-on-swish
/home/mlunife/trill-on-swish/config-enabled
/home/mlunife/trill-on-swish/lib
/home/mlunife/trill-on-swish/lib/render
/home/mlunife/trill-on-swish/pack/profile/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/table
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
/usr/local/lib/swipl/xpce/prolog/boot
/usr/local/lib/swipl/xpce/prolog/lib
/usr/local/lib/swipl/xpce/prolog/lib/english
/usr/local/lib/swipl/xpce/prolog/lib/man
pengine://08a7c458-1a89-4331-aed0-7db83a979b5d
pengine://2299f049-7e02-42b8-b74f-8dd713c07d53
pengine://5e91083c-907a-4493-80de-9f22bc67e760
pengine://624b0622-8c9d-479e-8eac-d69fc063af3f
pengine://673f2abd-8de0-43d9-bef5-bf74ac869e45
pengine://7d902168-cab3-4434-a290-b038db9830c9
pengine://9b7c42fb-bb33-4a78-90f2-17bd13d25cf2
pengine://9c53821b-b4b6-4ac7-bf72-71ca5090193f
pengine://ad631804-d75d-4709-9300-95f85559aabe
pengine://b0657a16-22a1-4482-a097-695ec461a68e
pengine://dcdc6af8-975f-416a-8c37-ad9288280247
pengine://e0e0ca3e-1d4d-4340-9a5f-43d67df18167
pengine://f5c9bf43-6794-444b-9cba-0d0407afcc29
pengine://fa410030-a8a8-4e4d-a0de-7bc4cc6f74a5
/usr/local/lib/swipl/library/ext/http/http/websocket.pl
All
Application
Manual
Name
Summary
Help
http
http
http_unix_daemon.pl -- Run SWI-Prolog HTTP server as a Unix system daemon
thread_httpd.pl -- Threaded HTTP server
http_wrapper.pl
http_header.pl -- Handling HTTP headers
http_stream.pl
http_exception.pl -- Map Prolog exceptions to HTTP errors
http_path.pl
http_dispatch.pl -- Dispatch requests in the HTTP server
http_host.pl -- Obtain public server location
http_json.pl -- HTTP JSON Plugin module
http_client.pl -- HTTP client library
json.pl -- Reading and writing JSON serialization
http_open.pl -- HTTP client library
http_parameters.pl -- Extract parameters (GET and POST) from HTTP requests
http_multipart_plugin.pl -- Multipart form-data plugin
http_hook.pl -- HTTP library hooks
html_write.pl -- Write HTML text
html_quasiquotations.pl -- HTML quasi quotations
js_write.pl -- Utilities for including JavaScript
js_grammar.pl -- JavaScript grammar
http_server_files.pl -- Serve files needed by modules from the server
hub.pl -- Manage a hub for websockets
websocket.pl -- WebSocket support
http_open_websocket/3
http_upgrade_to_websocket/3
ws_send/2
ws_receive/2
ws_receive/3
ws_close/3
ws_open/3
ws_property/2
ws_mask/1
http_session.pl -- HTTP Session management
http_cors.pl -- Enable CORS: Cross-Origin Resource Sharing
mimetype.pl -- Determine mime-type for a file
html_head.pl -- Automatic inclusion of CSS and scripts links
term_html.pl -- Represent Prolog terms as HTML
http_dyn_workers.pl -- Dynamically schedule HTTP workers.
mimepack.pl -- Create a MIME message
json_convert.pl -- Convert between JSON terms and Prolog application terms
ws_property
(+WebSocket, ?Property)
is
nondet
True if
Property
is a property
WebSocket
. Defined properties are:
subprotocol
(Protocol)
Protocol
is the negotiated subprotocol. This is typically set as a property of the websocket by
ws_open/3
.