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.
Files changed (550) hide show
  1. package/README.md +29 -0
  2. package/bin/swipl +0 -0
  3. package/bin/swipl-win +0 -0
  4. package/build-manifest.json +70 -0
  5. package/lib/cmake/swipl/SWIPLConfig.cmake +21 -0
  6. package/lib/cmake/swipl/SWIPLConfigVersion.cmake +65 -0
  7. package/lib/cmake/swipl/SWIPLTargets-release.cmake +28 -0
  8. package/lib/cmake/swipl/SWIPLTargets.cmake +109 -0
  9. package/lib/swipl/ABI +1 -0
  10. package/lib/swipl/LICENSE +41 -0
  11. package/lib/swipl/README.md +116 -0
  12. package/lib/swipl/app/README.md +25 -0
  13. package/lib/swipl/app/app.pl +87 -0
  14. package/lib/swipl/app/pack.pl +350 -0
  15. package/lib/swipl/app/qlf.pl +521 -0
  16. package/lib/swipl/app/splfr.pl +177 -0
  17. package/lib/swipl/app/sys.pl +310 -0
  18. package/lib/swipl/bin/swipl.home +1 -0
  19. package/lib/swipl/boot/apply.pl +73 -0
  20. package/lib/swipl/boot/attvar.pl +344 -0
  21. package/lib/swipl/boot/autoload.pl +1226 -0
  22. package/lib/swipl/boot/bags.pl +283 -0
  23. package/lib/swipl/boot/dcg.pl +388 -0
  24. package/lib/swipl/boot/dicts.pl +193 -0
  25. package/lib/swipl/boot/dwim.pl +485 -0
  26. package/lib/swipl/boot/engines.pl +152 -0
  27. package/lib/swipl/boot/expand.pl +1628 -0
  28. package/lib/swipl/boot/gc.pl +65 -0
  29. package/lib/swipl/boot/history.pl +304 -0
  30. package/lib/swipl/boot/init.pl +4682 -0
  31. package/lib/swipl/boot/iri.pl +64 -0
  32. package/lib/swipl/boot/license.pl +390 -0
  33. package/lib/swipl/boot/load.pl +81 -0
  34. package/lib/swipl/boot/messages.pl +2521 -0
  35. package/lib/swipl/boot/packs.pl +306 -0
  36. package/lib/swipl/boot/predopts.pl +154 -0
  37. package/lib/swipl/boot/qlf.pl +141 -0
  38. package/lib/swipl/boot/rc.pl +263 -0
  39. package/lib/swipl/boot/syspred.pl +1634 -0
  40. package/lib/swipl/boot/tabling.pl +2321 -0
  41. package/lib/swipl/boot/threads.pl +42 -0
  42. package/lib/swipl/boot/toplevel.pl +2248 -0
  43. package/lib/swipl/boot/topvars.pl +261 -0
  44. package/lib/swipl/boot.prc +0 -0
  45. package/lib/swipl/cmake/swipl.cmake +131 -0
  46. package/lib/swipl/customize/README.md +23 -0
  47. package/lib/swipl/customize/edit +101 -0
  48. package/lib/swipl/customize/init.pl +164 -0
  49. package/lib/swipl/demo/README.md +33 -0
  50. package/lib/swipl/demo/likes.pl +44 -0
  51. package/lib/swipl/doc/packages/examples/chr/bool.chr +281 -0
  52. package/lib/swipl/doc/packages/examples/chr/chrdif.chr +87 -0
  53. package/lib/swipl/doc/packages/examples/chr/chrfreeze.chr +6 -0
  54. package/lib/swipl/doc/packages/examples/chr/family.chr +116 -0
  55. package/lib/swipl/doc/packages/examples/chr/fib.chr +24 -0
  56. package/lib/swipl/doc/packages/examples/chr/fibonacci.chr +31 -0
  57. package/lib/swipl/doc/packages/examples/chr/gcd.chr +28 -0
  58. package/lib/swipl/doc/packages/examples/chr/leq.chr +34 -0
  59. package/lib/swipl/doc/packages/examples/chr/listdom.chr +138 -0
  60. package/lib/swipl/doc/packages/examples/chr/primes.chr +29 -0
  61. package/lib/swipl/doc/packages/examples/http/README.md +98 -0
  62. package/lib/swipl/doc/packages/examples/http/calc.pl +92 -0
  63. package/lib/swipl/doc/packages/examples/http/demo_body.pl +232 -0
  64. package/lib/swipl/doc/packages/examples/http/demo_client.pl +165 -0
  65. package/lib/swipl/doc/packages/examples/http/demo_daemon.pl +38 -0
  66. package/lib/swipl/doc/packages/examples/http/demo_files.pl +50 -0
  67. package/lib/swipl/doc/packages/examples/http/demo_hello.pl +15 -0
  68. package/lib/swipl/doc/packages/examples/http/demo_login.pl +280 -0
  69. package/lib/swipl/doc/packages/examples/http/demo_openid.pl +177 -0
  70. package/lib/swipl/doc/packages/examples/http/demo_pwp.pl +20 -0
  71. package/lib/swipl/doc/packages/examples/http/demo_rest.pl +56 -0
  72. package/lib/swipl/doc/packages/examples/http/demo_threads.pl +52 -0
  73. package/lib/swipl/doc/packages/examples/http/linux-init-script +126 -0
  74. package/lib/swipl/doc/packages/examples/http/pwp/context.pwp +23 -0
  75. package/lib/swipl/doc/packages/examples/http/pwp/index.pwp +25 -0
  76. package/lib/swipl/doc/packages/examples/http/pwp/pwp1.pwp +12 -0
  77. package/lib/swipl/doc/packages/examples/http/pwp/pwp2.pwp +10 -0
  78. package/lib/swipl/doc/packages/examples/http/pwp/pwp3.pwp +25 -0
  79. package/lib/swipl/doc/packages/examples/http/pwp/pwp4.pwp +23 -0
  80. package/lib/swipl/doc/packages/examples/http/pwp/pwp5.pwp +11 -0
  81. package/lib/swipl/doc/packages/examples/http/pwp/pwp6.pwp +3 -0
  82. package/lib/swipl/doc/packages/examples/http/pwp/pwp7.pwp +3 -0
  83. package/lib/swipl/doc/packages/examples/http/pwp/pwp8.pwp +3 -0
  84. package/lib/swipl/doc/packages/examples/http/pwp/pwpdb.pl +12 -0
  85. package/lib/swipl/doc/packages/examples/http/systemd-script.service +18 -0
  86. package/lib/swipl/doc/packages/examples/http/upstart-script.conf +20 -0
  87. package/lib/swipl/doc/packages/examples/plunit/read.pl +17 -0
  88. package/lib/swipl/doc/packages/examples/plunit/simple.pl +33 -0
  89. package/lib/swipl/doc/packages/examples/ssl/client.pl +83 -0
  90. package/lib/swipl/doc/packages/examples/ssl/etc/README +52 -0
  91. package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.p12 +0 -0
  92. package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.pem +85 -0
  93. package/lib/swipl/doc/packages/examples/ssl/etc/client/client-key.pem +30 -0
  94. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/cacert.pem +82 -0
  95. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/careq.pem +18 -0
  96. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/crlnumber +1 -0
  97. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt +3 -0
  98. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt.attr +1 -0
  99. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7C.pem +85 -0
  100. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7D.pem +85 -0
  101. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem +30 -0
  102. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/serial +1 -0
  103. package/lib/swipl/doc/packages/examples/ssl/etc/server/server-cert.pem +85 -0
  104. package/lib/swipl/doc/packages/examples/ssl/etc/server/server-key.pem +30 -0
  105. package/lib/swipl/doc/packages/examples/ssl/https.pl +267 -0
  106. package/lib/swipl/doc/packages/examples/ssl/server.pl +106 -0
  107. package/lib/swipl/include/SWI-Prolog.h +1544 -0
  108. package/lib/swipl/include/SWI-Stream.h +537 -0
  109. package/lib/swipl/include/Yap/YapInterface.h +283 -0
  110. package/lib/swipl/include/sicstus/sicstus.h +452 -0
  111. package/lib/swipl/lib/x86_64-linux/cgi.so +0 -0
  112. package/lib/swipl/lib/x86_64-linux/crypt.so +0 -0
  113. package/lib/swipl/lib/x86_64-linux/crypto4pl.so +0 -0
  114. package/lib/swipl/lib/x86_64-linux/double_metaphone.so +0 -0
  115. package/lib/swipl/lib/x86_64-linux/files.so +0 -0
  116. package/lib/swipl/lib/x86_64-linux/hashstream.so +0 -0
  117. package/lib/swipl/lib/x86_64-linux/http_stream.so +0 -0
  118. package/lib/swipl/lib/x86_64-linux/isub.so +0 -0
  119. package/lib/swipl/lib/x86_64-linux/json.so +0 -0
  120. package/lib/swipl/lib/x86_64-linux/libswipl.so.10 +0 -0
  121. package/lib/swipl/lib/x86_64-linux/mallocinfo.so +0 -0
  122. package/lib/swipl/lib/x86_64-linux/md54pl.so +0 -0
  123. package/lib/swipl/lib/x86_64-linux/memfile.so +0 -0
  124. package/lib/swipl/lib/x86_64-linux/ntriples.so +0 -0
  125. package/lib/swipl/lib/x86_64-linux/pcre4pl.so +0 -0
  126. package/lib/swipl/lib/x86_64-linux/porter_stem.so +0 -0
  127. package/lib/swipl/lib/x86_64-linux/process.so +0 -0
  128. package/lib/swipl/lib/x86_64-linux/prolog_stream.so +0 -0
  129. package/lib/swipl/lib/x86_64-linux/rdf_db.so +0 -0
  130. package/lib/swipl/lib/x86_64-linux/readutil.so +0 -0
  131. package/lib/swipl/lib/x86_64-linux/rlimit.so +0 -0
  132. package/lib/swipl/lib/x86_64-linux/sched.so +0 -0
  133. package/lib/swipl/lib/x86_64-linux/sgml2pl.so +0 -0
  134. package/lib/swipl/lib/x86_64-linux/sha4pl.so +0 -0
  135. package/lib/swipl/lib/x86_64-linux/snowball.so +0 -0
  136. package/lib/swipl/lib/x86_64-linux/socket.so +0 -0
  137. package/lib/swipl/lib/x86_64-linux/ssl4pl.so +0 -0
  138. package/lib/swipl/lib/x86_64-linux/streaminfo.so +0 -0
  139. package/lib/swipl/lib/x86_64-linux/syslog.so +0 -0
  140. package/lib/swipl/lib/x86_64-linux/time.so +0 -0
  141. package/lib/swipl/lib/x86_64-linux/turtle.so +0 -0
  142. package/lib/swipl/lib/x86_64-linux/uid.so +0 -0
  143. package/lib/swipl/lib/x86_64-linux/unix.so +0 -0
  144. package/lib/swipl/lib/x86_64-linux/uri.so +0 -0
  145. package/lib/swipl/lib/x86_64-linux/websocket.so +0 -0
  146. package/lib/swipl/lib/x86_64-linux/zlib4pl.so +0 -0
  147. package/lib/swipl/library/INDEX.pl +1020 -0
  148. package/lib/swipl/library/aggregate.pl +755 -0
  149. package/lib/swipl/library/ansi_term.pl +653 -0
  150. package/lib/swipl/library/apply.pl +426 -0
  151. package/lib/swipl/library/apply_macros.pl +497 -0
  152. package/lib/swipl/library/arithmetic.pl +320 -0
  153. package/lib/swipl/library/assoc.pl +522 -0
  154. package/lib/swipl/library/atom.pl +169 -0
  155. package/lib/swipl/library/backcomp.pl +688 -0
  156. package/lib/swipl/library/base32.pl +291 -0
  157. package/lib/swipl/library/base64.pl +441 -0
  158. package/lib/swipl/library/broadcast.pl +161 -0
  159. package/lib/swipl/library/build/cmake.pl +137 -0
  160. package/lib/swipl/library/build/conan.pl +232 -0
  161. package/lib/swipl/library/build/make.pl +168 -0
  162. package/lib/swipl/library/build/tools.pl +825 -0
  163. package/lib/swipl/library/charsio.pl +195 -0
  164. package/lib/swipl/library/check.pl +1097 -0
  165. package/lib/swipl/library/check_installation.pl +912 -0
  166. package/lib/swipl/library/clp/INDEX.pl +157 -0
  167. package/lib/swipl/library/clp/bounds.pl +2036 -0
  168. package/lib/swipl/library/clp/clp_distinct.pl +263 -0
  169. package/lib/swipl/library/clp/clp_events.pl +92 -0
  170. package/lib/swipl/library/clp/clpb.pl +1896 -0
  171. package/lib/swipl/library/clp/clpfd.pl +7906 -0
  172. package/lib/swipl/library/clp/simplex.pl +1580 -0
  173. package/lib/swipl/library/codesio.pl +182 -0
  174. package/lib/swipl/library/coinduction.pl +183 -0
  175. package/lib/swipl/library/console_input.pl +289 -0
  176. package/lib/swipl/library/csv.pl +611 -0
  177. package/lib/swipl/library/ctypes.pl +161 -0
  178. package/lib/swipl/library/date.pl +370 -0
  179. package/lib/swipl/library/dcg/INDEX.pl +35 -0
  180. package/lib/swipl/library/dcg/basics.pl +514 -0
  181. package/lib/swipl/library/dcg/high_order.pl +227 -0
  182. package/lib/swipl/library/debug.pl +499 -0
  183. package/lib/swipl/library/dialect/bim.pl +186 -0
  184. package/lib/swipl/library/dialect/commons.pl +77 -0
  185. package/lib/swipl/library/dialect/eclipse/test_util_iso.pl +355 -0
  186. package/lib/swipl/library/dialect/hprolog/format.pl +44 -0
  187. package/lib/swipl/library/dialect/hprolog.pl +314 -0
  188. package/lib/swipl/library/dialect/ifprolog.pl +1317 -0
  189. package/lib/swipl/library/dialect/iso/iso_predicates.pl +277 -0
  190. package/lib/swipl/library/dialect/sicstus/README.TXT +1 -0
  191. package/lib/swipl/library/dialect/sicstus/arrays.pl +121 -0
  192. package/lib/swipl/library/dialect/sicstus/block.pl +278 -0
  193. package/lib/swipl/library/dialect/sicstus/lists.pl +167 -0
  194. package/lib/swipl/library/dialect/sicstus/ordsets.pl +52 -0
  195. package/lib/swipl/library/dialect/sicstus/sockets.pl +174 -0
  196. package/lib/swipl/library/dialect/sicstus/system.pl +262 -0
  197. package/lib/swipl/library/dialect/sicstus/terms.pl +57 -0
  198. package/lib/swipl/library/dialect/sicstus/timeout.pl +92 -0
  199. package/lib/swipl/library/dialect/sicstus.pl +582 -0
  200. package/lib/swipl/library/dialect/sicstus4/aggregate.pl +60 -0
  201. package/lib/swipl/library/dialect/sicstus4/between.pl +62 -0
  202. package/lib/swipl/library/dialect/sicstus4/clpfd.pl +75 -0
  203. package/lib/swipl/library/dialect/sicstus4/file_systems.pl +413 -0
  204. package/lib/swipl/library/dialect/sicstus4/lists.pl +274 -0
  205. package/lib/swipl/library/dialect/sicstus4/ordsets.pl +54 -0
  206. package/lib/swipl/library/dialect/sicstus4/samsort.pl +86 -0
  207. package/lib/swipl/library/dialect/sicstus4/sets.pl +124 -0
  208. package/lib/swipl/library/dialect/sicstus4/sockets.pl +164 -0
  209. package/lib/swipl/library/dialect/sicstus4/system.pl +80 -0
  210. package/lib/swipl/library/dialect/sicstus4/terms.pl +89 -0
  211. package/lib/swipl/library/dialect/sicstus4/timeout.pl +43 -0
  212. package/lib/swipl/library/dialect/sicstus4/types.pl +103 -0
  213. package/lib/swipl/library/dialect/sicstus4.pl +200 -0
  214. package/lib/swipl/library/dialect/swi/syspred_options.pl +250 -0
  215. package/lib/swipl/library/dialect/xsb/README.md +20 -0
  216. package/lib/swipl/library/dialect/xsb/basics.pl +318 -0
  217. package/lib/swipl/library/dialect/xsb/consult.pl +87 -0
  218. package/lib/swipl/library/dialect/xsb/curr_sym.pl +57 -0
  219. package/lib/swipl/library/dialect/xsb/error_handler.pl +111 -0
  220. package/lib/swipl/library/dialect/xsb/gensym.pl +53 -0
  221. package/lib/swipl/library/dialect/xsb/gpp.pl +138 -0
  222. package/lib/swipl/library/dialect/xsb/intern.pl +48 -0
  223. package/lib/swipl/library/dialect/xsb/lists.pl +47 -0
  224. package/lib/swipl/library/dialect/xsb/machine.pl +295 -0
  225. package/lib/swipl/library/dialect/xsb/ordsets.pl +53 -0
  226. package/lib/swipl/library/dialect/xsb/setof.pl +54 -0
  227. package/lib/swipl/library/dialect/xsb/source.pl +308 -0
  228. package/lib/swipl/library/dialect/xsb/standard.pl +169 -0
  229. package/lib/swipl/library/dialect/xsb/storage.pl +70 -0
  230. package/lib/swipl/library/dialect/xsb/string.pl +76 -0
  231. package/lib/swipl/library/dialect/xsb/thread.pl +62 -0
  232. package/lib/swipl/library/dialect/xsb/timed_call.pl +158 -0
  233. package/lib/swipl/library/dialect/xsb.pl +688 -0
  234. package/lib/swipl/library/dialect/yap/README.TXT +8 -0
  235. package/lib/swipl/library/dialect/yap.pl +283 -0
  236. package/lib/swipl/library/dialect.pl +123 -0
  237. package/lib/swipl/library/dicts.pl +399 -0
  238. package/lib/swipl/library/dif.pl +426 -0
  239. package/lib/swipl/library/edinburgh.pl +138 -0
  240. package/lib/swipl/library/edit.pl +783 -0
  241. package/lib/swipl/library/error.pl +495 -0
  242. package/lib/swipl/library/exceptions.pl +231 -0
  243. package/lib/swipl/library/explain.pl +543 -0
  244. package/lib/swipl/library/ext/RDF/INDEX.pl +25 -0
  245. package/lib/swipl/library/ext/RDF/rdf.pl +450 -0
  246. package/lib/swipl/library/ext/RDF/rdf_parser.pl +649 -0
  247. package/lib/swipl/library/ext/RDF/rdf_triple.pl +448 -0
  248. package/lib/swipl/library/ext/RDF/rdf_write.pl +701 -0
  249. package/lib/swipl/library/ext/RDF/rewrite_term.pl +177 -0
  250. package/lib/swipl/library/ext/chr/chr/a_star.pl +80 -0
  251. package/lib/swipl/library/ext/chr/chr/binomialheap.pl +142 -0
  252. package/lib/swipl/library/ext/chr/chr/builtins.pl +629 -0
  253. package/lib/swipl/library/ext/chr/chr/chr_compiler_errors.pl +179 -0
  254. package/lib/swipl/library/ext/chr/chr/chr_compiler_options.pl +382 -0
  255. package/lib/swipl/library/ext/chr/chr/chr_compiler_utility.pl +338 -0
  256. package/lib/swipl/library/ext/chr/chr/chr_debug.pl +59 -0
  257. package/lib/swipl/library/ext/chr/chr/chr_hashtable_store.pl +425 -0
  258. package/lib/swipl/library/ext/chr/chr/chr_integertable_store.pl +139 -0
  259. package/lib/swipl/library/ext/chr/chr/chr_messages.pl +176 -0
  260. package/lib/swipl/library/ext/chr/chr/chr_op.pl +53 -0
  261. package/lib/swipl/library/ext/chr/chr/chr_runtime.pl +1016 -0
  262. package/lib/swipl/library/ext/chr/chr/chr_translate.pl +25424 -0
  263. package/lib/swipl/library/ext/chr/chr/clean_code.pl +252 -0
  264. package/lib/swipl/library/ext/chr/chr/find.pl +78 -0
  265. package/lib/swipl/library/ext/chr/chr/guard_entailment.pl +19432 -0
  266. package/lib/swipl/library/ext/chr/chr/listmap.pl +108 -0
  267. package/lib/swipl/library/ext/chr/chr/pairlist.pl +78 -0
  268. package/lib/swipl/library/ext/chr/chr.pl +686 -0
  269. package/lib/swipl/library/ext/clib/INDEX.pl +158 -0
  270. package/lib/swipl/library/ext/clib/cgi.pl +86 -0
  271. package/lib/swipl/library/ext/clib/crypt.pl +44 -0
  272. package/lib/swipl/library/ext/clib/filesex.pl +644 -0
  273. package/lib/swipl/library/ext/clib/hash_stream.pl +119 -0
  274. package/lib/swipl/library/ext/clib/mallocinfo.pl +138 -0
  275. package/lib/swipl/library/ext/clib/md5.pl +68 -0
  276. package/lib/swipl/library/ext/clib/memfile.pl +61 -0
  277. package/lib/swipl/library/ext/clib/process.pl +573 -0
  278. package/lib/swipl/library/ext/clib/prolog_server.pl +157 -0
  279. package/lib/swipl/library/ext/clib/prolog_stream.pl +80 -0
  280. package/lib/swipl/library/ext/clib/rlimit.pl +54 -0
  281. package/lib/swipl/library/ext/clib/sched.pl +85 -0
  282. package/lib/swipl/library/ext/clib/sha.pl +162 -0
  283. package/lib/swipl/library/ext/clib/socket.pl +1102 -0
  284. package/lib/swipl/library/ext/clib/streaminfo.pl +103 -0
  285. package/lib/swipl/library/ext/clib/streampool.pl +136 -0
  286. package/lib/swipl/library/ext/clib/syslog.pl +180 -0
  287. package/lib/swipl/library/ext/clib/time.pl +194 -0
  288. package/lib/swipl/library/ext/clib/udp_broadcast.pl +975 -0
  289. package/lib/swipl/library/ext/clib/uid.pl +220 -0
  290. package/lib/swipl/library/ext/clib/unix.pl +317 -0
  291. package/lib/swipl/library/ext/clib/uri.pl +530 -0
  292. package/lib/swipl/library/ext/clib/uuid.pl +207 -0
  293. package/lib/swipl/library/ext/http/http/INDEX.pl +266 -0
  294. package/lib/swipl/library/ext/http/http/README.md +34 -0
  295. package/lib/swipl/library/ext/http/http/ax.pl +189 -0
  296. package/lib/swipl/library/ext/http/http/dcg_basics.pl +49 -0
  297. package/lib/swipl/library/ext/http/http/graphql.pl +1367 -0
  298. package/lib/swipl/library/ext/http/http/html_decl.pl +416 -0
  299. package/lib/swipl/library/ext/http/http/html_head.pl +654 -0
  300. package/lib/swipl/library/ext/http/http/html_quasiquotations.pl +120 -0
  301. package/lib/swipl/library/ext/http/http/html_write.pl +1425 -0
  302. package/lib/swipl/library/ext/http/http/htmx.pl +139 -0
  303. package/lib/swipl/library/ext/http/http/http_authenticate.pl +364 -0
  304. package/lib/swipl/library/ext/http/http/http_client.pl +412 -0
  305. package/lib/swipl/library/ext/http/http/http_cookie.pl +245 -0
  306. package/lib/swipl/library/ext/http/http/http_cors.pl +176 -0
  307. package/lib/swipl/library/ext/http/http/http_digest.pl +820 -0
  308. package/lib/swipl/library/ext/http/http/http_dirindex.pl +296 -0
  309. package/lib/swipl/library/ext/http/http/http_dispatch.pl +1552 -0
  310. package/lib/swipl/library/ext/http/http/http_dyn_workers.pl +214 -0
  311. package/lib/swipl/library/ext/http/http/http_error.pl +126 -0
  312. package/lib/swipl/library/ext/http/http/http_exception.pl +225 -0
  313. package/lib/swipl/library/ext/http/http/http_files.pl +163 -0
  314. package/lib/swipl/library/ext/http/http/http_header.pl +2820 -0
  315. package/lib/swipl/library/ext/http/http/http_hook.pl +106 -0
  316. package/lib/swipl/library/ext/http/http/http_host.pl +204 -0
  317. package/lib/swipl/library/ext/http/http/http_load.pl +113 -0
  318. package/lib/swipl/library/ext/http/http/http_log.pl +738 -0
  319. package/lib/swipl/library/ext/http/http/http_multipart_plugin.pl +232 -0
  320. package/lib/swipl/library/ext/http/http/http_open.pl +1821 -0
  321. package/lib/swipl/library/ext/http/http/http_openid.pl +1561 -0
  322. package/lib/swipl/library/ext/http/http/http_parameters.pl +504 -0
  323. package/lib/swipl/library/ext/http/http/http_path.pl +380 -0
  324. package/lib/swipl/library/ext/http/http/http_proxy.pl +80 -0
  325. package/lib/swipl/library/ext/http/http/http_pwp.pl +351 -0
  326. package/lib/swipl/library/ext/http/http/http_redis_plugin.pl +332 -0
  327. package/lib/swipl/library/ext/http/http/http_server.pl +105 -0
  328. package/lib/swipl/library/ext/http/http/http_server_files.pl +126 -0
  329. package/lib/swipl/library/ext/http/http/http_server_health.pl +186 -0
  330. package/lib/swipl/library/ext/http/http/http_session.pl +1040 -0
  331. package/lib/swipl/library/ext/http/http/http_sgml_plugin.pl +137 -0
  332. package/lib/swipl/library/ext/http/http/http_stream.pl +376 -0
  333. package/lib/swipl/library/ext/http/http/http_unix_daemon.pl +989 -0
  334. package/lib/swipl/library/ext/http/http/http_wrapper.pl +559 -0
  335. package/lib/swipl/library/ext/http/http/hub.pl +600 -0
  336. package/lib/swipl/library/ext/http/http/js_write.pl +461 -0
  337. package/lib/swipl/library/ext/http/http/mimepack.pl +224 -0
  338. package/lib/swipl/library/ext/http/http/mimetype.pl +276 -0
  339. package/lib/swipl/library/ext/http/http/term_html.pl +797 -0
  340. package/lib/swipl/library/ext/http/http/thread_httpd.pl +1181 -0
  341. package/lib/swipl/library/ext/http/http/web/css/dirindex.css +24 -0
  342. package/lib/swipl/library/ext/http/http/web/css/openid.css +57 -0
  343. package/lib/swipl/library/ext/http/http/web/icons/back.png +0 -0
  344. package/lib/swipl/library/ext/http/http/web/icons/c.png +0 -0
  345. package/lib/swipl/library/ext/http/http/web/icons/compressed.png +0 -0
  346. package/lib/swipl/library/ext/http/http/web/icons/folder.png +0 -0
  347. package/lib/swipl/library/ext/http/http/web/icons/generic.png +0 -0
  348. package/lib/swipl/library/ext/http/http/web/icons/layout.png +0 -0
  349. package/lib/swipl/library/ext/http/http/web/icons/openid-logo-square.png +0 -0
  350. package/lib/swipl/library/ext/http/http/web/icons/openid-logo-tiny.png +0 -0
  351. package/lib/swipl/library/ext/http/http/websocket.pl +729 -0
  352. package/lib/swipl/library/ext/http/http/yadis.pl +205 -0
  353. package/lib/swipl/library/ext/json/INDEX.pl +36 -0
  354. package/lib/swipl/library/ext/json/http/INDEX.pl +16 -0
  355. package/lib/swipl/library/ext/json/http/http_json.pl +490 -0
  356. package/lib/swipl/library/ext/json/http/js_grammar.pl +53 -0
  357. package/lib/swipl/library/ext/json/http/json.pl +48 -0
  358. package/lib/swipl/library/ext/json/http/json_convert.pl +48 -0
  359. package/lib/swipl/library/ext/json/json.pl +1215 -0
  360. package/lib/swipl/library/ext/json/json_convert.pl +681 -0
  361. package/lib/swipl/library/ext/json/json_grammar.pl +349 -0
  362. package/lib/swipl/library/ext/json/json_rpc_client.pl +423 -0
  363. package/lib/swipl/library/ext/json/json_rpc_common.pl +104 -0
  364. package/lib/swipl/library/ext/json/json_rpc_server.pl +489 -0
  365. package/lib/swipl/library/ext/json/json_schema.pl +2111 -0
  366. package/lib/swipl/library/ext/nlp/INDEX.pl +15 -0
  367. package/lib/swipl/library/ext/nlp/double_metaphone.pl +86 -0
  368. package/lib/swipl/library/ext/nlp/isub.pl +162 -0
  369. package/lib/swipl/library/ext/nlp/porter_stem.pl +50 -0
  370. package/lib/swipl/library/ext/nlp/snowball.pl +97 -0
  371. package/lib/swipl/library/ext/pcre/INDEX.pl +17 -0
  372. package/lib/swipl/library/ext/pcre/pcre.pl +974 -0
  373. package/lib/swipl/library/ext/plunit/INDEX.pl +20 -0
  374. package/lib/swipl/library/ext/plunit/plunit.pl +2631 -0
  375. package/lib/swipl/library/ext/plunit/test_wizard.pl +249 -0
  376. package/lib/swipl/library/ext/semweb/semweb/INDEX.pl +288 -0
  377. package/lib/swipl/library/ext/semweb/semweb/rdf11.pl +2106 -0
  378. package/lib/swipl/library/ext/semweb/semweb/rdf11_containers.pl +299 -0
  379. package/lib/swipl/library/ext/semweb/semweb/rdf_cache.pl +278 -0
  380. package/lib/swipl/library/ext/semweb/semweb/rdf_compare.pl +132 -0
  381. package/lib/swipl/library/ext/semweb/semweb/rdf_db.pl +3468 -0
  382. package/lib/swipl/library/ext/semweb/semweb/rdf_edit.pl +1145 -0
  383. package/lib/swipl/library/ext/semweb/semweb/rdf_http_plugin.pl +274 -0
  384. package/lib/swipl/library/ext/semweb/semweb/rdf_library.pl +1021 -0
  385. package/lib/swipl/library/ext/semweb/semweb/rdf_litindex.pl +1035 -0
  386. package/lib/swipl/library/ext/semweb/semweb/rdf_ntriples.pl +422 -0
  387. package/lib/swipl/library/ext/semweb/semweb/rdf_persistency.pl +1576 -0
  388. package/lib/swipl/library/ext/semweb/semweb/rdf_portray.pl +182 -0
  389. package/lib/swipl/library/ext/semweb/semweb/rdf_prefixes.pl +681 -0
  390. package/lib/swipl/library/ext/semweb/semweb/rdf_sandbox.pl +153 -0
  391. package/lib/swipl/library/ext/semweb/semweb/rdf_turtle.pl +54 -0
  392. package/lib/swipl/library/ext/semweb/semweb/rdf_turtle_write.pl +1587 -0
  393. package/lib/swipl/library/ext/semweb/semweb/rdf_zlib_plugin.pl +52 -0
  394. package/lib/swipl/library/ext/semweb/semweb/rdfa.pl +1510 -0
  395. package/lib/swipl/library/ext/semweb/semweb/rdfs.pl +475 -0
  396. package/lib/swipl/library/ext/semweb/semweb/sparql_client.pl +643 -0
  397. package/lib/swipl/library/ext/semweb/semweb/turtle.pl +455 -0
  398. package/lib/swipl/library/ext/sgml/DTD/HTML4.dcl +88 -0
  399. package/lib/swipl/library/ext/sgml/DTD/HTML4.dtd +1092 -0
  400. package/lib/swipl/library/ext/sgml/DTD/HTML4.soc +6 -0
  401. package/lib/swipl/library/ext/sgml/DTD/HTML5.dtd +906 -0
  402. package/lib/swipl/library/ext/sgml/DTD/HTMLlat1.ent +195 -0
  403. package/lib/swipl/library/ext/sgml/DTD/HTMLspec.ent +77 -0
  404. package/lib/swipl/library/ext/sgml/DTD/HTMLsym.ent +241 -0
  405. package/lib/swipl/library/ext/sgml/INDEX.pl +64 -0
  406. package/lib/swipl/library/ext/sgml/c14n2.pl +203 -0
  407. package/lib/swipl/library/ext/sgml/iso_639.pl +631 -0
  408. package/lib/swipl/library/ext/sgml/pwp.pl +705 -0
  409. package/lib/swipl/library/ext/sgml/sgml.pl +815 -0
  410. package/lib/swipl/library/ext/sgml/sgml_write.pl +1003 -0
  411. package/lib/swipl/library/ext/sgml/xpath.pl +620 -0
  412. package/lib/swipl/library/ext/sgml/xsdp_types.pl +232 -0
  413. package/lib/swipl/library/ext/ssl/INDEX.pl +60 -0
  414. package/lib/swipl/library/ext/ssl/crypto.pl +1015 -0
  415. package/lib/swipl/library/ext/ssl/http/INDEX.pl +5 -0
  416. package/lib/swipl/library/ext/ssl/http/http_ssl_plugin.pl +296 -0
  417. package/lib/swipl/library/ext/ssl/saml.pl +609 -0
  418. package/lib/swipl/library/ext/ssl/ssl.pl +647 -0
  419. package/lib/swipl/library/ext/ssl/xmldsig.pl +391 -0
  420. package/lib/swipl/library/ext/ssl/xmlenc.pl +354 -0
  421. package/lib/swipl/library/ext/zlib/INDEX.pl +8 -0
  422. package/lib/swipl/library/ext/zlib/zlib.pl +112 -0
  423. package/lib/swipl/library/fastrw.pl +105 -0
  424. package/lib/swipl/library/files.pl +80 -0
  425. package/lib/swipl/library/gensym.pl +111 -0
  426. package/lib/swipl/library/git.pl +1027 -0
  427. package/lib/swipl/library/hashtable.pl +365 -0
  428. package/lib/swipl/library/heaps.pl +252 -0
  429. package/lib/swipl/library/hotfix.pl +239 -0
  430. package/lib/swipl/library/http/jquery.pl +103 -0
  431. package/lib/swipl/library/http/web/js/jquery-3.6.0.min.js +2 -0
  432. package/lib/swipl/library/increval.pl +217 -0
  433. package/lib/swipl/library/intercept.pl +263 -0
  434. package/lib/swipl/library/iostream.pl +237 -0
  435. package/lib/swipl/library/iri_scheme/file.pl +70 -0
  436. package/lib/swipl/library/lazy_lists.pl +481 -0
  437. package/lib/swipl/library/listing.pl +1362 -0
  438. package/lib/swipl/library/lists.pl +860 -0
  439. package/lib/swipl/library/lynx/INDEX.pl +14 -0
  440. package/lib/swipl/library/lynx/format.pl +380 -0
  441. package/lib/swipl/library/lynx/html_style.pl +129 -0
  442. package/lib/swipl/library/lynx/html_text.pl +865 -0
  443. package/lib/swipl/library/lynx/pldoc_style.pl +87 -0
  444. package/lib/swipl/library/macros.pl +451 -0
  445. package/lib/swipl/library/main.pl +1200 -0
  446. package/lib/swipl/library/make.pl +197 -0
  447. package/lib/swipl/library/modules.pl +129 -0
  448. package/lib/swipl/library/nb_rbtrees.pl +267 -0
  449. package/lib/swipl/library/nb_set.pl +203 -0
  450. package/lib/swipl/library/obfuscate.pl +115 -0
  451. package/lib/swipl/library/occurs.pl +241 -0
  452. package/lib/swipl/library/operators.pl +182 -0
  453. package/lib/swipl/library/option.pl +388 -0
  454. package/lib/swipl/library/optparse.pl +966 -0
  455. package/lib/swipl/library/ordsets.pl +518 -0
  456. package/lib/swipl/library/oset.pl +160 -0
  457. package/lib/swipl/library/pairs.pl +187 -0
  458. package/lib/swipl/library/persistency.pl +713 -0
  459. package/lib/swipl/library/pio.pl +47 -0
  460. package/lib/swipl/library/portray_text.pl +277 -0
  461. package/lib/swipl/library/pprint.pl +940 -0
  462. package/lib/swipl/library/predicate_options.pl +975 -0
  463. package/lib/swipl/library/prolog_autoload.pl +233 -0
  464. package/lib/swipl/library/prolog_breakpoints.pl +396 -0
  465. package/lib/swipl/library/prolog_clause.pl +1104 -0
  466. package/lib/swipl/library/prolog_code.pl +416 -0
  467. package/lib/swipl/library/prolog_codewalk.pl +1248 -0
  468. package/lib/swipl/library/prolog_colour.pl +3301 -0
  469. package/lib/swipl/library/prolog_colour.qlf +0 -0
  470. package/lib/swipl/library/prolog_config.pl +154 -0
  471. package/lib/swipl/library/prolog_coverage.pl +1333 -0
  472. package/lib/swipl/library/prolog_debug.pl +404 -0
  473. package/lib/swipl/library/prolog_deps.pl +675 -0
  474. package/lib/swipl/library/prolog_evaluable.pl +234 -0
  475. package/lib/swipl/library/prolog_format.pl +219 -0
  476. package/lib/swipl/library/prolog_history.pl +161 -0
  477. package/lib/swipl/library/prolog_jiti.pl +333 -0
  478. package/lib/swipl/library/prolog_locale.pl +61 -0
  479. package/lib/swipl/library/prolog_metainference.pl +307 -0
  480. package/lib/swipl/library/prolog_pack.pl +3906 -0
  481. package/lib/swipl/library/prolog_profile.pl +346 -0
  482. package/lib/swipl/library/prolog_qlfmake.pl +533 -0
  483. package/lib/swipl/library/prolog_source.pl +1188 -0
  484. package/lib/swipl/library/prolog_stack.pl +794 -0
  485. package/lib/swipl/library/prolog_trace.pl +365 -0
  486. package/lib/swipl/library/prolog_versions.pl +347 -0
  487. package/lib/swipl/library/prolog_wrap.pl +164 -0
  488. package/lib/swipl/library/prolog_xref.pl +3090 -0
  489. package/lib/swipl/library/prolog_xref.qlf +0 -0
  490. package/lib/swipl/library/pure_input.pl +266 -0
  491. package/lib/swipl/library/qpforeign.pl +695 -0
  492. package/lib/swipl/library/qsave.pl +1516 -0
  493. package/lib/swipl/library/quasi_quotations.pl +300 -0
  494. package/lib/swipl/library/quintus.pl +437 -0
  495. package/lib/swipl/library/random.pl +459 -0
  496. package/lib/swipl/library/rbtrees.pl +1153 -0
  497. package/lib/swipl/library/readln.pl +256 -0
  498. package/lib/swipl/library/readutil.pl +304 -0
  499. package/lib/swipl/library/record.pl +544 -0
  500. package/lib/swipl/library/rwlocks.pl +172 -0
  501. package/lib/swipl/library/sandbox.pl +1384 -0
  502. package/lib/swipl/library/semweb/dc.rdfs +198 -0
  503. package/lib/swipl/library/semweb/eor.rdfs +95 -0
  504. package/lib/swipl/library/semweb/owl.owl +287 -0
  505. package/lib/swipl/library/semweb/rdf_library.ttl +90 -0
  506. package/lib/swipl/library/semweb/rdfs.rdfs +251 -0
  507. package/lib/swipl/library/settings.pl +755 -0
  508. package/lib/swipl/library/shell.pl +462 -0
  509. package/lib/swipl/library/shlib.pl +670 -0
  510. package/lib/swipl/library/solution_sequences.pl +439 -0
  511. package/lib/swipl/library/sort.pl +119 -0
  512. package/lib/swipl/library/statistics.pl +541 -0
  513. package/lib/swipl/library/streams.pl +118 -0
  514. package/lib/swipl/library/strings.pl +469 -0
  515. package/lib/swipl/library/system.pl +95 -0
  516. package/lib/swipl/library/tables.pl +381 -0
  517. package/lib/swipl/library/tableutil.pl +771 -0
  518. package/lib/swipl/library/tabling.pl +42 -0
  519. package/lib/swipl/library/terms.pl +457 -0
  520. package/lib/swipl/library/theme/auto.pl +61 -0
  521. package/lib/swipl/library/theme/dark.pl +455 -0
  522. package/lib/swipl/library/theme/light.pl +45 -0
  523. package/lib/swipl/library/thread.pl +810 -0
  524. package/lib/swipl/library/thread_pool.pl +508 -0
  525. package/lib/swipl/library/threadutil.pl +574 -0
  526. package/lib/swipl/library/tty.pl +316 -0
  527. package/lib/swipl/library/ugraphs.pl +644 -0
  528. package/lib/swipl/library/unicode/INDEX.pl +6 -0
  529. package/lib/swipl/library/unicode/blocks.pl +414 -0
  530. package/lib/swipl/library/url.pl +1129 -0
  531. package/lib/swipl/library/utf8.pl +145 -0
  532. package/lib/swipl/library/varnumbers.pl +221 -0
  533. package/lib/swipl/library/vm.pl +251 -0
  534. package/lib/swipl/library/wfs.pl +205 -0
  535. package/lib/swipl/library/when.pl +263 -0
  536. package/lib/swipl/library/writef.pl +278 -0
  537. package/lib/swipl/library/www_browser.pl +251 -0
  538. package/lib/swipl/library/yall.pl +574 -0
  539. package/lib/swipl/library/zip.pl +211 -0
  540. package/lib/swipl/swipl.home +1 -0
  541. package/lib/vendor/libcrypto.so.3 +0 -0
  542. package/lib/vendor/libpcre2-8.so.0 +0 -0
  543. package/lib/vendor/libssl.so.3 +0 -0
  544. package/lib/vendor/libz.so.1 +0 -0
  545. package/licenses/OpenSSL-LICENSE.txt +177 -0
  546. package/licenses/PCRE2-COPYING +5 -0
  547. package/licenses/README.md +12 -0
  548. package/licenses/SWI-Prolog-LICENSE +41 -0
  549. package/licenses/zlib-LICENSE +22 -0
  550. 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.