kibi-swipl-linux-x64-gnu 1.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +29 -0
- package/bin/swipl +0 -0
- package/bin/swipl-win +0 -0
- package/build-manifest.json +70 -0
- package/lib/cmake/swipl/SWIPLConfig.cmake +21 -0
- package/lib/cmake/swipl/SWIPLConfigVersion.cmake +65 -0
- package/lib/cmake/swipl/SWIPLTargets-release.cmake +28 -0
- package/lib/cmake/swipl/SWIPLTargets.cmake +109 -0
- package/lib/swipl/ABI +1 -0
- package/lib/swipl/LICENSE +41 -0
- package/lib/swipl/README.md +116 -0
- package/lib/swipl/app/README.md +25 -0
- package/lib/swipl/app/app.pl +87 -0
- package/lib/swipl/app/pack.pl +350 -0
- package/lib/swipl/app/qlf.pl +521 -0
- package/lib/swipl/app/splfr.pl +177 -0
- package/lib/swipl/app/sys.pl +310 -0
- package/lib/swipl/bin/swipl.home +1 -0
- package/lib/swipl/boot/apply.pl +73 -0
- package/lib/swipl/boot/attvar.pl +344 -0
- package/lib/swipl/boot/autoload.pl +1226 -0
- package/lib/swipl/boot/bags.pl +283 -0
- package/lib/swipl/boot/dcg.pl +388 -0
- package/lib/swipl/boot/dicts.pl +193 -0
- package/lib/swipl/boot/dwim.pl +485 -0
- package/lib/swipl/boot/engines.pl +152 -0
- package/lib/swipl/boot/expand.pl +1628 -0
- package/lib/swipl/boot/gc.pl +65 -0
- package/lib/swipl/boot/history.pl +304 -0
- package/lib/swipl/boot/init.pl +4682 -0
- package/lib/swipl/boot/iri.pl +64 -0
- package/lib/swipl/boot/license.pl +390 -0
- package/lib/swipl/boot/load.pl +81 -0
- package/lib/swipl/boot/messages.pl +2521 -0
- package/lib/swipl/boot/packs.pl +306 -0
- package/lib/swipl/boot/predopts.pl +154 -0
- package/lib/swipl/boot/qlf.pl +141 -0
- package/lib/swipl/boot/rc.pl +263 -0
- package/lib/swipl/boot/syspred.pl +1634 -0
- package/lib/swipl/boot/tabling.pl +2321 -0
- package/lib/swipl/boot/threads.pl +42 -0
- package/lib/swipl/boot/toplevel.pl +2248 -0
- package/lib/swipl/boot/topvars.pl +261 -0
- package/lib/swipl/boot.prc +0 -0
- package/lib/swipl/cmake/swipl.cmake +131 -0
- package/lib/swipl/customize/README.md +23 -0
- package/lib/swipl/customize/edit +101 -0
- package/lib/swipl/customize/init.pl +164 -0
- package/lib/swipl/demo/README.md +33 -0
- package/lib/swipl/demo/likes.pl +44 -0
- package/lib/swipl/doc/packages/examples/chr/bool.chr +281 -0
- package/lib/swipl/doc/packages/examples/chr/chrdif.chr +87 -0
- package/lib/swipl/doc/packages/examples/chr/chrfreeze.chr +6 -0
- package/lib/swipl/doc/packages/examples/chr/family.chr +116 -0
- package/lib/swipl/doc/packages/examples/chr/fib.chr +24 -0
- package/lib/swipl/doc/packages/examples/chr/fibonacci.chr +31 -0
- package/lib/swipl/doc/packages/examples/chr/gcd.chr +28 -0
- package/lib/swipl/doc/packages/examples/chr/leq.chr +34 -0
- package/lib/swipl/doc/packages/examples/chr/listdom.chr +138 -0
- package/lib/swipl/doc/packages/examples/chr/primes.chr +29 -0
- package/lib/swipl/doc/packages/examples/http/README.md +98 -0
- package/lib/swipl/doc/packages/examples/http/calc.pl +92 -0
- package/lib/swipl/doc/packages/examples/http/demo_body.pl +232 -0
- package/lib/swipl/doc/packages/examples/http/demo_client.pl +165 -0
- package/lib/swipl/doc/packages/examples/http/demo_daemon.pl +38 -0
- package/lib/swipl/doc/packages/examples/http/demo_files.pl +50 -0
- package/lib/swipl/doc/packages/examples/http/demo_hello.pl +15 -0
- package/lib/swipl/doc/packages/examples/http/demo_login.pl +280 -0
- package/lib/swipl/doc/packages/examples/http/demo_openid.pl +177 -0
- package/lib/swipl/doc/packages/examples/http/demo_pwp.pl +20 -0
- package/lib/swipl/doc/packages/examples/http/demo_rest.pl +56 -0
- package/lib/swipl/doc/packages/examples/http/demo_threads.pl +52 -0
- package/lib/swipl/doc/packages/examples/http/linux-init-script +126 -0
- package/lib/swipl/doc/packages/examples/http/pwp/context.pwp +23 -0
- package/lib/swipl/doc/packages/examples/http/pwp/index.pwp +25 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp1.pwp +12 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp2.pwp +10 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp3.pwp +25 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp4.pwp +23 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp5.pwp +11 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp6.pwp +3 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp7.pwp +3 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp8.pwp +3 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwpdb.pl +12 -0
- package/lib/swipl/doc/packages/examples/http/systemd-script.service +18 -0
- package/lib/swipl/doc/packages/examples/http/upstart-script.conf +20 -0
- package/lib/swipl/doc/packages/examples/plunit/read.pl +17 -0
- package/lib/swipl/doc/packages/examples/plunit/simple.pl +33 -0
- package/lib/swipl/doc/packages/examples/ssl/client.pl +83 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/README +52 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.p12 +0 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/client/client-key.pem +30 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/cacert.pem +82 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/careq.pem +18 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/crlnumber +1 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt +3 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt.attr +1 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7C.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7D.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem +30 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/serial +1 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/server/server-cert.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/server/server-key.pem +30 -0
- package/lib/swipl/doc/packages/examples/ssl/https.pl +267 -0
- package/lib/swipl/doc/packages/examples/ssl/server.pl +106 -0
- package/lib/swipl/include/SWI-Prolog.h +1544 -0
- package/lib/swipl/include/SWI-Stream.h +537 -0
- package/lib/swipl/include/Yap/YapInterface.h +283 -0
- package/lib/swipl/include/sicstus/sicstus.h +452 -0
- package/lib/swipl/lib/x86_64-linux/cgi.so +0 -0
- package/lib/swipl/lib/x86_64-linux/crypt.so +0 -0
- package/lib/swipl/lib/x86_64-linux/crypto4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/double_metaphone.so +0 -0
- package/lib/swipl/lib/x86_64-linux/files.so +0 -0
- package/lib/swipl/lib/x86_64-linux/hashstream.so +0 -0
- package/lib/swipl/lib/x86_64-linux/http_stream.so +0 -0
- package/lib/swipl/lib/x86_64-linux/isub.so +0 -0
- package/lib/swipl/lib/x86_64-linux/json.so +0 -0
- package/lib/swipl/lib/x86_64-linux/libswipl.so.10 +0 -0
- package/lib/swipl/lib/x86_64-linux/mallocinfo.so +0 -0
- package/lib/swipl/lib/x86_64-linux/md54pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/memfile.so +0 -0
- package/lib/swipl/lib/x86_64-linux/ntriples.so +0 -0
- package/lib/swipl/lib/x86_64-linux/pcre4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/porter_stem.so +0 -0
- package/lib/swipl/lib/x86_64-linux/process.so +0 -0
- package/lib/swipl/lib/x86_64-linux/prolog_stream.so +0 -0
- package/lib/swipl/lib/x86_64-linux/rdf_db.so +0 -0
- package/lib/swipl/lib/x86_64-linux/readutil.so +0 -0
- package/lib/swipl/lib/x86_64-linux/rlimit.so +0 -0
- package/lib/swipl/lib/x86_64-linux/sched.so +0 -0
- package/lib/swipl/lib/x86_64-linux/sgml2pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/sha4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/snowball.so +0 -0
- package/lib/swipl/lib/x86_64-linux/socket.so +0 -0
- package/lib/swipl/lib/x86_64-linux/ssl4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/streaminfo.so +0 -0
- package/lib/swipl/lib/x86_64-linux/syslog.so +0 -0
- package/lib/swipl/lib/x86_64-linux/time.so +0 -0
- package/lib/swipl/lib/x86_64-linux/turtle.so +0 -0
- package/lib/swipl/lib/x86_64-linux/uid.so +0 -0
- package/lib/swipl/lib/x86_64-linux/unix.so +0 -0
- package/lib/swipl/lib/x86_64-linux/uri.so +0 -0
- package/lib/swipl/lib/x86_64-linux/websocket.so +0 -0
- package/lib/swipl/lib/x86_64-linux/zlib4pl.so +0 -0
- package/lib/swipl/library/INDEX.pl +1020 -0
- package/lib/swipl/library/aggregate.pl +755 -0
- package/lib/swipl/library/ansi_term.pl +653 -0
- package/lib/swipl/library/apply.pl +426 -0
- package/lib/swipl/library/apply_macros.pl +497 -0
- package/lib/swipl/library/arithmetic.pl +320 -0
- package/lib/swipl/library/assoc.pl +522 -0
- package/lib/swipl/library/atom.pl +169 -0
- package/lib/swipl/library/backcomp.pl +688 -0
- package/lib/swipl/library/base32.pl +291 -0
- package/lib/swipl/library/base64.pl +441 -0
- package/lib/swipl/library/broadcast.pl +161 -0
- package/lib/swipl/library/build/cmake.pl +137 -0
- package/lib/swipl/library/build/conan.pl +232 -0
- package/lib/swipl/library/build/make.pl +168 -0
- package/lib/swipl/library/build/tools.pl +825 -0
- package/lib/swipl/library/charsio.pl +195 -0
- package/lib/swipl/library/check.pl +1097 -0
- package/lib/swipl/library/check_installation.pl +912 -0
- package/lib/swipl/library/clp/INDEX.pl +157 -0
- package/lib/swipl/library/clp/bounds.pl +2036 -0
- package/lib/swipl/library/clp/clp_distinct.pl +263 -0
- package/lib/swipl/library/clp/clp_events.pl +92 -0
- package/lib/swipl/library/clp/clpb.pl +1896 -0
- package/lib/swipl/library/clp/clpfd.pl +7906 -0
- package/lib/swipl/library/clp/simplex.pl +1580 -0
- package/lib/swipl/library/codesio.pl +182 -0
- package/lib/swipl/library/coinduction.pl +183 -0
- package/lib/swipl/library/console_input.pl +289 -0
- package/lib/swipl/library/csv.pl +611 -0
- package/lib/swipl/library/ctypes.pl +161 -0
- package/lib/swipl/library/date.pl +370 -0
- package/lib/swipl/library/dcg/INDEX.pl +35 -0
- package/lib/swipl/library/dcg/basics.pl +514 -0
- package/lib/swipl/library/dcg/high_order.pl +227 -0
- package/lib/swipl/library/debug.pl +499 -0
- package/lib/swipl/library/dialect/bim.pl +186 -0
- package/lib/swipl/library/dialect/commons.pl +77 -0
- package/lib/swipl/library/dialect/eclipse/test_util_iso.pl +355 -0
- package/lib/swipl/library/dialect/hprolog/format.pl +44 -0
- package/lib/swipl/library/dialect/hprolog.pl +314 -0
- package/lib/swipl/library/dialect/ifprolog.pl +1317 -0
- package/lib/swipl/library/dialect/iso/iso_predicates.pl +277 -0
- package/lib/swipl/library/dialect/sicstus/README.TXT +1 -0
- package/lib/swipl/library/dialect/sicstus/arrays.pl +121 -0
- package/lib/swipl/library/dialect/sicstus/block.pl +278 -0
- package/lib/swipl/library/dialect/sicstus/lists.pl +167 -0
- package/lib/swipl/library/dialect/sicstus/ordsets.pl +52 -0
- package/lib/swipl/library/dialect/sicstus/sockets.pl +174 -0
- package/lib/swipl/library/dialect/sicstus/system.pl +262 -0
- package/lib/swipl/library/dialect/sicstus/terms.pl +57 -0
- package/lib/swipl/library/dialect/sicstus/timeout.pl +92 -0
- package/lib/swipl/library/dialect/sicstus.pl +582 -0
- package/lib/swipl/library/dialect/sicstus4/aggregate.pl +60 -0
- package/lib/swipl/library/dialect/sicstus4/between.pl +62 -0
- package/lib/swipl/library/dialect/sicstus4/clpfd.pl +75 -0
- package/lib/swipl/library/dialect/sicstus4/file_systems.pl +413 -0
- package/lib/swipl/library/dialect/sicstus4/lists.pl +274 -0
- package/lib/swipl/library/dialect/sicstus4/ordsets.pl +54 -0
- package/lib/swipl/library/dialect/sicstus4/samsort.pl +86 -0
- package/lib/swipl/library/dialect/sicstus4/sets.pl +124 -0
- package/lib/swipl/library/dialect/sicstus4/sockets.pl +164 -0
- package/lib/swipl/library/dialect/sicstus4/system.pl +80 -0
- package/lib/swipl/library/dialect/sicstus4/terms.pl +89 -0
- package/lib/swipl/library/dialect/sicstus4/timeout.pl +43 -0
- package/lib/swipl/library/dialect/sicstus4/types.pl +103 -0
- package/lib/swipl/library/dialect/sicstus4.pl +200 -0
- package/lib/swipl/library/dialect/swi/syspred_options.pl +250 -0
- package/lib/swipl/library/dialect/xsb/README.md +20 -0
- package/lib/swipl/library/dialect/xsb/basics.pl +318 -0
- package/lib/swipl/library/dialect/xsb/consult.pl +87 -0
- package/lib/swipl/library/dialect/xsb/curr_sym.pl +57 -0
- package/lib/swipl/library/dialect/xsb/error_handler.pl +111 -0
- package/lib/swipl/library/dialect/xsb/gensym.pl +53 -0
- package/lib/swipl/library/dialect/xsb/gpp.pl +138 -0
- package/lib/swipl/library/dialect/xsb/intern.pl +48 -0
- package/lib/swipl/library/dialect/xsb/lists.pl +47 -0
- package/lib/swipl/library/dialect/xsb/machine.pl +295 -0
- package/lib/swipl/library/dialect/xsb/ordsets.pl +53 -0
- package/lib/swipl/library/dialect/xsb/setof.pl +54 -0
- package/lib/swipl/library/dialect/xsb/source.pl +308 -0
- package/lib/swipl/library/dialect/xsb/standard.pl +169 -0
- package/lib/swipl/library/dialect/xsb/storage.pl +70 -0
- package/lib/swipl/library/dialect/xsb/string.pl +76 -0
- package/lib/swipl/library/dialect/xsb/thread.pl +62 -0
- package/lib/swipl/library/dialect/xsb/timed_call.pl +158 -0
- package/lib/swipl/library/dialect/xsb.pl +688 -0
- package/lib/swipl/library/dialect/yap/README.TXT +8 -0
- package/lib/swipl/library/dialect/yap.pl +283 -0
- package/lib/swipl/library/dialect.pl +123 -0
- package/lib/swipl/library/dicts.pl +399 -0
- package/lib/swipl/library/dif.pl +426 -0
- package/lib/swipl/library/edinburgh.pl +138 -0
- package/lib/swipl/library/edit.pl +783 -0
- package/lib/swipl/library/error.pl +495 -0
- package/lib/swipl/library/exceptions.pl +231 -0
- package/lib/swipl/library/explain.pl +543 -0
- package/lib/swipl/library/ext/RDF/INDEX.pl +25 -0
- package/lib/swipl/library/ext/RDF/rdf.pl +450 -0
- package/lib/swipl/library/ext/RDF/rdf_parser.pl +649 -0
- package/lib/swipl/library/ext/RDF/rdf_triple.pl +448 -0
- package/lib/swipl/library/ext/RDF/rdf_write.pl +701 -0
- package/lib/swipl/library/ext/RDF/rewrite_term.pl +177 -0
- package/lib/swipl/library/ext/chr/chr/a_star.pl +80 -0
- package/lib/swipl/library/ext/chr/chr/binomialheap.pl +142 -0
- package/lib/swipl/library/ext/chr/chr/builtins.pl +629 -0
- package/lib/swipl/library/ext/chr/chr/chr_compiler_errors.pl +179 -0
- package/lib/swipl/library/ext/chr/chr/chr_compiler_options.pl +382 -0
- package/lib/swipl/library/ext/chr/chr/chr_compiler_utility.pl +338 -0
- package/lib/swipl/library/ext/chr/chr/chr_debug.pl +59 -0
- package/lib/swipl/library/ext/chr/chr/chr_hashtable_store.pl +425 -0
- package/lib/swipl/library/ext/chr/chr/chr_integertable_store.pl +139 -0
- package/lib/swipl/library/ext/chr/chr/chr_messages.pl +176 -0
- package/lib/swipl/library/ext/chr/chr/chr_op.pl +53 -0
- package/lib/swipl/library/ext/chr/chr/chr_runtime.pl +1016 -0
- package/lib/swipl/library/ext/chr/chr/chr_translate.pl +25424 -0
- package/lib/swipl/library/ext/chr/chr/clean_code.pl +252 -0
- package/lib/swipl/library/ext/chr/chr/find.pl +78 -0
- package/lib/swipl/library/ext/chr/chr/guard_entailment.pl +19432 -0
- package/lib/swipl/library/ext/chr/chr/listmap.pl +108 -0
- package/lib/swipl/library/ext/chr/chr/pairlist.pl +78 -0
- package/lib/swipl/library/ext/chr/chr.pl +686 -0
- package/lib/swipl/library/ext/clib/INDEX.pl +158 -0
- package/lib/swipl/library/ext/clib/cgi.pl +86 -0
- package/lib/swipl/library/ext/clib/crypt.pl +44 -0
- package/lib/swipl/library/ext/clib/filesex.pl +644 -0
- package/lib/swipl/library/ext/clib/hash_stream.pl +119 -0
- package/lib/swipl/library/ext/clib/mallocinfo.pl +138 -0
- package/lib/swipl/library/ext/clib/md5.pl +68 -0
- package/lib/swipl/library/ext/clib/memfile.pl +61 -0
- package/lib/swipl/library/ext/clib/process.pl +573 -0
- package/lib/swipl/library/ext/clib/prolog_server.pl +157 -0
- package/lib/swipl/library/ext/clib/prolog_stream.pl +80 -0
- package/lib/swipl/library/ext/clib/rlimit.pl +54 -0
- package/lib/swipl/library/ext/clib/sched.pl +85 -0
- package/lib/swipl/library/ext/clib/sha.pl +162 -0
- package/lib/swipl/library/ext/clib/socket.pl +1102 -0
- package/lib/swipl/library/ext/clib/streaminfo.pl +103 -0
- package/lib/swipl/library/ext/clib/streampool.pl +136 -0
- package/lib/swipl/library/ext/clib/syslog.pl +180 -0
- package/lib/swipl/library/ext/clib/time.pl +194 -0
- package/lib/swipl/library/ext/clib/udp_broadcast.pl +975 -0
- package/lib/swipl/library/ext/clib/uid.pl +220 -0
- package/lib/swipl/library/ext/clib/unix.pl +317 -0
- package/lib/swipl/library/ext/clib/uri.pl +530 -0
- package/lib/swipl/library/ext/clib/uuid.pl +207 -0
- package/lib/swipl/library/ext/http/http/INDEX.pl +266 -0
- package/lib/swipl/library/ext/http/http/README.md +34 -0
- package/lib/swipl/library/ext/http/http/ax.pl +189 -0
- package/lib/swipl/library/ext/http/http/dcg_basics.pl +49 -0
- package/lib/swipl/library/ext/http/http/graphql.pl +1367 -0
- package/lib/swipl/library/ext/http/http/html_decl.pl +416 -0
- package/lib/swipl/library/ext/http/http/html_head.pl +654 -0
- package/lib/swipl/library/ext/http/http/html_quasiquotations.pl +120 -0
- package/lib/swipl/library/ext/http/http/html_write.pl +1425 -0
- package/lib/swipl/library/ext/http/http/htmx.pl +139 -0
- package/lib/swipl/library/ext/http/http/http_authenticate.pl +364 -0
- package/lib/swipl/library/ext/http/http/http_client.pl +412 -0
- package/lib/swipl/library/ext/http/http/http_cookie.pl +245 -0
- package/lib/swipl/library/ext/http/http/http_cors.pl +176 -0
- package/lib/swipl/library/ext/http/http/http_digest.pl +820 -0
- package/lib/swipl/library/ext/http/http/http_dirindex.pl +296 -0
- package/lib/swipl/library/ext/http/http/http_dispatch.pl +1552 -0
- package/lib/swipl/library/ext/http/http/http_dyn_workers.pl +214 -0
- package/lib/swipl/library/ext/http/http/http_error.pl +126 -0
- package/lib/swipl/library/ext/http/http/http_exception.pl +225 -0
- package/lib/swipl/library/ext/http/http/http_files.pl +163 -0
- package/lib/swipl/library/ext/http/http/http_header.pl +2820 -0
- package/lib/swipl/library/ext/http/http/http_hook.pl +106 -0
- package/lib/swipl/library/ext/http/http/http_host.pl +204 -0
- package/lib/swipl/library/ext/http/http/http_load.pl +113 -0
- package/lib/swipl/library/ext/http/http/http_log.pl +738 -0
- package/lib/swipl/library/ext/http/http/http_multipart_plugin.pl +232 -0
- package/lib/swipl/library/ext/http/http/http_open.pl +1821 -0
- package/lib/swipl/library/ext/http/http/http_openid.pl +1561 -0
- package/lib/swipl/library/ext/http/http/http_parameters.pl +504 -0
- package/lib/swipl/library/ext/http/http/http_path.pl +380 -0
- package/lib/swipl/library/ext/http/http/http_proxy.pl +80 -0
- package/lib/swipl/library/ext/http/http/http_pwp.pl +351 -0
- package/lib/swipl/library/ext/http/http/http_redis_plugin.pl +332 -0
- package/lib/swipl/library/ext/http/http/http_server.pl +105 -0
- package/lib/swipl/library/ext/http/http/http_server_files.pl +126 -0
- package/lib/swipl/library/ext/http/http/http_server_health.pl +186 -0
- package/lib/swipl/library/ext/http/http/http_session.pl +1040 -0
- package/lib/swipl/library/ext/http/http/http_sgml_plugin.pl +137 -0
- package/lib/swipl/library/ext/http/http/http_stream.pl +376 -0
- package/lib/swipl/library/ext/http/http/http_unix_daemon.pl +989 -0
- package/lib/swipl/library/ext/http/http/http_wrapper.pl +559 -0
- package/lib/swipl/library/ext/http/http/hub.pl +600 -0
- package/lib/swipl/library/ext/http/http/js_write.pl +461 -0
- package/lib/swipl/library/ext/http/http/mimepack.pl +224 -0
- package/lib/swipl/library/ext/http/http/mimetype.pl +276 -0
- package/lib/swipl/library/ext/http/http/term_html.pl +797 -0
- package/lib/swipl/library/ext/http/http/thread_httpd.pl +1181 -0
- package/lib/swipl/library/ext/http/http/web/css/dirindex.css +24 -0
- package/lib/swipl/library/ext/http/http/web/css/openid.css +57 -0
- package/lib/swipl/library/ext/http/http/web/icons/back.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/c.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/compressed.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/folder.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/generic.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/layout.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/openid-logo-square.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/openid-logo-tiny.png +0 -0
- package/lib/swipl/library/ext/http/http/websocket.pl +729 -0
- package/lib/swipl/library/ext/http/http/yadis.pl +205 -0
- package/lib/swipl/library/ext/json/INDEX.pl +36 -0
- package/lib/swipl/library/ext/json/http/INDEX.pl +16 -0
- package/lib/swipl/library/ext/json/http/http_json.pl +490 -0
- package/lib/swipl/library/ext/json/http/js_grammar.pl +53 -0
- package/lib/swipl/library/ext/json/http/json.pl +48 -0
- package/lib/swipl/library/ext/json/http/json_convert.pl +48 -0
- package/lib/swipl/library/ext/json/json.pl +1215 -0
- package/lib/swipl/library/ext/json/json_convert.pl +681 -0
- package/lib/swipl/library/ext/json/json_grammar.pl +349 -0
- package/lib/swipl/library/ext/json/json_rpc_client.pl +423 -0
- package/lib/swipl/library/ext/json/json_rpc_common.pl +104 -0
- package/lib/swipl/library/ext/json/json_rpc_server.pl +489 -0
- package/lib/swipl/library/ext/json/json_schema.pl +2111 -0
- package/lib/swipl/library/ext/nlp/INDEX.pl +15 -0
- package/lib/swipl/library/ext/nlp/double_metaphone.pl +86 -0
- package/lib/swipl/library/ext/nlp/isub.pl +162 -0
- package/lib/swipl/library/ext/nlp/porter_stem.pl +50 -0
- package/lib/swipl/library/ext/nlp/snowball.pl +97 -0
- package/lib/swipl/library/ext/pcre/INDEX.pl +17 -0
- package/lib/swipl/library/ext/pcre/pcre.pl +974 -0
- package/lib/swipl/library/ext/plunit/INDEX.pl +20 -0
- package/lib/swipl/library/ext/plunit/plunit.pl +2631 -0
- package/lib/swipl/library/ext/plunit/test_wizard.pl +249 -0
- package/lib/swipl/library/ext/semweb/semweb/INDEX.pl +288 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf11.pl +2106 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf11_containers.pl +299 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_cache.pl +278 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_compare.pl +132 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_db.pl +3468 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_edit.pl +1145 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_http_plugin.pl +274 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_library.pl +1021 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_litindex.pl +1035 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_ntriples.pl +422 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_persistency.pl +1576 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_portray.pl +182 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_prefixes.pl +681 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_sandbox.pl +153 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_turtle.pl +54 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_turtle_write.pl +1587 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_zlib_plugin.pl +52 -0
- package/lib/swipl/library/ext/semweb/semweb/rdfa.pl +1510 -0
- package/lib/swipl/library/ext/semweb/semweb/rdfs.pl +475 -0
- package/lib/swipl/library/ext/semweb/semweb/sparql_client.pl +643 -0
- package/lib/swipl/library/ext/semweb/semweb/turtle.pl +455 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML4.dcl +88 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML4.dtd +1092 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML4.soc +6 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML5.dtd +906 -0
- package/lib/swipl/library/ext/sgml/DTD/HTMLlat1.ent +195 -0
- package/lib/swipl/library/ext/sgml/DTD/HTMLspec.ent +77 -0
- package/lib/swipl/library/ext/sgml/DTD/HTMLsym.ent +241 -0
- package/lib/swipl/library/ext/sgml/INDEX.pl +64 -0
- package/lib/swipl/library/ext/sgml/c14n2.pl +203 -0
- package/lib/swipl/library/ext/sgml/iso_639.pl +631 -0
- package/lib/swipl/library/ext/sgml/pwp.pl +705 -0
- package/lib/swipl/library/ext/sgml/sgml.pl +815 -0
- package/lib/swipl/library/ext/sgml/sgml_write.pl +1003 -0
- package/lib/swipl/library/ext/sgml/xpath.pl +620 -0
- package/lib/swipl/library/ext/sgml/xsdp_types.pl +232 -0
- package/lib/swipl/library/ext/ssl/INDEX.pl +60 -0
- package/lib/swipl/library/ext/ssl/crypto.pl +1015 -0
- package/lib/swipl/library/ext/ssl/http/INDEX.pl +5 -0
- package/lib/swipl/library/ext/ssl/http/http_ssl_plugin.pl +296 -0
- package/lib/swipl/library/ext/ssl/saml.pl +609 -0
- package/lib/swipl/library/ext/ssl/ssl.pl +647 -0
- package/lib/swipl/library/ext/ssl/xmldsig.pl +391 -0
- package/lib/swipl/library/ext/ssl/xmlenc.pl +354 -0
- package/lib/swipl/library/ext/zlib/INDEX.pl +8 -0
- package/lib/swipl/library/ext/zlib/zlib.pl +112 -0
- package/lib/swipl/library/fastrw.pl +105 -0
- package/lib/swipl/library/files.pl +80 -0
- package/lib/swipl/library/gensym.pl +111 -0
- package/lib/swipl/library/git.pl +1027 -0
- package/lib/swipl/library/hashtable.pl +365 -0
- package/lib/swipl/library/heaps.pl +252 -0
- package/lib/swipl/library/hotfix.pl +239 -0
- package/lib/swipl/library/http/jquery.pl +103 -0
- package/lib/swipl/library/http/web/js/jquery-3.6.0.min.js +2 -0
- package/lib/swipl/library/increval.pl +217 -0
- package/lib/swipl/library/intercept.pl +263 -0
- package/lib/swipl/library/iostream.pl +237 -0
- package/lib/swipl/library/iri_scheme/file.pl +70 -0
- package/lib/swipl/library/lazy_lists.pl +481 -0
- package/lib/swipl/library/listing.pl +1362 -0
- package/lib/swipl/library/lists.pl +860 -0
- package/lib/swipl/library/lynx/INDEX.pl +14 -0
- package/lib/swipl/library/lynx/format.pl +380 -0
- package/lib/swipl/library/lynx/html_style.pl +129 -0
- package/lib/swipl/library/lynx/html_text.pl +865 -0
- package/lib/swipl/library/lynx/pldoc_style.pl +87 -0
- package/lib/swipl/library/macros.pl +451 -0
- package/lib/swipl/library/main.pl +1200 -0
- package/lib/swipl/library/make.pl +197 -0
- package/lib/swipl/library/modules.pl +129 -0
- package/lib/swipl/library/nb_rbtrees.pl +267 -0
- package/lib/swipl/library/nb_set.pl +203 -0
- package/lib/swipl/library/obfuscate.pl +115 -0
- package/lib/swipl/library/occurs.pl +241 -0
- package/lib/swipl/library/operators.pl +182 -0
- package/lib/swipl/library/option.pl +388 -0
- package/lib/swipl/library/optparse.pl +966 -0
- package/lib/swipl/library/ordsets.pl +518 -0
- package/lib/swipl/library/oset.pl +160 -0
- package/lib/swipl/library/pairs.pl +187 -0
- package/lib/swipl/library/persistency.pl +713 -0
- package/lib/swipl/library/pio.pl +47 -0
- package/lib/swipl/library/portray_text.pl +277 -0
- package/lib/swipl/library/pprint.pl +940 -0
- package/lib/swipl/library/predicate_options.pl +975 -0
- package/lib/swipl/library/prolog_autoload.pl +233 -0
- package/lib/swipl/library/prolog_breakpoints.pl +396 -0
- package/lib/swipl/library/prolog_clause.pl +1104 -0
- package/lib/swipl/library/prolog_code.pl +416 -0
- package/lib/swipl/library/prolog_codewalk.pl +1248 -0
- package/lib/swipl/library/prolog_colour.pl +3301 -0
- package/lib/swipl/library/prolog_colour.qlf +0 -0
- package/lib/swipl/library/prolog_config.pl +154 -0
- package/lib/swipl/library/prolog_coverage.pl +1333 -0
- package/lib/swipl/library/prolog_debug.pl +404 -0
- package/lib/swipl/library/prolog_deps.pl +675 -0
- package/lib/swipl/library/prolog_evaluable.pl +234 -0
- package/lib/swipl/library/prolog_format.pl +219 -0
- package/lib/swipl/library/prolog_history.pl +161 -0
- package/lib/swipl/library/prolog_jiti.pl +333 -0
- package/lib/swipl/library/prolog_locale.pl +61 -0
- package/lib/swipl/library/prolog_metainference.pl +307 -0
- package/lib/swipl/library/prolog_pack.pl +3906 -0
- package/lib/swipl/library/prolog_profile.pl +346 -0
- package/lib/swipl/library/prolog_qlfmake.pl +533 -0
- package/lib/swipl/library/prolog_source.pl +1188 -0
- package/lib/swipl/library/prolog_stack.pl +794 -0
- package/lib/swipl/library/prolog_trace.pl +365 -0
- package/lib/swipl/library/prolog_versions.pl +347 -0
- package/lib/swipl/library/prolog_wrap.pl +164 -0
- package/lib/swipl/library/prolog_xref.pl +3090 -0
- package/lib/swipl/library/prolog_xref.qlf +0 -0
- package/lib/swipl/library/pure_input.pl +266 -0
- package/lib/swipl/library/qpforeign.pl +695 -0
- package/lib/swipl/library/qsave.pl +1516 -0
- package/lib/swipl/library/quasi_quotations.pl +300 -0
- package/lib/swipl/library/quintus.pl +437 -0
- package/lib/swipl/library/random.pl +459 -0
- package/lib/swipl/library/rbtrees.pl +1153 -0
- package/lib/swipl/library/readln.pl +256 -0
- package/lib/swipl/library/readutil.pl +304 -0
- package/lib/swipl/library/record.pl +544 -0
- package/lib/swipl/library/rwlocks.pl +172 -0
- package/lib/swipl/library/sandbox.pl +1384 -0
- package/lib/swipl/library/semweb/dc.rdfs +198 -0
- package/lib/swipl/library/semweb/eor.rdfs +95 -0
- package/lib/swipl/library/semweb/owl.owl +287 -0
- package/lib/swipl/library/semweb/rdf_library.ttl +90 -0
- package/lib/swipl/library/semweb/rdfs.rdfs +251 -0
- package/lib/swipl/library/settings.pl +755 -0
- package/lib/swipl/library/shell.pl +462 -0
- package/lib/swipl/library/shlib.pl +670 -0
- package/lib/swipl/library/solution_sequences.pl +439 -0
- package/lib/swipl/library/sort.pl +119 -0
- package/lib/swipl/library/statistics.pl +541 -0
- package/lib/swipl/library/streams.pl +118 -0
- package/lib/swipl/library/strings.pl +469 -0
- package/lib/swipl/library/system.pl +95 -0
- package/lib/swipl/library/tables.pl +381 -0
- package/lib/swipl/library/tableutil.pl +771 -0
- package/lib/swipl/library/tabling.pl +42 -0
- package/lib/swipl/library/terms.pl +457 -0
- package/lib/swipl/library/theme/auto.pl +61 -0
- package/lib/swipl/library/theme/dark.pl +455 -0
- package/lib/swipl/library/theme/light.pl +45 -0
- package/lib/swipl/library/thread.pl +810 -0
- package/lib/swipl/library/thread_pool.pl +508 -0
- package/lib/swipl/library/threadutil.pl +574 -0
- package/lib/swipl/library/tty.pl +316 -0
- package/lib/swipl/library/ugraphs.pl +644 -0
- package/lib/swipl/library/unicode/INDEX.pl +6 -0
- package/lib/swipl/library/unicode/blocks.pl +414 -0
- package/lib/swipl/library/url.pl +1129 -0
- package/lib/swipl/library/utf8.pl +145 -0
- package/lib/swipl/library/varnumbers.pl +221 -0
- package/lib/swipl/library/vm.pl +251 -0
- package/lib/swipl/library/wfs.pl +205 -0
- package/lib/swipl/library/when.pl +263 -0
- package/lib/swipl/library/writef.pl +278 -0
- package/lib/swipl/library/www_browser.pl +251 -0
- package/lib/swipl/library/yall.pl +574 -0
- package/lib/swipl/library/zip.pl +211 -0
- package/lib/swipl/swipl.home +1 -0
- package/lib/vendor/libcrypto.so.3 +0 -0
- package/lib/vendor/libpcre2-8.so.0 +0 -0
- package/lib/vendor/libssl.so.3 +0 -0
- package/lib/vendor/libz.so.1 +0 -0
- package/licenses/OpenSSL-LICENSE.txt +177 -0
- package/licenses/PCRE2-COPYING +5 -0
- package/licenses/README.md +12 -0
- package/licenses/SWI-Prolog-LICENSE +41 -0
- package/licenses/zlib-LICENSE +22 -0
- package/package.json +27 -0
|
@@ -0,0 +1,207 @@
|
|
|
1
|
+
/* Part of SWI-Prolog
|
|
2
|
+
|
|
3
|
+
Author: Jan Wielemaker
|
|
4
|
+
E-mail: J.Wielemaker@vu.nl
|
|
5
|
+
WWW: http://www.swi-prolog.org
|
|
6
|
+
Copyright (c) 2012-2024, VU University Amsterdam
|
|
7
|
+
SWI-Prolog Solutions b.v.
|
|
8
|
+
All rights reserved.
|
|
9
|
+
|
|
10
|
+
Redistribution and use in source and binary forms, with or without
|
|
11
|
+
modification, are permitted provided that the following conditions
|
|
12
|
+
are met:
|
|
13
|
+
|
|
14
|
+
1. Redistributions of source code must retain the above copyright
|
|
15
|
+
notice, this list of conditions and the following disclaimer.
|
|
16
|
+
|
|
17
|
+
2. Redistributions in binary form must reproduce the above copyright
|
|
18
|
+
notice, this list of conditions and the following disclaimer in
|
|
19
|
+
the documentation and/or other materials provided with the
|
|
20
|
+
distribution.
|
|
21
|
+
|
|
22
|
+
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
23
|
+
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
24
|
+
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
25
|
+
FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
26
|
+
COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
27
|
+
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
28
|
+
BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
29
|
+
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
30
|
+
CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
31
|
+
LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
32
|
+
ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
33
|
+
POSSIBILITY OF SUCH DAMAGE.
|
|
34
|
+
*/
|
|
35
|
+
|
|
36
|
+
:- module(uuid,
|
|
37
|
+
[ uuid/1, % -UUID
|
|
38
|
+
uuid/2, % -UUID, +Options
|
|
39
|
+
is_uuid/1, % @UUID
|
|
40
|
+
uuid_property/2 % +UUID, ?Property
|
|
41
|
+
]).
|
|
42
|
+
:- autoload(library(apply), [maplist/2]).
|
|
43
|
+
:- if(exists_source(library(shlib))).
|
|
44
|
+
:- autoload(library(shlib), [load_foreign_library/1]).
|
|
45
|
+
:- endif.
|
|
46
|
+
|
|
47
|
+
/** <module> Universally Unique Identifier (UUID) Library
|
|
48
|
+
|
|
49
|
+
The library provides operations on UUIDs. Please consult other sources
|
|
50
|
+
for understanding UUIDs and the implications of the different UUID
|
|
51
|
+
versions. Some typical calls are given below:
|
|
52
|
+
|
|
53
|
+
==
|
|
54
|
+
?- uuid(X).
|
|
55
|
+
X = 'ea6589fa-19dd-11e2-8a49-001d92e1879d'.
|
|
56
|
+
|
|
57
|
+
?- uuid(X, [url('http://www.swi-prolog.org')]).
|
|
58
|
+
X = '73a07870-6a90-3f2e-ae2b-ffa538dc7c2c'.
|
|
59
|
+
==
|
|
60
|
+
|
|
61
|
+
@tbd Compare UUIDs, extract time and version from UUIDs
|
|
62
|
+
@see http://www.ossp.org/pkg/lib/uuid/
|
|
63
|
+
@see https://en.wikipedia.org/wiki/Universally_unique_identifier
|
|
64
|
+
*/
|
|
65
|
+
|
|
66
|
+
link_uuid :-
|
|
67
|
+
catch(load_foreign_library(foreign(uuid)), error(_,_), true).
|
|
68
|
+
|
|
69
|
+
:- initialization(link_uuid, now).
|
|
70
|
+
|
|
71
|
+
%! uuid(-UUID) is det.
|
|
72
|
+
%
|
|
73
|
+
% UUID is an atom representing a new UUID. This is the same as
|
|
74
|
+
% calling uuid(UUID, []). See uuid/2 for options.
|
|
75
|
+
|
|
76
|
+
uuid(UUID) :-
|
|
77
|
+
uuid(UUID, []).
|
|
78
|
+
|
|
79
|
+
%! uuid(-UUID, +Options) is det.
|
|
80
|
+
%
|
|
81
|
+
% Create a new UUID according to Options. The following options
|
|
82
|
+
% are defined:
|
|
83
|
+
%
|
|
84
|
+
% * version(+Versions)
|
|
85
|
+
% Integer in the range 1..5, which specifies the UUID version
|
|
86
|
+
% that is created. Default is 1.
|
|
87
|
+
%
|
|
88
|
+
% * dns(DNS)
|
|
89
|
+
% * url(URL)
|
|
90
|
+
% * oid(OID)
|
|
91
|
+
% * x500(X500)
|
|
92
|
+
% Provide additional context information for UUIDs using version
|
|
93
|
+
% 3 or 5. If there is no explicit version option, UUID version
|
|
94
|
+
% 3 is used.
|
|
95
|
+
%
|
|
96
|
+
% * format(+Format)
|
|
97
|
+
% Representation of the UUID. Default is =atom=, yielding atoms
|
|
98
|
+
% such as =|8304efdd-bd6e-5b7c-a27f-83f3f05c64e0|=. The
|
|
99
|
+
% alternative is =integer=, returning a large integer that
|
|
100
|
+
% represents the 128 bits of the UUID.
|
|
101
|
+
%
|
|
102
|
+
% If SWI-Prolog was not built with the OSSP UUID dependency library a
|
|
103
|
+
% simple Prolog alternative that only implements version 4 random
|
|
104
|
+
% UUIDs is provided. In this case the default version is 4 and the
|
|
105
|
+
% only admissible options are version(4) and format(Format).
|
|
106
|
+
|
|
107
|
+
:- if(current_predicate(ossp_uuid/2)).
|
|
108
|
+
uuid(UUID, Options) :-
|
|
109
|
+
ossp_uuid(UUID, Options).
|
|
110
|
+
|
|
111
|
+
:- else.
|
|
112
|
+
|
|
113
|
+
uuid(UUID, []) :-
|
|
114
|
+
!,
|
|
115
|
+
random_uuid(UUID).
|
|
116
|
+
uuid(UUID, Options) :-
|
|
117
|
+
option(version(4), Options, 4),
|
|
118
|
+
option(format(Format), Options, atom),
|
|
119
|
+
( Format == atom
|
|
120
|
+
-> !, random_uuid(UUID)
|
|
121
|
+
; Format == integer
|
|
122
|
+
-> !, random_int_uuid(UUID)
|
|
123
|
+
).
|
|
124
|
+
uuid(_UUID, Options) :-
|
|
125
|
+
domain_error(uuid_options, Options).
|
|
126
|
+
|
|
127
|
+
random_uuid(UUID) :-
|
|
128
|
+
Version = 4,
|
|
129
|
+
A is random(0xffffffff),
|
|
130
|
+
B is random(0xffff),
|
|
131
|
+
C is random(0x0fff) \/ Version<<12,
|
|
132
|
+
D is random(0x3fff) \/ 0x8000,
|
|
133
|
+
E is random(0xffffffffffff),
|
|
134
|
+
format(atom(UUID),
|
|
135
|
+
'~`0t~16r~8+-~|\c
|
|
136
|
+
~`0t~16r~4+-~|\c
|
|
137
|
+
~`0t~16r~4+-~|\c
|
|
138
|
+
~`0t~16r~4+-~|\c
|
|
139
|
+
~`0t~16r~12+', [A,B,C,D,E]).
|
|
140
|
+
|
|
141
|
+
random_int_uuid(UUID) :-
|
|
142
|
+
Version = 4,
|
|
143
|
+
A is random(0xffffffff),
|
|
144
|
+
B is random(0xffff),
|
|
145
|
+
C is random(0x0fff) \/ Version<<12,
|
|
146
|
+
D is random(0x3fff) \/ 0x8000,
|
|
147
|
+
E is random(0xffffffffffff),
|
|
148
|
+
UUID is (A<<96)+(B<<80)+(C<<84)+(D<<48)+E.
|
|
149
|
+
|
|
150
|
+
:- endif.
|
|
151
|
+
|
|
152
|
+
%! uuid_property(+UUID, ?Property)
|
|
153
|
+
%
|
|
154
|
+
% True when UUID is a property of the given UUID. Supported properties
|
|
155
|
+
% are:
|
|
156
|
+
%
|
|
157
|
+
% - version(V)
|
|
158
|
+
% Return the version of the UUID (1..5)
|
|
159
|
+
% - time(-Stamp)
|
|
160
|
+
% Time using SWI-Prolog's time stamp (float with seconds
|
|
161
|
+
% since January 1, 1970, UTC). Only for version 1 and 2
|
|
162
|
+
% UUIDs
|
|
163
|
+
%
|
|
164
|
+
% @tbd Implement more properties.
|
|
165
|
+
|
|
166
|
+
uuid_property(UUID, P) :-
|
|
167
|
+
property_uuid(P, UUID).
|
|
168
|
+
|
|
169
|
+
property_uuid(version(V), UUID) :-
|
|
170
|
+
split_string(UUID, "-", "", [_A,_B,C,_D,_E]),
|
|
171
|
+
sub_string(C, 0, 1, _, F),
|
|
172
|
+
char_type(F, xdigit(V)).
|
|
173
|
+
property_uuid(time(Time), UUID) :-
|
|
174
|
+
split_string(UUID, "-", "", [A,B,C,_D,_E]),
|
|
175
|
+
sub_atom(C, 0, 1, _, F),
|
|
176
|
+
has_time(F),
|
|
177
|
+
sub_string(C, 1, _, 0, T),
|
|
178
|
+
atomics_to_string(["0x",T,B,A], Hex),
|
|
179
|
+
number_string(Nanos, Hex),
|
|
180
|
+
Offset is 24*60*60*141427*10 000 000,
|
|
181
|
+
Time is (Nanos-Offset)/10000000.0.
|
|
182
|
+
|
|
183
|
+
has_time('1').
|
|
184
|
+
has_time('2').
|
|
185
|
+
|
|
186
|
+
%! is_uuid(@UUID) is semidet.
|
|
187
|
+
%
|
|
188
|
+
% True when UUID is a UUID represented as an atom. It merely validates
|
|
189
|
+
% that the length is 36 characters, there are `-` at the right place
|
|
190
|
+
% and all other characters are hexadecimal.
|
|
191
|
+
|
|
192
|
+
is_uuid(UUID) :-
|
|
193
|
+
atom(UUID),
|
|
194
|
+
atom_length(UUID, 36),
|
|
195
|
+
atom_codes(UUID, Codes),
|
|
196
|
+
Codes = [ _,_,_,_,_,_,_,_, 0'-,
|
|
197
|
+
_,_,_,_, 0'-,
|
|
198
|
+
_,_,_,_, 0'-,
|
|
199
|
+
_,_,_,_, 0'-,
|
|
200
|
+
_,_,_,_,_,_,_,_,_,_,_,_
|
|
201
|
+
],
|
|
202
|
+
maplist(hex_or_minus, Codes).
|
|
203
|
+
|
|
204
|
+
hex_or_minus(0'-) :-
|
|
205
|
+
!.
|
|
206
|
+
hex_or_minus(Code) :-
|
|
207
|
+
code_type(Code, xdigit(_)).
|
|
@@ -0,0 +1,266 @@
|
|
|
1
|
+
/* Creator: make/0
|
|
2
|
+
|
|
3
|
+
Purpose: Provide index for autoload
|
|
4
|
+
*/
|
|
5
|
+
|
|
6
|
+
index(http_ax_attributes(?,?), http_ax, ax).
|
|
7
|
+
index(ax_form_attributes(?,?), http_ax, ax).
|
|
8
|
+
index(graphql_read_document(?,?,?), graphql, graphql).
|
|
9
|
+
index(graphql_execute_document(?,?,?,?), graphql, graphql).
|
|
10
|
+
index(graphql_document_to_string(?,?,?), graphql, graphql).
|
|
11
|
+
index(graphql_document_to_codes(?,?,?), graphql, graphql).
|
|
12
|
+
index(graphql(?,?,?,?), graphql, graphql).
|
|
13
|
+
index(html_meta(?), html_decl, html_decl).
|
|
14
|
+
index(html_no_content(?), html_decl, html_decl).
|
|
15
|
+
index(:(op,op(1150,fx,html_meta)), html_decl, html_decl).
|
|
16
|
+
index(html_resource(?,?), html_head, html_head).
|
|
17
|
+
index(html_requires(?,?,?), html_head, html_head).
|
|
18
|
+
index(html_current_resource(?), html_head, html_head).
|
|
19
|
+
index(html(?,?,?,?), html_quasi_quotations, html_quasiquotations).
|
|
20
|
+
index(reply_html_page(:,:), html_write, html_write).
|
|
21
|
+
index(reply_html_page(+,:,:), html_write, html_write).
|
|
22
|
+
index(reply_html_partial(?), html_write, html_write).
|
|
23
|
+
index(page(:,-,+), html_write, html_write).
|
|
24
|
+
index(page(:,:,-,+), html_write, html_write).
|
|
25
|
+
index(page(?,?,?,?,?), html_write, html_write).
|
|
26
|
+
index(html(:,-,+), html_write, html_write).
|
|
27
|
+
index(html_set_options(?), html_write, html_write).
|
|
28
|
+
index(html_current_option(?), html_write, html_write).
|
|
29
|
+
index(html_post(+,:,-,+), html_write, html_write).
|
|
30
|
+
index(html_receive(?,?,?), html_write, html_write).
|
|
31
|
+
index(html_receive(+,3,-,+), html_write, html_write).
|
|
32
|
+
index(xhtml_ns(?,?,?,?), html_write, html_write).
|
|
33
|
+
index(html_root_attribute(?,?,?,?), html_write, html_write).
|
|
34
|
+
index(html(?,?,?,?), html_write, html_write).
|
|
35
|
+
index(html_begin(?,?,?), html_write, html_write).
|
|
36
|
+
index(html_end(?,?,?), html_write, html_write).
|
|
37
|
+
index(html_quoted(?,?,?), html_write, html_write).
|
|
38
|
+
index(html_quoted_attribute(?,?,?), html_write, html_write).
|
|
39
|
+
index(print_html(?), html_write, html_write).
|
|
40
|
+
index(print_html(?,?), html_write, html_write).
|
|
41
|
+
index(html_print_length(?,?), html_write, html_write).
|
|
42
|
+
index(html_meta(?), html_write, html_write).
|
|
43
|
+
index(:(op,op(1150,fx,html_meta)), html_write, html_write).
|
|
44
|
+
index(reply_htmx(?), htmx, htmx).
|
|
45
|
+
index(reply_htmx(?,?), htmx, htmx).
|
|
46
|
+
index(htmx_oob(?,?,?,?), htmx, htmx).
|
|
47
|
+
index(http_authenticate(?,?,?), authenticate, http_authenticate).
|
|
48
|
+
index(http_authorization_data(?,?), authenticate, http_authenticate).
|
|
49
|
+
index(http_current_user(?,?,?), authenticate, http_authenticate).
|
|
50
|
+
index(http_read_passwd_file(?,?), authenticate, http_authenticate).
|
|
51
|
+
index(http_write_passwd_file(?,?), authenticate, http_authenticate).
|
|
52
|
+
index(http_get(?,?,?), http_client, http_client).
|
|
53
|
+
index(http_delete(?,?,?), http_client, http_client).
|
|
54
|
+
index(http_post(?,?,?,?), http_client, http_client).
|
|
55
|
+
index(http_put(?,?,?,?), http_client, http_client).
|
|
56
|
+
index(http_patch(?,?,?,?), http_client, http_client).
|
|
57
|
+
index(http_read_data(+,-,:), http_client, http_client).
|
|
58
|
+
index(http_disconnect(?), http_client, http_client).
|
|
59
|
+
index(cookie_remove_client(?), http_cookie, http_cookie).
|
|
60
|
+
index(cookie_remove_all_clients, http_cookie, http_cookie).
|
|
61
|
+
index(cookie_current_cookie(?,?,?,?), http_cookie, http_cookie).
|
|
62
|
+
index(cors_enable, http_cors, http_cors).
|
|
63
|
+
index(cors_enable(?,?), http_cors, http_cors).
|
|
64
|
+
index(http_digest_challenge(?,?,?,?), http_digest, http_digest).
|
|
65
|
+
index(http_digest_password_hash(?,?,?,?), http_digest, http_digest).
|
|
66
|
+
index(http_parse_digest_challenge(?,?), http_digest, http_digest).
|
|
67
|
+
index(http_digest_response(?,?,?,?,?), http_digest, http_digest).
|
|
68
|
+
index(http_reply_dirindex(+,:,+), http_dirindex, http_dirindex).
|
|
69
|
+
index(directory_index(+,:,?,?), http_dirindex, http_dirindex).
|
|
70
|
+
index(http_dispatch(?), http_dispatch, http_dispatch).
|
|
71
|
+
index(http_handler(?,?,?), http_dispatch, http_dispatch).
|
|
72
|
+
index(http_delete_handler(?), http_dispatch, http_dispatch).
|
|
73
|
+
index(http_request_expansion(?,?), http_dispatch, http_dispatch).
|
|
74
|
+
index(http_reply_file(?,?,?), http_dispatch, http_dispatch).
|
|
75
|
+
index(http_redirect(?,?,?), http_dispatch, http_dispatch).
|
|
76
|
+
index(http_404(?,?), http_dispatch, http_dispatch).
|
|
77
|
+
index(http_switch_protocol(?,?), http_dispatch, http_dispatch).
|
|
78
|
+
index(http_current_handler(?,?), http_dispatch, http_dispatch).
|
|
79
|
+
index(http_current_handler(?,?,?), http_dispatch, http_dispatch).
|
|
80
|
+
index(http_location_by_id(?,?), http_dispatch, http_dispatch).
|
|
81
|
+
index(http_link_to_id(?,?,?), http_dispatch, http_dispatch).
|
|
82
|
+
index(http_reload_with_parameters(?,?,?), http_dispatch, http_dispatch).
|
|
83
|
+
index(http_safe_file(?,?), http_dispatch, http_dispatch).
|
|
84
|
+
index(map_exception_to_http_status(?,?,?,?), http_exception, http_exception).
|
|
85
|
+
index(in_or_exclude_backtrace(?,?), http_exception, http_exception).
|
|
86
|
+
index(http_reply_from_files(?,?,?), http_files, http_files).
|
|
87
|
+
index(http_read_request(?,?), http_header, http_header).
|
|
88
|
+
index(http_read_reply_header(?,?), http_header, http_header).
|
|
89
|
+
index(http_reply(?,?), http_header, http_header).
|
|
90
|
+
index(http_reply(?,?,?), http_header, http_header).
|
|
91
|
+
index(http_reply(?,?,?,?), http_header, http_header).
|
|
92
|
+
index(http_reply(?,?,?,?,?), http_header, http_header).
|
|
93
|
+
index(http_reply(?,?,?,?,?,?), http_header, http_header).
|
|
94
|
+
index(http_reply_header(?,?,?), http_header, http_header).
|
|
95
|
+
index(http_status_reply(?,?,?,?), http_header, http_header).
|
|
96
|
+
index(http_status_reply(?,?,?,?,?), http_header, http_header).
|
|
97
|
+
index(http_timestamp(?,?), http_header, http_header).
|
|
98
|
+
index(http_post_data(?,?,?), http_header, http_header).
|
|
99
|
+
index(http_read_header(?,?), http_header, http_header).
|
|
100
|
+
index(http_parse_header(?,?), http_header, http_header).
|
|
101
|
+
index(http_parse_header_value(?,?,?), http_header, http_header).
|
|
102
|
+
index(http_join_headers(?,?,?), http_header, http_header).
|
|
103
|
+
index(http_update_encoding(?,?,?), http_header, http_header).
|
|
104
|
+
index(http_update_connection(?,?,?,?), http_header, http_header).
|
|
105
|
+
index(http_update_transfer(?,?,?,?), http_header, http_header).
|
|
106
|
+
index(http_public_url(?,?), http_host, http_host).
|
|
107
|
+
index(http_public_host_url(?,?), http_host, http_host).
|
|
108
|
+
index(http_public_host(?,?,?,?), http_host, http_host).
|
|
109
|
+
index(http_current_host(?,?,?,?), http_host, http_host).
|
|
110
|
+
index(http_log_stream(?), http_log, http_log).
|
|
111
|
+
index(http_log(?,?), http_log, http_log).
|
|
112
|
+
index(http_log_close(?), http_log, http_log).
|
|
113
|
+
index(post_data_encoded(?,?), http_log, http_log).
|
|
114
|
+
index(http_logrotate(?), http_log, http_log).
|
|
115
|
+
index(http_schedule_logrotate(?,?), http_log, http_log).
|
|
116
|
+
index(http_open(+,-,:), http_open, http_open).
|
|
117
|
+
index(http_set_authorization(?,?), http_open, http_open).
|
|
118
|
+
index(http_close_keep_alive(?), http_open, http_open).
|
|
119
|
+
index(openid_login(?), http_openid, http_openid).
|
|
120
|
+
index(openid_logout(?), http_openid, http_openid).
|
|
121
|
+
index(openid_logged_in(?), http_openid, http_openid).
|
|
122
|
+
index(openid_user(?,?,?), http_openid, http_openid).
|
|
123
|
+
index(openid_verify(?,?), http_openid, http_openid).
|
|
124
|
+
index(openid_authenticate(?,?,?,?), http_openid, http_openid).
|
|
125
|
+
index(openid_associate(?,?,?), http_openid, http_openid).
|
|
126
|
+
index(openid_associate(?,?,?,?), http_openid, http_openid).
|
|
127
|
+
index(openid_server(?,?), http_openid, http_openid).
|
|
128
|
+
index(openid_server(?,?,?), http_openid, http_openid).
|
|
129
|
+
index(openid_grant(?), http_openid, http_openid).
|
|
130
|
+
index(openid_login_form(?,?,?,?), http_openid, http_openid).
|
|
131
|
+
index(openid_current_url(?,?), http_openid, http_openid).
|
|
132
|
+
index(openid_current_host(?,?,?), http_openid, http_openid).
|
|
133
|
+
index(http_parameters(?,?), http_parameters, http_parameters).
|
|
134
|
+
index(http_parameters(?,?,?), http_parameters, http_parameters).
|
|
135
|
+
index(http_convert_parameter(?,?,?,?), http_parameters, http_parameters).
|
|
136
|
+
index(http_convert_parameters(?,?), http_parameters, http_parameters).
|
|
137
|
+
index(http_convert_parameters(?,?,?), http_parameters, http_parameters).
|
|
138
|
+
index(http_absolute_location(?,?,?), http_path, http_path).
|
|
139
|
+
index(http_clean_location_cache, http_path, http_path).
|
|
140
|
+
index(http_absolute_uri(?,?), http_path, http_path).
|
|
141
|
+
index(reply_pwp_page(?,?,?), http_pwp, http_pwp).
|
|
142
|
+
index(pwp_handler(?,?), http_pwp, http_pwp).
|
|
143
|
+
index(http_server(?), http_server, http_server).
|
|
144
|
+
index(http_current_server(?,?), http_server, http_server).
|
|
145
|
+
index(http_server_property(?,?), http_server, http_server).
|
|
146
|
+
index(http_server(?,?), http_server, http_server).
|
|
147
|
+
index(http_workers(?,?), http_server, http_server).
|
|
148
|
+
index(http_add_worker(?,?), http_server, http_server).
|
|
149
|
+
index(http_current_worker(?,?), http_server, http_server).
|
|
150
|
+
index(http_stop_server(?,?), http_server, http_server).
|
|
151
|
+
index(http_spawn(?,?), http_server, http_server).
|
|
152
|
+
index(http_dispatch(?), http_server, http_server).
|
|
153
|
+
index(http_handler(?,?,?), http_server, http_server).
|
|
154
|
+
index(http_delete_handler(?), http_server, http_server).
|
|
155
|
+
index(http_request_expansion(?,?), http_server, http_server).
|
|
156
|
+
index(http_reply_file(?,?,?), http_server, http_server).
|
|
157
|
+
index(http_redirect(?,?,?), http_server, http_server).
|
|
158
|
+
index(http_404(?,?), http_server, http_server).
|
|
159
|
+
index(http_switch_protocol(?,?), http_server, http_server).
|
|
160
|
+
index(http_current_handler(?,?), http_server, http_server).
|
|
161
|
+
index(http_current_handler(?,?,?), http_server, http_server).
|
|
162
|
+
index(http_location_by_id(?,?), http_server, http_server).
|
|
163
|
+
index(http_link_to_id(?,?,?), http_server, http_server).
|
|
164
|
+
index(http_reload_with_parameters(?,?,?), http_server, http_server).
|
|
165
|
+
index(http_current_request(?), http_server, http_server).
|
|
166
|
+
index(http_peer(?,?), http_server, http_server).
|
|
167
|
+
index(http_parameters(?,?), http_server, http_server).
|
|
168
|
+
index(http_parameters(?,?,?), http_server, http_server).
|
|
169
|
+
index(reply_html_page(?,?), http_server, http_server).
|
|
170
|
+
index(html(?,?,?), http_server, http_server).
|
|
171
|
+
index(html_meta(?), http_server, http_server).
|
|
172
|
+
index(:(op,op(1150,fx,html_meta)), http_server, http_server).
|
|
173
|
+
index(reply_json_dict(?), http_server, http_server).
|
|
174
|
+
index(reply_json_dict(?,?), http_server, http_server).
|
|
175
|
+
index(http_read_json_dict(?,?), http_server, http_server).
|
|
176
|
+
index(http_read_json_dict(?,?,?), http_server, http_server).
|
|
177
|
+
index(is_json_content_type(?), http_server, http_server).
|
|
178
|
+
index(serve_files_in_directory(?,?), http_server_files, http_server_files).
|
|
179
|
+
index(server_health(?), http_server_health, http_server_health).
|
|
180
|
+
index(http_set_session_options(?), http_session, http_session).
|
|
181
|
+
index(http_set_session(?), http_session, http_session).
|
|
182
|
+
index(http_set_session(?,?), http_session, http_session).
|
|
183
|
+
index(http_session_option(?), http_session, http_session).
|
|
184
|
+
index(http_session_id(?), http_session, http_session).
|
|
185
|
+
index(http_in_session(?), http_session, http_session).
|
|
186
|
+
index(http_current_session(?,?), http_session, http_session).
|
|
187
|
+
index(http_close_session(?), http_session, http_session).
|
|
188
|
+
index(http_open_session(?,?), http_session, http_session).
|
|
189
|
+
index(http_session_cookie(?), http_session, http_session).
|
|
190
|
+
index(http_session_asserta(?), http_session, http_session).
|
|
191
|
+
index(http_session_assert(?), http_session, http_session).
|
|
192
|
+
index(http_session_retract(?), http_session, http_session).
|
|
193
|
+
index(http_session_retractall(?), http_session, http_session).
|
|
194
|
+
index(http_session_data(?), http_session, http_session).
|
|
195
|
+
index(http_session_asserta(?,?), http_session, http_session).
|
|
196
|
+
index(http_session_assert(?,?), http_session, http_session).
|
|
197
|
+
index(http_session_retract(?,?), http_session, http_session).
|
|
198
|
+
index(http_session_retractall(?,?), http_session, http_session).
|
|
199
|
+
index(http_session_data(?,?), http_session, http_session).
|
|
200
|
+
index(http_chunked_open(?,?,?), http_stream, http_stream).
|
|
201
|
+
index(http_is_chunked(?), http_stream, http_stream).
|
|
202
|
+
index(http_chunked_flush(?,?), http_stream, http_stream).
|
|
203
|
+
index(http_chunked_add_trailer(?,?,?), http_stream, http_stream).
|
|
204
|
+
index(stream_range_open(+,-,:), http_stream, http_stream).
|
|
205
|
+
index(multipart_open(?,?,?), http_stream, http_stream).
|
|
206
|
+
index(multipart_open_next(?), http_stream, http_stream).
|
|
207
|
+
index(cgi_open(?,?,?,?), http_stream, http_stream).
|
|
208
|
+
index(cgi_property(?,?), http_stream, http_stream).
|
|
209
|
+
index(cgi_set(?,?), http_stream, http_stream).
|
|
210
|
+
index(cgi_discard(?), http_stream, http_stream).
|
|
211
|
+
index(is_cgi_stream(?), http_stream, http_stream).
|
|
212
|
+
index(cgi_statistics(?), http_stream, http_stream).
|
|
213
|
+
index(:(public,http_stream_debug(_)), http_stream, http_stream).
|
|
214
|
+
index(http_daemon, http_unix_daemon, http_unix_daemon).
|
|
215
|
+
index(http_daemon(?), http_unix_daemon, http_unix_daemon).
|
|
216
|
+
index(http_opt_type(?,?,?), http_unix_daemon, http_unix_daemon).
|
|
217
|
+
index(http_opt_help(?,?), http_unix_daemon, http_unix_daemon).
|
|
218
|
+
index(http_opt_meta(?,?), http_unix_daemon, http_unix_daemon).
|
|
219
|
+
index(http_wrapper(0,+,+,-,+), httpd_wrapper, http_wrapper).
|
|
220
|
+
index(http_current_request(?), httpd_wrapper, http_wrapper).
|
|
221
|
+
index(http_peer(?,?), httpd_wrapper, http_wrapper).
|
|
222
|
+
index(http_send_header(?), httpd_wrapper, http_wrapper).
|
|
223
|
+
index(http_relative_path(?,?), httpd_wrapper, http_wrapper).
|
|
224
|
+
index(http_wrap_spawned(?,?,?), httpd_wrapper, http_wrapper).
|
|
225
|
+
index(http_spawned(?), httpd_wrapper, http_wrapper).
|
|
226
|
+
index(hub_create(?,?,?), hub, hub).
|
|
227
|
+
index(hub_add(?,?,?), hub, hub).
|
|
228
|
+
index(hub_member(?,?), hub, hub).
|
|
229
|
+
index(hub_send(?,?), hub, hub).
|
|
230
|
+
index(hub_broadcast(?,?), hub, hub).
|
|
231
|
+
index(hub_broadcast(+,+,1), hub, hub).
|
|
232
|
+
index(current_hub(?,?), hub, hub).
|
|
233
|
+
index(js_script(?,?,?), javascript, js_write).
|
|
234
|
+
index(js_call(?,?,?), javascript, js_write).
|
|
235
|
+
index(js_new(?,?,?,?), javascript, js_write).
|
|
236
|
+
index(js_expression(?,?,?), javascript, js_write).
|
|
237
|
+
index(js_arg_list(?,?,?), javascript, js_write).
|
|
238
|
+
index(js_arg(?,?,?), javascript, js_write).
|
|
239
|
+
index(js_args(?,?,?), javascript, js_write).
|
|
240
|
+
index(javascript(?,?,?,?), javascript, js_write).
|
|
241
|
+
index(mime_pack(?,?,?), mime_pack, mimepack).
|
|
242
|
+
index(file_mime_type(?,?), mimetype, mimetype).
|
|
243
|
+
index(file_content_type(?,?), mimetype, mimetype).
|
|
244
|
+
index(file_content_type(?,?,?), mimetype, mimetype).
|
|
245
|
+
index(term(+,:,?,?), term_html, term_html).
|
|
246
|
+
index(http_current_server(?,?), thread_httpd, thread_httpd).
|
|
247
|
+
index(http_server_property(?,?), thread_httpd, thread_httpd).
|
|
248
|
+
index(http_server(?,?), thread_httpd, thread_httpd).
|
|
249
|
+
index(http_workers(?,?), thread_httpd, thread_httpd).
|
|
250
|
+
index(http_add_worker(?,?), thread_httpd, thread_httpd).
|
|
251
|
+
index(http_current_worker(?,?), thread_httpd, thread_httpd).
|
|
252
|
+
index(http_stop_server(?,?), thread_httpd, thread_httpd).
|
|
253
|
+
index(http_spawn(?,?), thread_httpd, thread_httpd).
|
|
254
|
+
index(http_requeue(?), thread_httpd, thread_httpd).
|
|
255
|
+
index(http_close_connection(?), thread_httpd, thread_httpd).
|
|
256
|
+
index(http_enough_workers(?,?,?), thread_httpd, thread_httpd).
|
|
257
|
+
index(http_open_websocket(?,?,?), websocket, websocket).
|
|
258
|
+
index(http_upgrade_to_websocket(1,+,+), websocket, websocket).
|
|
259
|
+
index(ws_send(?,?), websocket, websocket).
|
|
260
|
+
index(ws_receive(?,?), websocket, websocket).
|
|
261
|
+
index(ws_receive(?,?,?), websocket, websocket).
|
|
262
|
+
index(ws_close(?,?,?), websocket, websocket).
|
|
263
|
+
index(ws_open(?,?,?), websocket, websocket).
|
|
264
|
+
index(ws_property(?,?), websocket, websocket).
|
|
265
|
+
index(xrds_dom(?,?), yadis, yadis).
|
|
266
|
+
index(xrds_location(?,?), yadis, yadis).
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
# SWI-Prolog HTTP support library
|
|
2
|
+
|
|
3
|
+
This directory provides the SWI-Prolog libraries for accessing and
|
|
4
|
+
providing HTTP services.
|
|
5
|
+
|
|
6
|
+
## Client library
|
|
7
|
+
|
|
8
|
+
The main client library is `library(http/http_open)`, which can open
|
|
9
|
+
both HTTP and HTTPS connections and handle all request methods.
|
|
10
|
+
|
|
11
|
+
## Server library
|
|
12
|
+
|
|
13
|
+
The main server libraries are
|
|
14
|
+
|
|
15
|
+
- `library(http/thread_httpd)` implements the server
|
|
16
|
+
- `library(http/http_dispatch)` implements binding locations
|
|
17
|
+
predicates
|
|
18
|
+
- `library(http/http_unix_daemon)` implements integration in various
|
|
19
|
+
Unix server managers and in general provides a suitable entry point
|
|
20
|
+
for HTTP servers on Unix.
|
|
21
|
+
- `library(http/html_write)` implements generating HTML
|
|
22
|
+
- `library(http/http_json)` implements reading and writing JSON documents.
|
|
23
|
+
|
|
24
|
+
For simplicity, you can use `library(http/http_server)`, which
|
|
25
|
+
combines the typical HTTP libraries that most servers need. The
|
|
26
|
+
idea of a common request handling system and three controlling
|
|
27
|
+
libraries is outdated; the threaded server now being the only sensible
|
|
28
|
+
controlling library.
|
|
29
|
+
|
|
30
|
+
# Requirements
|
|
31
|
+
|
|
32
|
+
This library uses functionality from the `ssl` package to support HTTPS,
|
|
33
|
+
the `sgml` package to read XML/HTML and the `clib` package for various
|
|
34
|
+
extensions.
|