--- /srv/reproducible-results/rbuild-debian/r-b-build.FMFGU3k5/b1/swi-prolog_9.0.4+dfsg-4_arm64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.FMFGU3k5/b2/swi-prolog_9.0.4+dfsg-4_arm64.changes ├── Files │ @@ -1,19 +1,19 @@ │ │ a48584dde1125ad663cb064f13cbc59a 49004 debug optional swi-prolog-bdb-dbgsym_9.0.4+dfsg-4_arm64.deb │ c205033d8172a05d2b8b9eb213f7f80e 28140 interpreters optional swi-prolog-bdb_9.0.4+dfsg-4_arm64.deb │ - 42a15568f0a1d3d203a9b041b13aa6c5 2013720 debug optional swi-prolog-core-dbgsym_9.0.4+dfsg-4_arm64.deb │ + 13f9c1e0a5c5411464eac75dc0c91238 2014288 debug optional swi-prolog-core-dbgsym_9.0.4+dfsg-4_arm64.deb │ 476b940c5a480fb6a526eba45f0f3a92 1496068 debug optional swi-prolog-core-packages-dbgsym_9.0.4+dfsg-4_arm64.deb │ - 51f7c819f49a58229010d216608605e7 1310852 interpreters optional swi-prolog-core-packages_9.0.4+dfsg-4_arm64.deb │ - 3174b76caed01d91c9a9b74534041813 1376636 interpreters optional swi-prolog-core_9.0.4+dfsg-4_arm64.deb │ + fec8cf5ea1b3023f39a2bbad456a226a 1310800 interpreters optional swi-prolog-core-packages_9.0.4+dfsg-4_arm64.deb │ + e71a43d7a985ea02315058bcda12b605 1376668 interpreters optional swi-prolog-core_9.0.4+dfsg-4_arm64.deb │ 24e5fc581582e20108710ae002000507 1557088 doc optional swi-prolog-doc_9.0.4+dfsg-4_all.deb │ 434f1f062192b035cc652038530e739f 11796 interpreters optional swi-prolog-full_9.0.4+dfsg-4_arm64.deb │ fa5a75191d2868781ba2e4ee048f2532 84268 debug optional swi-prolog-java-dbgsym_9.0.4+dfsg-4_arm64.deb │ 08278d79275b35d7bb29a7482bd33977 107564 interpreters optional swi-prolog-java_9.0.4+dfsg-4_arm64.deb │ 028afa98aa3f48090437540275385fb9 270316 debug optional swi-prolog-nox-dbgsym_9.0.4+dfsg-4_arm64.deb │ 43a5e72cb7b88ee1b7153b581312962b 163456 interpreters optional swi-prolog-nox_9.0.4+dfsg-4_arm64.deb │ 66e62a75e02785ed303423e64068c678 65568 debug optional swi-prolog-odbc-dbgsym_9.0.4+dfsg-4_arm64.deb │ 3be5f9b05cafecf8b07e753b5dc9438f 120696 interpreters optional swi-prolog-odbc_9.0.4+dfsg-4_arm64.deb │ - 72fe98780b896159286a42117e0861cd 638264 interpreters optional swi-prolog-test_9.0.4+dfsg-4_all.deb │ + 8de776330cf272858515cc2bc7bf8538 638260 interpreters optional swi-prolog-test_9.0.4+dfsg-4_all.deb │ 3d02a5b87dc3b02237c6781f01e3ed2f 1956428 debug optional swi-prolog-x-dbgsym_9.0.4+dfsg-4_arm64.deb │ - fddb1b463dcf2fa9dc2848c784a660b3 2074776 interpreters optional swi-prolog-x_9.0.4+dfsg-4_arm64.deb │ + 52832cb89b589f5dbddf0379ddd2cc11 2074880 interpreters optional swi-prolog-x_9.0.4+dfsg-4_arm64.deb │ 784a00db4463da00aafeac52832b6b67 13060 interpreters optional swi-prolog_9.0.4+dfsg-4_arm64.deb ├── swi-prolog-core-packages_9.0.4+dfsg-4_arm64.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2024-04-09 12:16:03.000000 debian-binary │ │ --rw-r--r-- 0 0 0 9232 2024-04-09 12:16:03.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 1301428 2024-04-09 12:16:03.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 9236 2024-04-09 12:16:03.000000 control.tar.xz │ │ +-rw-r--r-- 0 0 0 1301372 2024-04-09 12:16:03.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── file list │ │ │ │ @@ -228,15 +228,15 @@ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 109203 2022-09-16 12:40:51.000000 ./usr/lib/swi-prolog/library/pengines.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 29473 2022-09-16 12:40:51.000000 ./usr/lib/swi-prolog/library/pengines_io.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4030 2022-09-16 12:40:51.000000 ./usr/lib/swi-prolog/library/pengines_sandbox.pl │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2024-04-09 12:16:03.000000 ./usr/lib/swi-prolog/library/pldoc/ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 5349 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_access.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4201 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_colour.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 75010 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_html.pl │ │ │ │ --rw-r--r-- 0 root (0) root (0) 62480 2024-04-09 12:16:03.000000 ./usr/lib/swi-prolog/library/pldoc/doc_html.qlf │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 62481 2024-04-09 12:16:03.000000 ./usr/lib/swi-prolog/library/pldoc/doc_html.qlf │ │ │ │ -rw-r--r-- 0 root (0) root (0) 17925 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_htmlsrc.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 16461 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_index.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 3932 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_library.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 41183 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_man.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 16149 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_modes.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 6364 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_pack.pl │ │ │ │ -rw-r--r-- 0 root (0) root (0) 15570 2023-01-26 10:21:50.000000 ./usr/lib/swi-prolog/library/pldoc/doc_process.pl │ │ │ ├── ./usr/lib/swi-prolog/library/chr/chr_translate.pl │ │ │ │ @@ -1,10 +1,10 @@ │ │ │ │ /* Generated by CHR bootstrap compiler │ │ │ │ From: /build/reproducible-path/swi-prolog-9.0.4+dfsg/packages/chr/chr_translate.chr │ │ │ │ - Date: Sat Jul 19 07:41:05 2025 │ │ │ │ + Date: Sun Jun 16 01:24:20 2024 │ │ │ │ │ │ │ │ DO NOT EDIT. EDIT THE CHR FILE INSTEAD │ │ │ │ */ │ │ │ │ │ │ │ │ :- module(chr_translate, │ │ │ │ [ chr_translate/2, │ │ │ │ chr_translate_line_info/3 │ │ │ ├── ./usr/lib/swi-prolog/library/chr/guard_entailment.pl │ │ │ │ @@ -1,10 +1,10 @@ │ │ │ │ /* Generated by CHR bootstrap compiler │ │ │ │ From: /build/reproducible-path/swi-prolog-9.0.4+dfsg/packages/chr/guard_entailment.chr │ │ │ │ - Date: Sat Jul 19 07:41:00 2025 │ │ │ │ + Date: Sun Jun 16 01:24:15 2024 │ │ │ │ │ │ │ │ DO NOT EDIT. EDIT THE CHR FILE INSTEAD │ │ │ │ */ │ │ │ │ │ │ │ │ :- module(guard_entailment, │ │ │ │ [ entails_guard/2, │ │ │ │ simplify_guards/5 │ │ │ ├── ./usr/lib/swi-prolog/library/pldoc/doc_html.qlf │ │ │ │ @@ -1,3905 +1,3906 @@ │ │ │ │ 00000000: 5357 492d 5072 6f6c 6f67 202e 716c 6620 SWI-Prolog .qlf │ │ │ │ -00000010: 6669 6c65 0a00 0881 0a3f 227a 9338 812f file.....?"z.8./ │ │ │ │ +00000010: 6669 6c65 0a00 0881 0a3f 227a 933a 812f file.....?"z.:./ │ │ │ │ 00000020: 6275 696c 642f 7265 7072 6f64 7563 6962 build/reproducib │ │ │ │ 00000030: 6c65 2d70 6174 682f 7377 692d 7072 6f6c le-path/swi-prol │ │ │ │ 00000040: 6f67 2d39 2e30 2e34 2b64 6673 672f 6275 og-9.0.4+dfsg/bu │ │ │ │ 00000050: 696c 642f 686f 6d65 2f6c 6962 7261 7279 ild/home/library │ │ │ │ 00000060: 2f70 6c64 6f63 2f2e 646f 635f 6874 6d6c /pldoc/.doc_html │ │ │ │ -00000070: 2e71 6c66 2e39 3536 3137 3251 4d03 9470 .qlf.956172QM..p │ │ │ │ -00000080: 6c64 6f63 5f68 746d 6c46 2681 2f62 7569 ldoc_htmlF&./bui │ │ │ │ -00000090: 6c64 2f72 6570 726f 6475 6369 626c 652d ld/reproducible- │ │ │ │ -000000a0: 7061 7468 2f73 7769 2d70 726f 6c6f 672d path/swi-prolog- │ │ │ │ -000000b0: 392e 302e 342b 6466 7367 2f62 7569 6c64 9.0.4+dfsg/build │ │ │ │ -000000c0: 2f68 6f6d 652f 6c69 6272 6172 792f 706c /home/library/pl │ │ │ │ -000000d0: 646f 632f 646f 635f 6874 6d6c 2e70 6c00 doc/doc_html.pl. │ │ │ │ -000000e0: 0080 0f95 f4d8 4175 cc43 038e 6c69 6272 ......Au.C..libr │ │ │ │ -000000f0: 6172 7953 038c 7379 7374 656d 4504 0392 aryS..systemE... │ │ │ │ -00000100: 6d75 6c74 6966 696c 6584 4504 039a 646f multifile.E...do │ │ │ │ -00000110: 635f 7461 675f 7469 746c 6584 4504 03a4 c_tag_title.E... │ │ │ │ -00000120: 656e 7375 7265 5f64 6f63 5f6f 626a 6563 ensure_doc_objec │ │ │ │ -00000130: 7473 8245 0403 a070 7265 645f 6564 6974 ts.E...pred_edit │ │ │ │ -00000140: 5f62 7574 746f 6e88 4504 0396 6f62 6a65 _button.E...obje │ │ │ │ -00000150: 6374 5f74 7265 658a 4504 0396 6d6f 6475 ct_tree.E...modu │ │ │ │ -00000160: 6c65 5f69 6e66 6f86 4504 0396 7a6f 6f6d le_info.E...zoom │ │ │ │ -00000170: 5f62 7574 746f 6e88 4504 039a 6f62 6a65 _button.E...obje │ │ │ │ -00000180: 6374 5f66 6f6f 7465 7288 4504 039e 7072 ct_footer.E...pr │ │ │ │ -00000190: 696e 745f 6874 6d6c 5f68 6561 6482 4504 int_html_head.E. │ │ │ │ -000001a0: 0398 646f 635f 666f 725f 6669 6c65 8445 ..doc_for_file.E │ │ │ │ -000001b0: 0403 8e6f 626a 6563 7473 8845 0403 8874 ...objects.E...t │ │ │ │ -000001c0: 6167 7386 4504 0394 6973 5f6f 705f 7479 ags.E...is_op_ty │ │ │ │ -000001d0: 7065 8445 0403 a06d 6f64 655f 616e 6368 pe.E...mode_anch │ │ │ │ -000001e0: 6f72 5f6e 616d 6584 4504 03a4 6f62 6a65 or_name.E...obje │ │ │ │ -000001f0: 6374 5f65 6469 745f 6275 7474 6f6e 8845 ct_edit_button.E │ │ │ │ -00000200: 0403 8866 696c 6588 4504 03a0 646f 635f ...file.E...doc_ │ │ │ │ -00000210: 6669 6c65 5f6f 626a 6563 7473 8a45 0403 file_objects.E.. │ │ │ │ -00000220: 966f 626a 6563 745f 7061 6765 8845 0403 .object_page.E.. │ │ │ │ -00000230: 926e 6f70 7265 6472 6566 8645 0403 a46f .nopredref.E...o │ │ │ │ -00000240: 626a 6563 745f 7061 6765 5f66 6f6f 7465 bject_page_foote │ │ │ │ -00000250: 7288 4504 039a 736f 7572 6365 5f62 7574 r.E...source_but │ │ │ │ -00000260: 746f 6e88 4504 0398 646f 635f 7061 6765 ton.E...doc_page │ │ │ │ -00000270: 5f64 6f6d 8645 0403 8874 6572 6d8a 4504 _dom.E...term.E. │ │ │ │ -00000280: 0394 6f62 6a65 6374 5f72 6566 8845 0400 ..object_ref.E.. │ │ │ │ -00000290: a386 4504 038a 6973 5f70 6982 4504 03a0 ..E...is_pi.E... │ │ │ │ -000002a0: 7072 6564 5f61 6e63 686f 725f 6e61 6d65 pred_anchor_name │ │ │ │ -000002b0: 8645 0403 a865 7869 7374 696e 675f 6c69 .E...existing_li │ │ │ │ -000002c0: 6e6b 6564 5f66 696c 6584 4504 03a8 6f62 nked_file.E...ob │ │ │ │ -000002d0: 6a65 6374 5f73 6f75 7263 655f 6275 7474 ject_source_butt │ │ │ │ -000002e0: 6f6e 8845 0403 8e70 7265 6472 6566 8845 on.E...predref.E │ │ │ │ -000002f0: 0403 8863 6974 6586 4504 03a4 6f62 6a65 ...cite.E...obje │ │ │ │ -00000300: 6374 5f70 6167 655f 6865 6164 6572 8845 ct_page_header.E │ │ │ │ -00000310: 0403 9665 6469 745f 6275 7474 6f6e 8845 ...edit_button.E │ │ │ │ -00000320: 0403 a264 6f63 5f66 6f72 5f77 696b 695f ...doc_for_wiki_ │ │ │ │ -00000330: 6669 6c65 8445 0403 9666 696c 655f 6865 file.E...file_he │ │ │ │ -00000340: 6164 6572 8845 0403 966f 626a 6563 745f ader.E...object_ │ │ │ │ -00000350: 6e61 6d65 8845 0403 8e70 7269 7661 7465 name.E...private │ │ │ │ -00000360: 8445 0403 8e69 6e63 6c75 6465 8a45 0403 .E...include.E.. │ │ │ │ -00000370: a075 6e71 756f 7465 5f66 696c 6573 7065 .unquote_filespe │ │ │ │ -00000380: 6384 4504 039a 646f 635f 7265 736f 7572 c.E...doc_resour │ │ │ │ -00000390: 6365 7386 4504 03a0 646f 635f 6869 6465 ces.E...doc_hide │ │ │ │ -000003a0: 5f70 7269 7661 7465 8645 0403 9e6f 626a _private.E...obj │ │ │ │ -000003b0: 6563 745f 7379 6e6f 7073 6973 8845 0400 ect_synopsis.E.. │ │ │ │ -000003c0: be86 4504 0396 6f62 6a65 6374 5f68 7265 ..E...object_hre │ │ │ │ -000003d0: 6684 4504 039c 646f 635f 7772 6974 655f f.E...doc_write_ │ │ │ │ -000003e0: 6874 6d6c 8645 0403 8e66 6c61 6772 6566 html.E...flagref │ │ │ │ -000003f0: 8658 4436 8180 7404 0382 3a84 0081 7404 .XD6..t...:...t. │ │ │ │ -00000400: 0394 7573 655f 6d6f 6475 6c65 8274 0400 ..use_module.t.. │ │ │ │ -00000410: 8282 7404 0382 2f84 0388 6874 7470 039a ..t.../...http.. │ │ │ │ -00000420: 6874 7470 5f64 6973 7061 7463 6844 3881 http_dispatchD8. │ │ │ │ -00000430: 8074 00de 0081 7400 e074 00e2 7400 e300 .t....t..t..t... │ │ │ │ -00000440: e503 9868 7474 705f 7772 6170 7065 7244 ...http_wrapperD │ │ │ │ -00000450: 3a81 8074 00de 0081 7400 e074 00e2 7400 :..t....t..t..t. │ │ │ │ -00000460: e300 e503 8c6a 7175 6572 7950 0403 9870 .....jqueryP...p │ │ │ │ -00000470: 6c64 6f63 5f73 6572 7665 7282 8043 df09 ldoc_server..C.. │ │ │ │ -00000480: 7503 2681 2f62 7569 6c64 2f72 6570 726f u.&./build/repro │ │ │ │ -00000490: 6475 6369 626c 652d 7061 7468 2f73 7769 ducible-path/swi │ │ │ │ -000004a0: 2d70 726f 6c6f 672d 392e 302e 342b 6466 -prolog-9.0.4+df │ │ │ │ -000004b0: 7367 2f62 7569 6c64 2f68 6f6d 652f 6c69 sg/build/home/li │ │ │ │ -000004c0: 6272 6172 792f 706c 646f 632f 646f 635f brary/pldoc/doc_ │ │ │ │ -000004d0: 6874 6d6c 2e70 6c00 0080 0f95 f4d8 4100 html.pl.......A. │ │ │ │ -000004e0: eb81 8181 8203 8874 7275 65c4 5844 5481 .......true.XDT. │ │ │ │ -000004f0: 8074 00de 0081 7400 e074 00e2 038a 6c69 .t....t..t....li │ │ │ │ -00000500: 7374 7344 5681 8074 00de 0081 7400 e074 stsDV..t....t..t │ │ │ │ -00000510: 00e2 038c 6f70 7469 6f6e 4458 8180 7400 ....optionDX..t. │ │ │ │ -00000520: de00 8174 00e0 7400 e203 8675 7269 445a ...t..t....uriDZ │ │ │ │ -00000530: 8180 7400 de00 8174 00e0 7400 e203 9072 ..t....t..t....r │ │ │ │ -00000540: 6561 6475 7469 6c44 5c81 8074 00de 0081 eadutilD\..t.... │ │ │ │ -00000550: 7400 e074 00e2 7400 e300 e503 9468 746d t..t..t......htm │ │ │ │ -00000560: 6c5f 7772 6974 6544 5e81 8074 00de 0081 l_writeD^..t.... │ │ │ │ -00000570: 7400 e074 00e2 7400 e300 e503 9268 7474 t..t..t......htt │ │ │ │ -00000580: 705f 7061 7468 4460 8180 7400 de00 8174 p_pathD`..t....t │ │ │ │ -00000590: 00e0 7400 e274 00e3 00e5 0392 6874 6d6c ..t..t......html │ │ │ │ -000005a0: 5f68 6561 6444 6281 8074 00de 0081 7400 _headDb..t....t. │ │ │ │ -000005b0: e074 00e2 7400 e300 e503 9274 6572 6d5f .t..t......term_ │ │ │ │ -000005c0: 6874 6d6c 4464 8180 7400 de00 8174 00e0 htmlDd..t....t.. │ │ │ │ -000005d0: 7400 e203 8a64 6562 7567 4466 8180 7400 t....debugDf..t. │ │ │ │ -000005e0: de00 8174 00e0 7400 e203 8a61 7070 6c79 ...t..t....apply │ │ │ │ -000005f0: 4468 8180 7400 de00 8174 00e0 7400 e203 Dh..t....t..t... │ │ │ │ -00000600: 8a70 6169 7273 446a 8180 7400 de00 8174 .pairsDj..t....t │ │ │ │ -00000610: 00e0 7400 e203 8e66 696c 6573 6578 446c ..t....filesexDl │ │ │ │ -00000620: 8180 7400 de00 8174 00e0 0396 646f 635f ..t....t....doc_ │ │ │ │ -00000630: 7072 6f63 6573 7344 6e81 8074 00de 0081 processDn..t.... │ │ │ │ -00000640: 7400 e003 8e64 6f63 5f6d 616e 4470 8180 t....doc_manDp.. │ │ │ │ -00000650: 7400 de00 8174 00e0 0392 646f 635f 6d6f t....t....doc_mo │ │ │ │ -00000660: 6465 7344 7281 8074 00de 0081 7400 e003 desDr..t....t... │ │ │ │ -00000670: 9064 6f63 5f77 696b 6944 7481 8074 00de .doc_wikiDt..t.. │ │ │ │ -00000680: 0081 7400 e003 9464 6f63 5f73 6561 7263 ..t....doc_searc │ │ │ │ -00000690: 6844 7681 8074 00de 0081 7400 e003 9264 hDv..t....t....d │ │ │ │ -000006a0: 6f63 5f69 6e64 6578 4478 8180 7400 de00 oc_indexDx..t... │ │ │ │ -000006b0: 8174 00e0 0390 646f 635f 7574 696c 447a .t....doc_utilDz │ │ │ │ -000006c0: 8180 7400 de00 8174 00e0 7400 e203 a473 ..t....t..t....s │ │ │ │ -000006d0: 6f6c 7574 696f 6e5f 7365 7175 656e 6365 olution_sequence │ │ │ │ -000006e0: 7344 7c81 8074 00de 0081 7400 e074 00e2 sD|..t....t..t.. │ │ │ │ -000006f0: 038a 6572 726f 7244 7e81 8074 00de 0081 ..errorD~..t.... │ │ │ │ -00000700: 7400 e074 00e2 038c 6f63 6375 7273 4400 t..t....occursD. │ │ │ │ -00000710: 8280 7400 de00 8174 00e0 7400 e203 9a70 ..t....t..t....p │ │ │ │ -00000720: 726f 6c6f 675f 736f 7572 6365 4402 8280 rolog_sourceD... │ │ │ │ -00000730: 7400 de00 8174 00e0 7400 e203 9670 726f t....t..t....pro │ │ │ │ -00000740: 6c6f 675f 7872 6566 4f00 8304 0392 2469 log_xrefO.....$i │ │ │ │ -00000750: 6e63 6c75 6465 6488 8343 0381 00eb 00eb ncluded..C...... │ │ │ │ -00000760: 8484 8182 00ec 0182 0682 8203 2081 2f62 ............ ./b │ │ │ │ -00000770: 7569 6c64 2f72 6570 726f 6475 6369 626c uild/reproducibl │ │ │ │ -00000780: 652d 7061 7468 2f73 7769 2d70 726f 6c6f e-path/swi-prolo │ │ │ │ -00000790: 672d 392e 302e 342b 6466 7367 2f62 7569 g-9.0.4+dfsg/bui │ │ │ │ -000007a0: 6c64 2f68 6f6d 652f 6c69 6272 6172 792f ld/home/library/ │ │ │ │ -000007b0: 706c 646f 632f 686f 6f6b 732e 706c 8700 pldoc/hooks.pl.. │ │ │ │ -000007c0: 0080 0f95 f4d8 41c4 5844 c680 7400 de00 ......A.XD..t... │ │ │ │ -000007d0: 8174 0400 8582 7404 0382 2c84 7400 de03 .t....t...,.t... │ │ │ │ -000007e0: 8c70 726f 6c6f 6774 00e3 03a4 646f 635f .prologt....doc_ │ │ │ │ -000007f0: 6f62 6a65 6374 5f73 756d 6d61 7279 0688 object_summary.. │ │ │ │ -00000800: 7400 0a81 7400 de00 0c81 7404 0384 2f2f t...t.....t...// │ │ │ │ -00000810: 8403 9e64 6f63 5f6f 626a 6563 745f 7061 ...doc_object_pa │ │ │ │ -00000820: 6765 0684 7400 0a81 7400 de00 0c81 7400 ge..t...t.....t. │ │ │ │ -00000830: 0e81 0398 646f 635f 6e61 765f 7472 6565 ....doc_nav_tree │ │ │ │ -00000840: 0684 7400 0a81 7400 de00 0c81 7400 0e81 ..t...t.....t... │ │ │ │ -00000850: 039e 646f 635f 6f62 6a65 6374 5f6c 696e ..doc_object_lin │ │ │ │ -00000860: 6b06 8474 000a 8174 00de 000c 8174 00e3 k..t...t.....t.. │ │ │ │ -00000870: 0398 646f 635f 6361 7465 676f 7279 0686 ..doc_category.. │ │ │ │ -00000880: 7400 0a81 7400 de00 0c81 7400 0e81 03aa t...t.....t..... │ │ │ │ -00000890: 646f 635f 6669 6c65 5f69 6e64 6578 5f68 doc_file_index_h │ │ │ │ -000008a0: 6561 6465 7206 8474 000a 8174 00de 000c eader..t...t.... │ │ │ │ -000008b0: 8174 00e3 03a0 646f 635f 6f62 6a65 6374 .t....doc_object │ │ │ │ -000008c0: 5f74 6974 6c65 0684 7400 0a81 7400 de00 _title..t...t... │ │ │ │ -000008d0: 0c81 7400 e303 9e64 6f63 5f6f 626a 6563 ..t....doc_objec │ │ │ │ -000008e0: 745f 6872 6566 0684 7400 0a81 7400 de00 t_href..t...t... │ │ │ │ -000008f0: 0c81 7400 e303 a864 6f63 5f63 616e 6f6e ..t....doc_canon │ │ │ │ -00000900: 6963 616c 5f6f 626a 6563 7406 8474 000a ical_object..t.. │ │ │ │ -00000910: 8174 00de 000c 8174 000e 8103 a064 6f63 .t.....t.....doc │ │ │ │ -00000920: 5f73 6561 7263 685f 6669 656c 6406 8274 _search_field..t │ │ │ │ -00000930: 000a 8174 00de 000c 8174 000e 8103 9e64 ...t.....t.....d │ │ │ │ -00000940: 6f63 5f70 6c61 6365 735f 6d65 6e75 0682 oc_places_menu.. │ │ │ │ -00000950: 7400 0a81 7400 de00 0c81 7400 e303 9a64 t...t.....t....d │ │ │ │ -00000960: 6f63 5f64 6972 6563 746f 7279 0682 7400 oc_directory..t. │ │ │ │ -00000970: 0a81 7400 de00 0c81 7400 0e81 03a2 646f ..t.....t.....do │ │ │ │ -00000980: 635f 6f62 6a65 6374 5f66 6f6f 7465 7206 c_object_footer. │ │ │ │ -00000990: 8474 000a 8174 00de 000c 8174 000e 8103 .t...t.....t.... │ │ │ │ -000009a0: ac64 6f63 5f6f 626a 6563 745f 7061 6765 .doc_object_page │ │ │ │ -000009b0: 5f66 6f6f 7465 7206 8474 000a 8174 00de _footer..t...t.. │ │ │ │ -000009c0: 000c 8174 000e 8103 9e64 6f63 5f70 6167 ...t.....doc_pag │ │ │ │ -000009d0: 655f 6865 6164 6572 0684 7400 0a81 7400 e_header..t...t. │ │ │ │ -000009e0: de00 0c81 7400 0e81 0392 646f 635f 6c69 ....t.....doc_li │ │ │ │ -000009f0: 6e6b 7306 8474 00de 000c 8174 000e 8103 nks..t.....t.... │ │ │ │ -00000a00: 9c64 6f63 5f66 696c 655f 7469 746c 6506 .doc_file_title. │ │ │ │ -00000a10: 8650 0403 8c24 706c 646f 6388 8043 0681 .P...$pldoc..C.. │ │ │ │ -00000a20: 00eb 00eb 8484 818f 0403 8c6d 6f64 756c ...........modul │ │ │ │ -00000a30: 6582 8203 a450 6c44 6f63 2048 544d 4c20 e....PlDoc HTML │ │ │ │ -00000a40: 6261 636b 656e 6493 8f00 de82 00ec 0182 backend......... │ │ │ │ -00000a50: 0c82 9382 0024 818a 7083 422f 2a2a 203c .....$..p.B/** < │ │ │ │ -00000a60: 6d6f 6475 6c65 3e20 506c 446f 6320 4854 module> PlDoc HT │ │ │ │ -00000a70: 4d4c 2062 6163 6b65 6e64 0a0a 5468 6973 ML backend..This │ │ │ │ -00000a80: 2020 6d6f 6475 6c65 2020 7472 616e 736c module transl │ │ │ │ -00000a90: 6174 6573 2020 7468 6520 2048 6572 6272 ates the Herbr │ │ │ │ -00000aa0: 616e 6420 2020 7465 726d 2020 6672 6f6d and term from │ │ │ │ -00000ab0: 2020 7468 6520 2064 6f63 756d 656e 7461 the documenta │ │ │ │ -00000ac0: 7469 6f6e 0a65 7874 7261 6374 696e 6720 tion.extracting │ │ │ │ -00000ad0: 6d6f 6475 6c65 2064 6f63 5f77 696b 692e module doc_wiki. │ │ │ │ -00000ae0: 706c 2069 6e74 6f20 4854 4d4c 2b43 5353 pl into HTML+CSS │ │ │ │ -00000af0: 2e0a 0a40 7462 6420 2020 2053 706c 6974 ...@tbd Split │ │ │ │ -00000b00: 2070 7574 2067 656e 6572 6174 696f 6e20 put generation │ │ │ │ -00000b10: 6672 6f6d 2063 6f6d 7075 7461 7469 6f6e from computation │ │ │ │ -00000b20: 2061 7320 636f 6d70 7574 6174 696f 6e20 as computation │ │ │ │ -00000b30: 6973 2072 6575 7361 626c 650a 0969 6e20 is reusable..in │ │ │ │ -00000b40: 6f74 6865 7220 6261 636b 656e 6473 2e0a other backends.. │ │ │ │ -00000b50: 2a2f c458 441e 8280 7400 de00 8174 0403 */.XD...t....t.. │ │ │ │ -00000b60: 8c70 7562 6c69 6382 7400 0a81 7400 0e81 .public.t...t... │ │ │ │ -00000b70: 0388 6172 6773 0682 7400 0a81 7400 0e81 ..args..t...t... │ │ │ │ -00000b80: 038e 7072 6564 5f64 7406 8674 000a 8174 ..pred_dt..t...t │ │ │ │ -00000b90: 000e 8103 8e73 6563 7469 6f6e 0684 7400 .....section..t. │ │ │ │ -00000ba0: 0e81 0386 7461 6706 844f 03a2 7072 6564 ....tag..O..pred │ │ │ │ -00000bb0: 6963 6174 655f 6f70 7469 6f6e 7304 0396 icate_options... │ │ │ │ -00000bc0: 6f70 7469 6f6e 5f64 6563 6c86 8043 1681 option_decl..C.. │ │ │ │ -00000bd0: 00eb 00eb 8383 818f 00c5 9382 0081 0182 ................ │ │ │ │ -00000be0: 84c4 5844 2c82 8074 00de 0081 7400 0981 ..XD,..t....t... │ │ │ │ -00000bf0: 7400 de00 8174 00e3 0398 2470 7265 645f t....t....$pred_ │ │ │ │ -00000c00: 6f70 7469 6f6e 0688 5004 002e 8188 8043 option..P......C │ │ │ │ -00000c10: 1681 00eb 00eb 8585 808f 00c5 938f 0403 ................ │ │ │ │ -00000c20: 8865 6469 7482 8203 8e62 6f6f 6c65 616e .edit....boolean │ │ │ │ -00000c30: 938f 0030 818e 8893 bdc7 81ca 8000 3281 ...0..........2. │ │ │ │ -00000c40: c882 88cd 0504 03aa 7072 6564 6963 6174 ........predicat │ │ │ │ -00000c50: 655f 6f70 7469 6f6e 5f74 7970 6584 0a00 e_option_type... │ │ │ │ -00000c60: 8100 8281 9500 3281 a288 c000 3381 c358 ......2.....3..X │ │ │ │ -00000c70: 4f00 2b81 002c 8180 4319 8100 eb00 eb83 O.+..,..C....... │ │ │ │ -00000c80: 8381 8f00 d393 8200 8101 8286 c458 4432 .............XD2 │ │ │ │ -00000c90: 8280 7400 de00 8174 0009 8174 00de 0081 ..t....t...t.... │ │ │ │ -00000ca0: 7400 e300 2e81 0688 5000 2f81 8043 1981 t.......P./..C.. │ │ │ │ -00000cb0: 00eb 00eb 8585 808f 00d3 938f 0022 8182 .............".. │ │ │ │ -00000cc0: 0388 6174 6f6d 938f 0022 818e 8893 bdc7 ..atom..."...... │ │ │ │ -00000cd0: 81ca 8000 3781 c882 88cd 0033 8100 8281 ....7......3.... │ │ │ │ -00000ce0: 9500 3781 a288 c000 3381 c343 1981 00eb ..7.....3..C.... │ │ │ │ -00000cf0: 00eb 8585 808f 00d3 938f 0025 8182 0388 ...........%.... │ │ │ │ -00000d00: 6c69 7374 938f 0025 818e 8893 bdc7 81ca list...%........ │ │ │ │ -00000d10: 8000 3881 c882 88cd 0033 8100 8281 9500 ..8......3...... │ │ │ │ -00000d20: 3881 a288 c000 3381 c343 1981 00eb 00eb 8.....3..C...... │ │ │ │ -00000d30: 8585 808f 00d3 938f 0403 9670 7562 6c69 ...........publi │ │ │ │ -00000d40: 635f 6f6e 6c79 8282 0032 8193 8f00 3981 c_only...2....9. │ │ │ │ -00000d50: 8e88 93bd c781 ca80 0032 81c8 8288 cd00 .........2...... │ │ │ │ -00000d60: 3381 0082 8195 0032 81a2 88c0 0033 81c3 3......2.....3.. │ │ │ │ -00000d70: 584f 002b 8100 2c81 8043 1b81 00eb 00eb XO.+..,..C...... │ │ │ │ -00000d80: 8383 818f 00c3 9382 0081 0182 84c4 5844 ..............XD │ │ │ │ -00000d90: 3682 8074 00de 0081 7400 0981 7400 de00 6..t....t...t... │ │ │ │ -00000da0: 8174 00e3 002e 8106 8850 002f 8180 431b .t.......P./..C. │ │ │ │ -00000db0: 8100 eb00 eb85 8580 8f00 c393 8f00 3081 ..............0. │ │ │ │ -00000dc0: 8200 3281 938f 0030 818e 8893 bdc7 81ca ..2....0........ │ │ │ │ -00000dd0: 8000 3281 c882 88cd 0033 8100 8281 9500 ..2......3...... │ │ │ │ -00000de0: 3281 a288 c000 3381 c358 4f00 2b81 002c 2.....3..XO.+.., │ │ │ │ -00000df0: 8180 431e 8100 eb00 eb83 8381 8f00 a293 ..C............. │ │ │ │ -00000e00: 8200 8101 8284 c458 443c 8280 7400 de00 .......XD<..t... │ │ │ │ -00000e10: 8174 0009 8174 00de 0081 7400 e300 2e81 .t...t....t..... │ │ │ │ -00000e20: 0688 5000 2f81 8043 1e81 00eb 00eb 8585 ..P./..C........ │ │ │ │ -00000e30: 808f 00a2 938f 0403 8a6c 6162 656c 8282 .........label.. │ │ │ │ -00000e40: 0386 616e 7993 8f00 3b81 8e88 93bd c781 ..any...;....... │ │ │ │ -00000e50: ca80 003d 81c8 8288 cd00 3381 0082 8195 ...=......3..... │ │ │ │ -00000e60: 003d 81a2 88c0 0033 81c3 431e 8100 eb00 .=.....3..C..... │ │ │ │ -00000e70: eb85 8580 8f00 a293 8f04 039a 6162 736f ............abso │ │ │ │ -00000e80: 6c75 7465 5f70 6174 6882 8200 3781 938f lute_path...7... │ │ │ │ -00000e90: 003e 818e 8893 bdc7 81ca 8000 3781 c882 .>..........7... │ │ │ │ -00000ea0: 88cd 0033 8100 8281 9500 3781 a288 c000 ...3......7..... │ │ │ │ -00000eb0: 3381 c343 1e81 00eb 00eb 8585 808f 00a2 3..C............ │ │ │ │ -00000ec0: 938f 0403 8868 7265 6682 8200 3781 938f .....href...7... │ │ │ │ -00000ed0: 0040 818e 8893 bdc7 81ca 8000 3781 c882 .@..........7... │ │ │ │ -00000ee0: 88cd 0033 8100 8281 9500 3781 a288 c000 ...3......7..... │ │ │ │ -00000ef0: 3381 c343 1e81 00eb 00eb 8585 808f 00a2 3..C............ │ │ │ │ -00000f00: 938f 0403 9a6d 6170 5f65 7874 656e 7369 .....map_extensi │ │ │ │ -00000f10: 6f6e 8282 0038 8193 8f00 4281 8e88 93bd on...8....B..... │ │ │ │ -00000f20: c781 ca80 0038 81c8 8288 cd00 3381 0082 .....8......3... │ │ │ │ -00000f30: 8195 0038 81a2 88c0 0033 81c3 431e 8100 ...8.....3..C... │ │ │ │ -00000f40: eb00 eb85 8580 8f00 a293 8f04 038a 6669 ..............fi │ │ │ │ -00000f50: 6c65 7382 8200 3881 938f 0044 818e 8893 les...8....D.... │ │ │ │ -00000f60: bdc7 81ca 8000 3881 c882 88cd 0033 8100 ......8......3.. │ │ │ │ -00000f70: 8281 9500 3881 a288 c000 3381 c343 1e81 ....8.....3..C.. │ │ │ │ -00000f80: 00eb 00eb 8585 808f 00a2 938f 0403 9865 ...............e │ │ │ │ -00000f90: 6469 745f 6861 6e64 6c65 7282 8200 3781 dit_handler...7. │ │ │ │ -00000fa0: 938f 0046 818e 8893 bdc7 81ca 8000 3781 ...F..........7. │ │ │ │ -00000fb0: c882 88cd 0033 8100 8281 9500 3781 a288 .....3......7... │ │ │ │ -00000fc0: c000 3381 c358 4f00 2b81 002c 8180 4326 ..3..XO.+..,..C& │ │ │ │ -00000fd0: 8100 eb00 eb83 8381 8f00 c793 8200 8101 ................ │ │ │ │ -00000fe0: 8284 c458 444c 8280 7400 de00 8174 0009 ...XDL..t....t.. │ │ │ │ -00000ff0: 8174 00de 0081 7400 e300 2e81 0688 5000 .t....t.......P. │ │ │ │ -00001000: 2f81 8043 2681 00eb 00eb 8585 808f 00c7 /..C&........... │ │ │ │ -00001010: 938f 0030 8182 0032 8193 8f00 3081 8e88 ...0...2....0... │ │ │ │ -00001020: 93bd c781 ca80 0032 81c8 8288 cd00 3381 .......2......3. │ │ │ │ -00001030: 0082 8195 0032 81a2 88c0 0033 81c3 4326 .....2.....3..C& │ │ │ │ -00001040: 8100 eb00 eb85 8580 8f00 c793 8f00 4481 ..............D. │ │ │ │ -00001050: 8200 3881 938f 0044 818e 8893 bdc7 81ca ..8....D........ │ │ │ │ -00001060: 8000 3881 c882 88cd 0033 8100 8281 9500 ..8......3...... │ │ │ │ -00001070: 3881 a288 c000 3381 c343 2681 00eb 00eb 8.....3..C&..... │ │ │ │ -00001080: 8585 808f 00c7 938f 0039 8182 0032 8193 .........9...2.. │ │ │ │ -00001090: 8f00 3981 8e88 93bd c781 ca80 0032 81c8 ..9..........2.. │ │ │ │ -000010a0: 8288 cd00 3381 0082 8195 0032 81a2 88c0 ....3......2.... │ │ │ │ -000010b0: 0033 81c3 584f 002b 8100 2c81 8043 2b81 .3..XO.+..,..C+. │ │ │ │ -000010c0: 00eb 00eb 8383 818f 00cd 9382 0081 0182 ................ │ │ │ │ -000010d0: 86c4 5844 5682 8074 00de 0081 7400 0981 ..XDV..t....t... │ │ │ │ -000010e0: 7400 de00 8174 00e3 002e 8106 8850 002f t....t.......P./ │ │ │ │ -000010f0: 8180 432b 8100 eb00 eb85 8580 8f00 cd93 ..C+............ │ │ │ │ -00001100: 8f00 3e81 8200 3781 938f 003e 818e 8893 ..>...7....>.... │ │ │ │ -00001110: bdc7 81ca 8000 3781 c882 88cd 0033 8100 ......7......3.. │ │ │ │ -00001120: 8281 9500 3781 a288 c000 3381 c343 2b81 ....7.....3..C+. │ │ │ │ -00001130: 00eb 00eb 8585 808f 00cd 938f 0403 8a63 ...............c │ │ │ │ -00001140: 6c61 7373 8282 0037 8193 8f00 4881 8e88 lass...7....H... │ │ │ │ -00001150: 93bd c781 ca80 0037 81c8 8288 cd00 3381 .......7......3. │ │ │ │ -00001160: 0082 8195 0037 81a2 88c0 0033 81c3 432b .....7.....3..C+ │ │ │ │ -00001170: 8100 eb00 eb85 8580 8f00 cd93 8f00 4481 ..............D. │ │ │ │ -00001180: 8200 3881 938f 0044 818e 8893 bdc7 81ca ..8....D........ │ │ │ │ -00001190: 8000 3881 c882 88cd 0033 8100 8281 9500 ..8......3...... │ │ │ │ -000011a0: 3881 a288 c000 3381 c343 2b81 00eb 00eb 8.....3..C+..... │ │ │ │ -000011b0: 8585 808f 00cd 938f 0040 8182 0037 8193 .........@...7.. │ │ │ │ -000011c0: 8f00 4081 8e88 93bd c781 ca80 0037 81c8 ..@..........7.. │ │ │ │ -000011d0: 8288 cd00 3381 0082 8195 0037 81a2 88c0 ....3......7.... │ │ │ │ -000011e0: 0033 81c3 432b 8100 eb00 eb85 8580 8f00 .3..C+.......... │ │ │ │ -000011f0: cd93 8f00 3b81 8200 3d81 938f 003b 818e ....;...=....;.. │ │ │ │ -00001200: 8893 bdc7 81ca 8000 3d81 c882 88cd 0033 ........=......3 │ │ │ │ -00001210: 8100 8281 9500 3d81 a288 c000 3381 c343 ......=.....3..C │ │ │ │ -00001220: 2b81 00eb 00eb 8585 808f 00cd 938f 0042 +..............B │ │ │ │ -00001230: 8182 0038 8193 8f00 4281 8e88 93bd c781 ...8....B....... │ │ │ │ -00001240: ca80 0038 81c8 8288 cd00 3381 0082 8195 ...8......3..... │ │ │ │ -00001250: 0038 81a2 88c0 0033 81c3 584f 002b 8100 .8.....3..XO.+.. │ │ │ │ -00001260: 2c81 8043 3381 00eb 00eb 8383 818f 00a0 ,..C3........... │ │ │ │ -00001270: 9382 0081 0182 84c4 5844 6682 8074 00de ........XDf..t.. │ │ │ │ -00001280: 0081 7400 0981 7400 de00 8174 00e3 002e ..t...t....t.... │ │ │ │ -00001290: 8106 8850 002f 8180 4333 8100 eb00 eb85 ...P./..C3...... │ │ │ │ -000012a0: 8580 8f00 a093 8f00 3081 8200 3281 938f ........0...2... │ │ │ │ -000012b0: 0030 818e 8893 bdc7 81ca 8000 3281 c882 .0..........2... │ │ │ │ -000012c0: 88cd 0033 8100 8281 9500 3281 a288 c000 ...3......2..... │ │ │ │ -000012d0: 3381 c343 3381 00eb 00eb 8485 808f 00a0 3..C3........... │ │ │ │ -000012e0: 938f 0403 8e70 6173 735f 746f 848f 000e .....pass_to.... │ │ │ │ -000012f0: 8182 008b 0182 8493 0182 8493 bdd8 8881 ................ │ │ │ │ -00001300: b504 0382 2d84 b500 e395 008b 0282 88b9 ....-........... │ │ │ │ -00001310: 0282 84b9 a286 bf05 0403 926d 656d 6265 ...........membe │ │ │ │ -00001320: 7263 686b 840a 0083 e388 e700 8281 b500 rchk............ │ │ │ │ -00001330: de95 0081 b600 8ab4 b4b4 b4b9 a1b7 b500 ................ │ │ │ │ -00001340: 4c81 b500 e395 008b 0282 88b9 0282 84b9 L............... │ │ │ │ -00001350: 9e86 b9c2 0a00 2b81 0504 0396 7072 6564 ......+.....pred │ │ │ │ -00001360: 5f6f 7074 696f 6e86 0052 81c3 584f 002b _option..R..XO.+ │ │ │ │ -00001370: 8100 2c81 8043 3781 00eb 00eb 8383 818f ..,..C7......... │ │ │ │ -00001380: 00a6 9382 0081 0182 84c4 5844 6e82 8074 ..........XDn..t │ │ │ │ -00001390: 00de 0081 7400 0981 7400 de00 8174 00e3 ....t...t....t.. │ │ │ │ -000013a0: 002e 8106 8850 002f 8180 4337 8100 eb00 .....P./..C7.... │ │ │ │ -000013b0: eb85 8580 8f00 a693 8f04 0386 666f 7282 ............for. │ │ │ │ -000013c0: 8200 3d81 938f 0056 818e 8893 bdc7 81ca ..=....V........ │ │ │ │ -000013d0: 8000 3d81 c882 88cd 0033 8100 8281 9500 ..=......3...... │ │ │ │ -000013e0: 3d81 a288 c000 3381 c343 3781 00eb 00eb =.....3..C7..... │ │ │ │ -000013f0: 8585 808f 00a6 938f 0403 8c68 6561 6465 ...........heade │ │ │ │ -00001400: 7282 8200 3281 938f 0058 818e 8893 bdc7 r...2....X...... │ │ │ │ -00001410: 81ca 8000 3281 c882 88cd 0033 8100 8281 ....2......3.... │ │ │ │ -00001420: 9500 3281 a288 c000 3381 c343 3781 00eb ..2.....3..C7... │ │ │ │ -00001430: 00eb 8585 808f 00a6 938f 0403 8a6c 696e .............lin │ │ │ │ -00001440: 6b73 8282 0032 8193 8f00 5a81 8e88 93bd ks...2....Z..... │ │ │ │ -00001450: c781 ca80 0032 81c8 8288 cd00 3381 0082 .....2......3... │ │ │ │ -00001460: 8195 0032 81a2 88c0 0033 81c3 4337 8100 ...2.....3..C7.. │ │ │ │ -00001470: eb00 eb85 8580 8f00 a693 8f04 0392 6e6f ..............no │ │ │ │ -00001480: 5f6d 616e 7561 6c82 8200 3281 938f 005c _manual...2....\ │ │ │ │ -00001490: 818e 8893 bdc7 81ca 8000 3281 c882 88cd ..........2..... │ │ │ │ -000014a0: 0033 8100 8281 9500 3281 a288 c000 3381 .3......2.....3. │ │ │ │ -000014b0: c343 3781 00eb 00eb 8585 808f 00a6 938f .C7............. │ │ │ │ -000014c0: 0403 9474 7279 5f6d 616e 7561 6c82 8200 ...try_manual... │ │ │ │ -000014d0: 3281 938f 005e 818e 8893 bdc7 81ca 8000 2....^.......... │ │ │ │ -000014e0: 3281 c882 88cd 0033 8100 8281 9500 3281 2......3......2. │ │ │ │ -000014f0: a288 c000 3381 c343 3781 00eb 00eb 8585 ....3..C7....... │ │ │ │ -00001500: 808f 00a6 938f 0403 9273 6561 7263 685f .........search_ │ │ │ │ -00001510: 696e 8290 0403 8a6f 6e65 6f66 8292 8203 in.....oneof.... │ │ │ │ -00001520: 8661 6c6c 9282 0386 6170 7092 8203 866d .all....app....m │ │ │ │ -00001530: 616e 8493 8f00 6081 8e88 93bd b500 6281 an....`.......b. │ │ │ │ -00001540: b895 0064 81b8 9500 6581 b895 0066 8197 ...d....e....f.. │ │ │ │ -00001550: b9a2 88c0 0033 81c3 4337 8100 eb00 eb85 .....3..C7...... │ │ │ │ -00001560: 8580 8f00 a693 8f04 0398 7365 6172 6368 ..........search │ │ │ │ -00001570: 5f6d 6174 6368 8290 0062 8192 8203 886e _match...b.....n │ │ │ │ -00001580: 616d 6592 8203 8e73 756d 6d61 7279 8493 ame....summary.. │ │ │ │ -00001590: 8f00 6781 8e88 93bd b500 6281 b895 0069 ..g.......b....i │ │ │ │ -000015a0: 81b8 9500 6a81 97b9 a288 c000 3381 c343 ....j.......3..C │ │ │ │ -000015b0: 3781 00eb 00eb 8585 808f 00a6 938f 0403 7............... │ │ │ │ -000015c0: 9c73 6561 7263 685f 6f70 7469 6f6e 7382 .search_options. │ │ │ │ -000015d0: 8200 3281 938f 006b 818e 8893 bdc7 81ca ..2....k........ │ │ │ │ -000015e0: 8000 3281 c882 88cd 0033 8100 8281 9500 ..2......3...... │ │ │ │ -000015f0: 3281 a288 c000 3381 c358 4f00 2b81 002c 2.....3..XO.+.., │ │ │ │ -00001600: 8180 4341 8100 eb00 eb83 8381 8f00 b293 ..CA............ │ │ │ │ -00001610: 8200 8101 8284 c458 4402 8380 7400 de00 .......XD...t... │ │ │ │ -00001620: 8174 0009 8174 00de 0081 7400 e300 2e81 .t...t....t..... │ │ │ │ -00001630: 0688 5000 2f81 8043 4181 00eb 00eb 8585 ..P./..CA....... │ │ │ │ -00001640: 808f 00b2 938f 0044 8182 0038 8193 8f00 .......D...8.... │ │ │ │ -00001650: 4481 8e88 93bd c781 ca80 0038 81c8 8288 D..........8.... │ │ │ │ -00001660: cd00 3381 0082 8195 0038 81a2 88c0 0033 ..3......8.....3 │ │ │ │ -00001670: 81c3 4341 8100 eb00 eb85 8580 8f00 b293 ..CA............ │ │ │ │ -00001680: 8f04 038e 7175 616c 6966 7982 8200 3281 ....qualify...2. │ │ │ │ -00001690: 938f 006d 818e 8893 bdc7 81ca 8000 3281 ...m..........2. │ │ │ │ -000016a0: c882 88cd 0033 8100 8281 9500 3281 a288 .....3......2... │ │ │ │ -000016b0: c000 3381 c343 4181 00eb 00eb 8585 808f ..3..CA......... │ │ │ │ -000016c0: 00b2 938f 0403 8a73 7479 6c65 8290 0062 .......style...b │ │ │ │ -000016d0: 8192 8203 8c6e 756d 6265 7292 8203 8a74 .....number....t │ │ │ │ -000016e0: 6974 6c65 9282 0398 6e75 6d62 6572 5f74 itle....number_t │ │ │ │ -000016f0: 6974 6c65 8493 8f00 6f81 8e88 93bd b500 itle....o....... │ │ │ │ -00001700: 6281 b895 0071 81b8 9500 7281 b895 0073 b....q....r....s │ │ │ │ -00001710: 8197 b9a2 88c0 0033 81c3 4341 8100 eb00 .......3..CA.... │ │ │ │ -00001720: eb85 8580 8f00 b293 8f04 0398 7365 6372 ............secr │ │ │ │ -00001730: 6566 5f73 7479 6c65 8290 0062 8192 8200 ef_style...b.... │ │ │ │ -00001740: 7181 9282 0072 8192 8200 7381 8493 8f00 q....r....s..... │ │ │ │ -00001750: 7481 8e88 93bd b500 6281 b895 0071 81b8 t.......b....q.. │ │ │ │ -00001760: 9500 7281 b895 0073 8197 b9a2 88c0 0033 ..r....s.......3 │ │ │ │ -00001770: 81c3 584f 002b 8100 2c81 8043 4781 00eb ..XO.+..,..CG... │ │ │ │ -00001780: 00eb 8383 818f 00d5 9382 0081 0182 84c4 ................ │ │ │ │ -00001790: 5844 0e83 8074 00de 0081 7400 0981 7400 XD...t....t...t. │ │ │ │ -000017a0: de00 8174 00e3 002e 8106 8850 002f 8180 ...t.......P./.. │ │ │ │ -000017b0: 4347 8100 eb00 eb85 8580 8f00 d593 8f00 CG.............. │ │ │ │ -000017c0: 4081 8200 3781 938f 0040 818e 8893 bdc7 @...7....@...... │ │ │ │ -000017d0: 81ca 8000 3781 c882 88cd 0033 8100 8281 ....7......3.... │ │ │ │ -000017e0: 9500 3781 a288 c000 3381 c358 4f00 2b81 ..7.....3..XO.+. │ │ │ │ -000017f0: 002c 8180 434a 8100 eb00 eb83 8381 8f04 .,..CJ.......... │ │ │ │ -00001800: 0028 818a 9382 0081 0182 86c4 5844 1483 .(..........XD.. │ │ │ │ -00001810: 8074 00de 0081 7400 0981 7400 de00 8174 .t....t...t....t │ │ │ │ -00001820: 00e3 002e 8106 8850 002f 8180 434a 8100 .......P./..CJ.. │ │ │ │ -00001830: eb00 eb85 8580 8f00 7681 938f 0030 8182 ........v....0.. │ │ │ │ -00001840: 0032 8193 8f00 3081 8e88 93bd c781 ca80 .2....0......... │ │ │ │ -00001850: 0032 81c8 8288 cd00 3381 0082 8195 0032 .2......3......2 │ │ │ │ -00001860: 81a2 88c0 0033 81c3 584f 002b 8100 2c81 .....3..XO.+..,. │ │ │ │ -00001870: 8043 4d81 00eb 00eb 8383 818f 008a 9382 .CM............. │ │ │ │ -00001880: 0081 0182 84c4 5844 1a83 8074 00de 0081 ......XD...t.... │ │ │ │ -00001890: 7400 0981 7400 de00 8174 00e3 002e 8106 t...t....t...... │ │ │ │ -000018a0: 8850 002f 8180 434d 8100 eb00 eb85 8580 .P./..CM........ │ │ │ │ -000018b0: 8f00 8a93 8f00 3081 8200 3281 938f 0030 ......0...2....0 │ │ │ │ -000018c0: 818e 8893 bdc7 81ca 8000 3281 c882 88cd ..........2..... │ │ │ │ -000018d0: 0033 8100 8281 9500 3281 a288 c000 3381 .3......2.....3. │ │ │ │ -000018e0: c358 4f00 2b81 002c 8180 4350 8100 eb00 .XO.+..,..CP.... │ │ │ │ -000018f0: eb83 8381 8f00 bd93 8200 8101 8284 c458 ...............X │ │ │ │ -00001900: 4420 8380 7400 de00 8174 0009 8174 00de D ..t....t...t.. │ │ │ │ -00001910: 0081 7400 e300 2e81 0688 5000 2f81 8043 ..t.......P./..C │ │ │ │ -00001920: 5081 00eb 00eb 8585 808f 00bd 938f 0044 P..............D │ │ │ │ -00001930: 8182 0038 8193 8f00 4481 8e88 93bd c781 ...8....D....... │ │ │ │ -00001940: ca80 0038 81c8 8288 cd00 3381 0082 8195 ...8......3..... │ │ │ │ -00001950: 0038 81a2 88c0 0033 81c3 4350 8100 eb00 .8.....3..CP.... │ │ │ │ -00001960: eb85 8580 8f00 bd93 8f04 038c 7072 6566 ............pref │ │ │ │ -00001970: 6572 8290 0062 8192 8203 8c6d 616e 7561 er...b.....manua │ │ │ │ -00001980: 6c92 8200 6581 8493 8f00 7781 8e88 93bd l...e.....w..... │ │ │ │ -00001990: b500 6281 b895 0079 81b8 9500 6581 97b9 ..b....y....e... │ │ │ │ -000019a0: a288 c000 3381 c343 5081 00eb 00eb 8485 ....3..CP....... │ │ │ │ -000019b0: 808f 00bd 938f 004a 818f 00e3 8200 b301 .......J........ │ │ │ │ -000019c0: 8288 9301 8284 93bd d888 81b5 004c 81b5 .............L.. │ │ │ │ -000019d0: 00e3 9500 b302 8288 b902 8284 b9a2 86bf ................ │ │ │ │ -000019e0: 004e 81e3 88e7 0082 81b5 00de 9500 81b6 .N.............. │ │ │ │ -000019f0: 00b2 b4b4 b4b4 b9a1 b7b5 004c 81b5 00e3 ...........L.... │ │ │ │ -00001a00: 9500 b302 8288 b902 8284 b99e 86b9 c200 ................ │ │ │ │ -00001a10: 5281 0053 81c3 584f 002b 8100 2c81 8043 R..S..XO.+..,..C │ │ │ │ -00001a20: 5581 00eb 00eb 8383 818f 00cb 9382 0081 U............... │ │ │ │ -00001a30: 0182 84c4 5844 2a83 8074 00de 0081 7400 ....XD*..t....t. │ │ │ │ -00001a40: 0981 7400 de00 8174 00e3 002e 8106 8850 ..t....t.......P │ │ │ │ -00001a50: 002f 8180 4355 8100 eb00 eb85 8580 8f00 ./..CU.......... │ │ │ │ -00001a60: cb93 8f00 2281 8200 3781 938f 0022 818e ...."...7....".. │ │ │ │ -00001a70: 8893 bdc7 81ca 8000 3781 c882 88cd 0033 ........7......3 │ │ │ │ -00001a80: 8100 8281 9500 3781 a288 c000 3381 c343 ......7.....3..C │ │ │ │ -00001a90: 5581 00eb 00eb 8585 808f 00cb 938f 0025 U..............% │ │ │ │ -00001aa0: 8182 0038 8193 8f00 2581 8e88 93bd c781 ...8....%....... │ │ │ │ -00001ab0: ca80 0038 81c8 8288 cd00 3381 0082 8195 ...8......3..... │ │ │ │ -00001ac0: 0038 81a2 88c0 0033 81c3 584f 002b 8100 .8.....3..XO.+.. │ │ │ │ -00001ad0: 2c81 8043 5981 00eb 00eb 8383 818f 00ac ,..CY........... │ │ │ │ -00001ae0: 9382 0081 0182 84c4 5844 3283 8074 00de ........XD2..t.. │ │ │ │ -00001af0: 0081 7400 0981 7400 de00 8174 00e3 002e ..t...t....t.... │ │ │ │ -00001b00: 8106 8850 002f 8180 4359 8100 eb00 eb85 ...P./..CY...... │ │ │ │ -00001b10: 8580 8f00 ac93 8f00 4481 8200 3881 938f ........D...8... │ │ │ │ -00001b20: 0044 818e 8893 bdc7 81ca 8000 3881 c882 .D..........8... │ │ │ │ -00001b30: 88cd 0033 8100 8281 9500 3881 a288 c000 ...3......8..... │ │ │ │ -00001b40: 3381 c358 4f00 f404 039a 6874 6d6c 5f72 3..XO.....html_r │ │ │ │ -00001b50: 6573 6f75 7263 6586 8043 6381 00eb 00eb esource..Cc..... │ │ │ │ -00001b60: 8383 8182 0392 706c 646f 635f 6373 738f ......pldoc_css. │ │ │ │ -00001b70: 00de 8200 ec01 8246 8393 918f 0403 8e76 .......F.......v │ │ │ │ -00001b80: 6972 7475 616c 8282 00ed 9392 8f04 0390 irtual.......... │ │ │ │ -00001b90: 7265 7175 6972 6573 8292 8f04 039c 706c requires......pl │ │ │ │ -00001ba0: 646f 635f 7265 736f 7572 6365 8282 0392 doc_resource.... │ │ │ │ -00001bb0: 706c 646f 632e 6373 7393 8493 8493 c443 pldoc.css......C │ │ │ │ -00001bc0: 6881 00eb 00eb 8383 818f 0001 8282 0390 h............... │ │ │ │ -00001bd0: 706c 646f 632e 6a73 938f 00de 8200 ec01 pldoc.js........ │ │ │ │ -00001be0: 8250 8393 918f 007f 8192 8200 e884 9384 .P.............. │ │ │ │ -00001bf0: 93c4 436c 8100 eb00 eb83 8381 8203 9070 ..Cl...........p │ │ │ │ -00001c00: 6c64 6f63 5f6a 738f 00de 8200 ec01 8258 ldoc_js........X │ │ │ │ -00001c10: 8393 918f 007d 8182 00ed 9392 8f00 7f81 .....}.......... │ │ │ │ -00001c20: 928f 0001 8282 0004 8293 8493 8493 c443 ...............C │ │ │ │ -00001c30: 7181 00eb 00eb 8383 8182 038a 706c 646f q...........pldo │ │ │ │ -00001c40: 638f 00de 8200 ec01 8262 8393 918f 007d c........b.....} │ │ │ │ -00001c50: 8182 00ed 9392 8f00 7f81 9282 007c 8192 .............|.. │ │ │ │ -00001c60: 8200 0582 8493 8493 c458 5004 038a 246d .........XP...$m │ │ │ │ -00001c70: 6f64 6584 8043 0382 00eb 00eb 8282 818f ode..C.......... │ │ │ │ -00001c80: 0096 8f04 0382 2b82 8200 3d81 9390 0009 ......+...=..... │ │ │ │ -00001c90: 8282 003d 8193 8203 8664 6574 c458 5000 ...=.....det.XP. │ │ │ │ -00001ca0: 2081 8043 0382 00eb 00eb 8484 818f 00e3 ..C............ │ │ │ │ -00001cb0: 8200 9701 8284 938f 00de 8200 ec01 8206 ................ │ │ │ │ -00001cc0: 8493 8af2 4248 5454 5020 6861 6e64 6c65 ....BHTTP handle │ │ │ │ -00001cd0: 7220 7468 6174 2077 7269 7465 7320 646f r that writes do │ │ │ │ -00001ce0: 6375 6d65 6e74 6174 696f 6e20 666f 7220 cumentation for │ │ │ │ -00001cf0: 4669 6c65 2061 7320 4854 4d4c 2e8a 6288 File as HTML..b. │ │ │ │ -00001d00: 4225 2120 2064 6f63 5f66 6f72 5f66 696c B%! doc_for_fil │ │ │ │ -00001d10: 6528 2b46 696c 652c 202b 4f70 7469 6f6e e(+File, +Option │ │ │ │ -00001d20: 7329 2069 7320 6465 740a 250a 2520 2020 s) is det.%.% │ │ │ │ -00001d30: 4854 5450 2020 6861 6e64 6c65 7220 2074 HTTP handler t │ │ │ │ -00001d40: 6861 7420 2077 7269 7465 7320 2064 6f63 hat writes doc │ │ │ │ -00001d50: 756d 656e 7461 7469 6f6e 2020 666f 7220 umentation for │ │ │ │ -00001d60: 2046 696c 6520 2061 7320 2048 544d 4c2e File as HTML. │ │ │ │ -00001d70: 0a25 2020 204f 7074 696f 6e73 3a0a 250a .% Options:.%. │ │ │ │ -00001d80: 2520 2020 2020 2020 2020 2020 2a20 7075 % * pu │ │ │ │ -00001d90: 626c 6963 5f6f 6e6c 7928 2b42 6f6f 6c29 blic_only(+Bool) │ │ │ │ -00001da0: 0a25 2020 2020 2020 2020 2020 2049 6620 .% If │ │ │ │ -00001db0: 3d74 7275 653d 2028 6465 6661 756c 7429 =true= (default) │ │ │ │ -00001dc0: 2c20 6f6e 6c79 2065 6d69 7420 646f 6375 , only emit docu │ │ │ │ -00001dd0: 6d65 6e74 6174 696f 6e20 666f 720a 2520 mentation for.% │ │ │ │ -00001de0: 2020 2020 2020 2020 2020 6578 706f 7274 export │ │ │ │ -00001df0: 6564 2070 7265 6469 6361 7465 732e 0a25 ed predicates..% │ │ │ │ -00001e00: 0a25 2020 2020 2020 2020 2020 202a 2065 .% * e │ │ │ │ -00001e10: 6469 7428 426f 6f6c 290a 2520 2020 2020 dit(Bool).% │ │ │ │ -00001e20: 2020 2020 2020 4966 203d 7472 7565 3d2c If =true=, │ │ │ │ -00001e30: 2070 726f 7669 6465 2065 6469 7420 6275 provide edit bu │ │ │ │ -00001e40: 7474 6f6e 732e 2044 6566 6175 6c74 2c20 ttons. Default, │ │ │ │ -00001e50: 7468 6573 6520 6275 7474 6f6e 730a 2520 these buttons.% │ │ │ │ -00001e60: 2020 2020 2020 2020 2020 6172 6520 7375 are su │ │ │ │ -00001e70: 7070 7265 7373 6564 2e0a 250a 2520 2020 ppressed..%.% │ │ │ │ -00001e80: 2020 2020 2020 2020 2a20 7469 746c 6528 * title( │ │ │ │ -00001e90: 2b54 6974 6c65 290a 2520 2020 2020 2020 +Title).% │ │ │ │ -00001ea0: 2020 2020 5370 6563 6966 7920 7468 6520 Specify the │ │ │ │ -00001eb0: 7061 6765 2074 6974 6c65 2e20 2044 6566 page title. Def │ │ │ │ -00001ec0: 6175 6c74 2069 7320 7468 6520 6261 7365 ault is the base │ │ │ │ -00001ed0: 206e 616d 6520 6f66 2074 6865 0a25 2020 name of the.% │ │ │ │ -00001ee0: 2020 2020 2020 2020 2066 696c 652e 0a25 file..% │ │ │ │ -00001ef0: 0a25 2020 2040 7061 7261 6d20 4669 6c65 .% @param File │ │ │ │ -00001f00: 2020 2020 2050 726f 6c6f 6720 6669 6c65 Prolog file │ │ │ │ -00001f10: 2073 7065 6369 6669 6361 7469 6f6e 206f specification o │ │ │ │ -00001f20: 7220 7872 6566 2073 6f75 7263 6520 6964 r xref source id │ │ │ │ -00001f30: 2ec4 5850 0096 8043 1682 00eb 00eb 8686 ..XP...C........ │ │ │ │ -00001f40: 80bd 9fb3 84b3 86b3 88a0 bf05 00a4 0036 ...............6 │ │ │ │ -00001f50: 81a1 b38a a288 a0bf 0504 001f 8188 0036 ...............6 │ │ │ │ -00001f60: 81b5 0400 0682 82b6 0400 a384 9e84 9e8a ................ │ │ │ │ -00001f70: b9b5 0400 7281 829e 8ab9 b504 0382 5c82 ....r.........\. │ │ │ │ -00001f80: b604 0396 7072 6f6c 6f67 5f66 696c 6588 ....prolog_file. │ │ │ │ -00001f90: 9e84 9e86 9e88 9e82 b9a0 c005 0403 9c64 ...............d │ │ │ │ -00001fa0: 6f63 5f77 7269 7465 5f70 6167 6588 0036 oc_write_page..6 │ │ │ │ -00001fb0: 81c3 5850 000e 8280 431f 8200 eb00 eb84 ..XP....C....... │ │ │ │ -00001fc0: 8480 bdb5 0011 829e 82b9 a286 bf05 0400 ................ │ │ │ │ -00001fd0: ef84 0a03 9473 7769 5f6f 7074 696f 6ed0 .....swi_option. │ │ │ │ -00001fe0: c343 2282 00eb 00eb 8686 80bd b500 1082 .C"............. │ │ │ │ -00001ff0: b288 b4b9 a1bf 004e 81d0 9fb3 8abf 0504 .......N........ │ │ │ │ -00002000: 039c 6669 6c65 5f62 6173 655f 6e61 6d65 ..file_base_name │ │ │ │ -00002010: 8400 3681 b79e 8ab8 9503 8820 2d2d 20b8 ..6........ -- . │ │ │ │ -00002020: 9e88 97b9 a0c0 0504 03a4 6174 6f6d 6963 ..........atomic │ │ │ │ -00002030: 5f6c 6973 745f 636f 6e63 6174 8400 3681 _list_concat..6. │ │ │ │ -00002040: c343 2782 00eb 00eb 8484 80bd c781 cd00 .C'............. │ │ │ │ -00002050: 1d82 0082 819f a0c0 001d 82c3 5844 5484 ............XDT. │ │ │ │ -00002060: 8074 00de 0081 7404 039c 6d65 7461 5f70 .t....t...meta_p │ │ │ │ -00002070: 7265 6469 6361 7465 8274 0017 8200 0a82 redicate.t...... │ │ │ │ -00002080: 00df 00df 000a 824f 00f2 0403 9c68 746d .......O.....htm │ │ │ │ -00002090: 6c5f 6d65 7461 5f68 6561 6486 8243 2a82 l_meta_head..C*. │ │ │ │ -000020a0: 00eb 00eb 8383 818f 0017 8293 8200 818f ................ │ │ │ │ -000020b0: 0017 8282 000a 8282 0388 6874 6d6c 8200 ..........html.. │ │ │ │ -000020c0: 2882 8200 0a82 93c4 5850 0017 8280 432c (.......XP....C, │ │ │ │ -000020d0: 8200 eb00 eb85 8580 bdb5 0044 81b4 b9a2 ...........D.... │ │ │ │ -000020e0: 86bf 0019 82d0 b504 0388 7061 6765 869e ..........page.. │ │ │ │ -000020f0: 809e 829e 84b9 b388 bf05 0403 8c70 6872 .............phr │ │ │ │ -00002100: 6173 6584 0a03 8824 6463 67c7 81c8 8088 ase....$dcg..... │ │ │ │ -00002110: cd05 0403 9470 7269 6e74 5f68 746d 6c82 .....print_html. │ │ │ │ -00002120: 0a00 f200 8281 a288 c000 3082 c343 3182 ..........0..C1. │ │ │ │ -00002130: 00eb 00eb 8484 80bd c781 cd05 0403 9e72 ...............r │ │ │ │ -00002140: 6570 6c79 5f68 746d 6c5f 7061 6765 8600 eply_html_page.. │ │ │ │ -00002150: 3382 0082 819f a0a1 c000 3482 c358 446a 3.........4..XDj │ │ │ │ -00002160: 8480 7400 de00 8174 0403 986e 6f6e 5f74 ..t....t...non_t │ │ │ │ -00002170: 6572 6d69 6e61 6c82 7400 de00 8174 00e3 erminal.t....t.. │ │ │ │ -00002180: 0015 8206 8c50 0400 1582 8c80 4335 8200 .....P......C5.. │ │ │ │ -00002190: eb00 eb89 8980 bd95 0394 706c 646f 635f ..........pldoc_ │ │ │ │ -000021a0: 6669 6c65 9fbf 0504 0390 625f 7365 7476 file......b_setv │ │ │ │ -000021b0: 616c 8400 3681 9fb3 8cbf 0504 03a6 6669 al..6.........fi │ │ │ │ -000021c0: 6c65 5f64 6972 6563 746f 7279 5f6e 616d le_directory_nam │ │ │ │ -000021d0: 6584 0036 81a8 8e88 b7b5 0012 82b6 0400 e..6............ │ │ │ │ -000021e0: d282 9e86 b9b8 b500 1282 b604 001e 8184 ................ │ │ │ │ -000021f0: 9e8c 9e84 b9b8 b500 1282 b604 00c8 849e ................ │ │ │ │ -00002200: 809e 84b9 b600 1282 b604 0099 849e 829e ................ │ │ │ │ -00002210: 84b9 a28e b390 bf05 0400 2882 8600 3382 ..........(...3. │ │ │ │ -00002220: c781 c886 90c8 888a cd05 0403 9875 6e64 .............und │ │ │ │ -00002230: 6f63 756d 656e 7465 648a 0036 8100 8281 ocumented..6.... │ │ │ │ -00002240: 9fa0 a1a2 90a2 8ac0 0047 82c3 5850 0007 .........G..XP.. │ │ │ │ -00002250: 8280 4340 8200 eb00 eb82 8281 8f00 d18f ..C@............ │ │ │ │ -00002260: 0009 8282 003d 8193 8f04 0382 3f82 8200 .....=......?... │ │ │ │ -00002270: 3881 9390 004a 8282 0038 8193 8200 0b82 8....J...8...... │ │ │ │ -00002280: c458 5000 2081 8043 4082 00eb 00eb 8484 .XP. ..C@....... │ │ │ │ -00002290: 818f 000e 8182 00d2 0182 8293 8f00 de82 ................ │ │ │ │ -000022a0: 00ec 0182 0085 938a ec42 496e 636c 7564 .........BInclud │ │ │ │ -000022b0: 6520 7265 7175 6972 6564 2072 6573 6f75 e required resou │ │ │ │ -000022c0: 7263 6573 2028 4353 532c 204a 5329 2069 rces (CSS, JS) i │ │ │ │ -000022d0: 6e74 6f20 7468 6520 6f75 7470 7574 2e8a nto the output.. │ │ │ │ -000022e0: 3e82 4225 2120 2064 6f63 5f72 6573 6f75 >.B%! doc_resou │ │ │ │ -000022f0: 7263 6573 282b 4f70 7469 6f6e 7329 2f2f rces(+Options)// │ │ │ │ -00002300: 2069 7320 6465 742e 0a25 0a25 2020 2049 is det..%.% I │ │ │ │ -00002310: 6e63 6c75 6465 2072 6571 7569 7265 6420 nclude required │ │ │ │ -00002320: 7265 736f 7572 6365 7320 2843 5353 2c20 resources (CSS, │ │ │ │ -00002330: 4a53 2920 696e 746f 2020 7468 6520 6f75 JS) into the ou │ │ │ │ -00002340: 7470 7574 2e20 5468 6520 6669 7273 740a tput. The first. │ │ │ │ -00002350: 2520 2020 636c 6175 7365 2073 7570 706f % clause suppo │ │ │ │ -00002360: 7274 7320 646f 635f 6669 6c65 732e 706c rts doc_files.pl │ │ │ │ -00002370: 2e20 4120 6269 7420 6861 636b 7920 2e2e . A bit hacky .. │ │ │ │ -00002380: 2ec4 5850 00d1 8043 4582 00eb 00eb 8888 ..XP...CE....... │ │ │ │ -00002390: 80bd b504 03a4 7265 736f 7572 6365 5f64 ......resource_d │ │ │ │ -000023a0: 6972 6563 746f 7279 82b2 86b9 9fbf 0019 irectory........ │ │ │ │ -000023b0: 8295 0398 706c 646f 635f 6f75 7470 7574 ....pldoc_output │ │ │ │ -000023c0: b388 bf05 0403 946e 625f 6375 7272 656e .......nb_curren │ │ │ │ -000023d0: 7484 0036 81d0 a286 9500 0382 b38a bf05 t..6............ │ │ │ │ -000023e0: 0403 a664 6972 6563 746f 7279 5f66 696c ...directory_fil │ │ │ │ -000023f0: 655f 7061 7468 860a 0390 6669 6c65 735f e_path....files_ │ │ │ │ -00002400: 6578 a28a a288 b38c bf05 0403 a472 656c ex...........rel │ │ │ │ -00002410: 6174 6976 655f 6669 6c65 5f6e 616d 6586 ative_file_name. │ │ │ │ -00002420: 0055 82a8 8e82 c781 c880 8cc8 828e cd05 .U.............. │ │ │ │ -00002430: 0403 9a68 746d 6c5f 7265 7175 6972 6573 ...html_requires │ │ │ │ -00002440: 860a 00f4 0082 81a2 8ca2 8ea1 c000 5a82 ..............Z. │ │ │ │ -00002450: c343 4d82 00eb 00eb 8585 80bd b504 039c .CM............. │ │ │ │ -00002460: 6874 6d6c 5f72 6573 6f75 7263 6573 82b2 html_resources.. │ │ │ │ -00002470: 86b9 9f95 0006 82bf 0504 00ef 8600 1b82 ................ │ │ │ │ -00002480: a888 82c7 81c8 8086 c882 88cd 005a 8200 .............Z.. │ │ │ │ -00002490: 8281 a286 a288 a1c0 005a 82c3 5850 0007 .........Z..XP.. │ │ │ │ -000024a0: 8280 4353 8200 eb00 eb82 8281 8f00 a48f ..CS............ │ │ │ │ -000024b0: 0009 8282 003d 8193 8f04 004d 8182 8200 .....=.....M.... │ │ │ │ -000024c0: 3d81 938f 0062 8282 003d 8193 8f00 6282 =....b...=....b. │ │ │ │ -000024d0: 8200 3d81 9390 0009 8282 003d 8193 8200 ..=........=.... │ │ │ │ -000024e0: 0b82 c458 5000 2081 8043 5382 00eb 00eb ...XP. ..CS..... │ │ │ │ -000024f0: 8484 818f 00e3 8200 a501 828a 938f 00de ................ │ │ │ │ -00002500: 8200 ec01 8226 8593 8a08 8142 4578 7472 .....&.....BExtr │ │ │ │ -00002510: 6163 7473 2072 656c 6576 616e 7420 696e acts relevant in │ │ │ │ -00002520: 666f 726d 6174 696f 6e20 666f 7220 4669 formation for Fi │ │ │ │ -00002530: 6c65 5370 6563 2066 726f 6d20 7468 6520 leSpec from the │ │ │ │ -00002540: 506c 446f 6320 6461 7461 6261 7365 2e8a PlDoc database.. │ │ │ │ -00002550: 4e8e 4225 2120 2064 6f63 5f66 696c 655f N.B%! doc_file_ │ │ │ │ -00002560: 6f62 6a65 6374 7328 2b46 696c 6553 7065 objects(+FileSpe │ │ │ │ -00002570: 632c 202d 4669 6c65 2c20 2d4f 626a 6563 c, -File, -Objec │ │ │ │ -00002580: 7473 2c20 2d46 696c 654f 7074 696f 6e73 ts, -FileOptions │ │ │ │ -00002590: 2c20 2b4f 7074 696f 6e73 2920 6973 2064 , +Options) is d │ │ │ │ -000025a0: 6574 2e0a 250a 2520 2020 4578 7472 6163 et..%.% Extrac │ │ │ │ -000025b0: 7473 2020 7265 6c65 7661 6e74 2020 696e ts relevant in │ │ │ │ -000025c0: 666f 726d 6174 696f 6e20 2066 6f72 2020 formation for │ │ │ │ -000025d0: 4669 6c65 5370 6563 2020 6672 6f6d 2020 FileSpec from │ │ │ │ -000025e0: 7468 6520 2050 6c44 6f63 0a25 2020 2064 the PlDoc.% d │ │ │ │ -000025f0: 6174 6162 6173 652e 2020 4669 6c65 4f70 atabase. FileOp │ │ │ │ -00002600: 7469 6f6e 7320 636f 6e74 6169 6e73 3a0a tions contains:. │ │ │ │ -00002610: 250a 2520 2020 2020 2020 2020 2020 2a20 %.% * │ │ │ │ -00002620: 6669 6c65 2854 6974 6c65 3a73 7472 696e file(Title:strin │ │ │ │ -00002630: 672c 2043 6f6d 6d65 6e74 3a73 7472 696e g, Comment:strin │ │ │ │ -00002640: 6729 0a25 2020 2020 2020 2020 2020 202a g).% * │ │ │ │ -00002650: 206d 6f64 756c 6528 4d6f 6475 6c65 3a61 module(Module:a │ │ │ │ -00002660: 746f 6d29 0a25 2020 2020 2020 2020 2020 tom).% │ │ │ │ -00002670: 202a 2070 7562 6c69 6328 5075 626c 6963 * public(Public │ │ │ │ -00002680: 3a6c 6973 7428 7072 6564 6963 6174 655f :list(predicate_ │ │ │ │ -00002690: 696e 6469 6361 746f 7229 0a25 0a25 2020 indicator).%.% │ │ │ │ -000026a0: 204f 626a 6563 7473 2063 6f6e 7461 696e Objects contain │ │ │ │ -000026b0: 730a 250a 2520 2020 2020 2020 2020 2020 s.%.% │ │ │ │ -000026c0: 2a20 646f 6328 5049 3a70 7265 6469 6361 * doc(PI:predica │ │ │ │ -000026d0: 7465 5f69 6e64 6963 6174 6f72 2c20 4669 te_indicator, Fi │ │ │ │ -000026e0: 6c65 3a4c 696e 652c 2043 6f6d 6d65 6e74 le:Line, Comment │ │ │ │ -000026f0: 290a 250a 2520 2020 5765 2064 6973 7469 ).%.% We disti │ │ │ │ -00002700: 6e67 7569 7368 2074 6872 6565 2064 6966 nguish three dif │ │ │ │ -00002710: 6665 7265 6e74 2073 7461 7465 7320 666f ferent states fo │ │ │ │ -00002720: 7220 4669 6c65 5370 6563 3a0a 250a 2520 r FileSpec:.%.% │ │ │ │ -00002730: 2020 2020 312e 2046 696c 6520 7761 7320 1. File was │ │ │ │ -00002740: 6372 6f73 732d 7265 6665 7265 6e63 6564 cross-referenced │ │ │ │ -00002750: 2077 6974 6820 636f 6c6c 6563 7469 6f6e with collection │ │ │ │ -00002760: 2065 6e61 626c 6564 2e20 2041 6c6c 0a25 enabled. All.% │ │ │ │ -00002770: 2020 2020 2020 2020 696e 666f 726d 6174 informat │ │ │ │ -00002780: 696f 6e20 6973 2069 6e20 7468 6520 7872 ion is in the xr │ │ │ │ -00002790: 6566 2064 6174 6162 6173 652e 0a25 2020 ef database..% │ │ │ │ -000027a0: 2020 2032 2e20 4669 6c65 2077 6173 206c 2. File was l │ │ │ │ -000027b0: 6f61 6465 642e 2049 6620 636f 6d6d 656e oaded. If commen │ │ │ │ -000027c0: 7473 2061 7265 206e 6f74 206c 6f61 6465 ts are not loade │ │ │ │ -000027d0: 642c 0a25 2020 2020 2020 2020 6372 6f73 d,.% cros │ │ │ │ -000027e0: 732d 7265 6665 7265 6e63 6520 7468 6520 s-reference the │ │ │ │ -000027f0: 6669 6c65 2c20 7768 696c 6520 5f73 746f file, while _sto │ │ │ │ -00002800: 7269 6e67 5f20 7468 6520 636f 6d6d 656e ring_ the commen │ │ │ │ -00002810: 7473 0a25 2020 2020 2020 2020 6173 2074 ts.% as t │ │ │ │ -00002820: 6865 2063 6f6d 7069 6c65 7220 776f 756c he compiler woul │ │ │ │ -00002830: 6420 646f 2e0a 2520 2020 2020 332e 204e d do..% 3. N │ │ │ │ -00002840: 6569 7468 6572 206f 6620 7468 6520 6162 either of the ab │ │ │ │ -00002850: 6f76 652e 2020 496e 2074 6869 7320 6361 ove. In this ca │ │ │ │ -00002860: 7365 2077 6520 6372 6f73 732d 7265 6665 se we cross-refe │ │ │ │ -00002870: 7265 6e63 6520 7468 650a 2520 2020 2020 rence the.% │ │ │ │ -00002880: 2020 2066 696c 652e 0a25 0a25 2020 2040 file..%.% @ │ │ │ │ -00002890: 7061 7261 6d20 4669 6c65 5370 6563 2046 param FileSpec F │ │ │ │ -000028a0: 696c 6520 7370 6563 6966 6963 6174 696f ile specificatio │ │ │ │ -000028b0: 6e20 6173 2075 7365 6420 666f 7220 6c6f n as used for lo │ │ │ │ -000028c0: 6164 5f66 696c 6573 2f32 2e0a 2520 2020 ad_files/2..% │ │ │ │ -000028d0: 4070 6172 616d 2046 696c 6520 2020 2020 @param File │ │ │ │ -000028e0: 5072 6f6c 6f67 2063 616e 6f6e 6963 616c Prolog canonical │ │ │ │ -000028f0: 2066 696c 656e 616d 65c4 5850 00a4 8043 filename.XP...C │ │ │ │ -00002900: 6d82 00eb 00eb 8787 80bd 9fbf 0504 03a6 m............... │ │ │ │ -00002910: 7872 6566 5f63 7572 7265 6e74 5f73 6f75 xref_current_sou │ │ │ │ -00002920: 7263 6582 0a00 0581 9fb5 0403 9063 6f6d rce..........com │ │ │ │ -00002930: 6d65 6e74 7382 9503 8e63 6f6c 6c65 6374 ments....collect │ │ │ │ -00002940: b9bf 0504 0396 7872 6566 5f6f 7074 696f ......xref_optio │ │ │ │ -00002950: 6e84 0066 82d0 a982 80b3 8ab5 0403 9e78 n..f...........x │ │ │ │ -00002960: 7265 665f 646f 635f 6f62 6a65 6374 849e ref_doc_object.. │ │ │ │ -00002970: 829e 8ab9 b38c bf05 0403 8e66 696e 6461 ...........finda │ │ │ │ -00002980: 6c6c 860a 038a 2462 6167 73c7 81c8 8082 ll....$bags..... │ │ │ │ -00002990: c882 8ccd 0504 03a4 7265 706c 795f 6669 ........reply_fi │ │ │ │ -000029a0: 6c65 5f6f 626a 6563 7473 8a00 3681 0082 le_objects..6... │ │ │ │ -000029b0: 81a0 a28c a1a2 86a2 88c0 0074 82c3 4374 ...........t..Ct │ │ │ │ -000029c0: 8200 eb00 eb8d 8d80 bd9f a0b7 b504 0392 ................ │ │ │ │ -000029d0: 6669 6c65 5f74 7970 6582 9500 0c81 b9b8 file_type....... │ │ │ │ -000029e0: b504 038c 6163 6365 7373 8295 0388 7265 ....access....re │ │ │ │ -000029f0: 6164 b997 b9bf 0504 03a4 6162 736f 6c75 ad........absolu │ │ │ │ -00002a00: 7465 5f66 696c 655f 6e61 6d65 8600 3681 te_file_name..6. │ │ │ │ -00002a10: a0bf 0504 0396 736f 7572 6365 5f66 696c ......source_fil │ │ │ │ -00002a20: 6582 0036 81d0 a0bf 0500 8800 3681 a38a e..6........6... │ │ │ │ -00002a30: b500 de9e 82b2 8cb9 a5b5 004c 819e 8cb6 ...........L.... │ │ │ │ -00002a40: 0403 8664 6f63 86b2 8e9e 8ab2 90b9 b504 ...doc.......... │ │ │ │ -00002a50: 0396 646f 635f 636f 6d6d 656e 7488 9e8e ..doc_comment... │ │ │ │ -00002a60: 9e8a b49e 90b9 b392 bf00 6f82 a292 b394 ..........o..... │ │ │ │ -00002a70: bf05 0403 8873 6f72 7484 0051 81a2 94b3 .....sort..Q.... │ │ │ │ -00002a80: 96bf 0504 038e 6b65 7973 6f72 7484 0051 ......keysort..Q │ │ │ │ -00002a90: 81a2 96b3 98bf 0504 0398 7061 6972 735f ..........pairs_ │ │ │ │ -00002aa0: 7661 6c75 6573 840a 00f8 c781 c880 82c8 values.......... │ │ │ │ -00002ab0: 8298 cd00 7482 0082 81a0 a298 a1a2 86a2 ....t........... │ │ │ │ -00002ac0: 88c0 0074 82c3 4303 8300 eb00 eb87 8780 ...t..C......... │ │ │ │ -00002ad0: bd9f a0b7 b500 7782 9500 0c81 b9b8 b500 ......w......... │ │ │ │ -00002ae0: 7982 9500 7b82 b997 b9bf 007c 82a0 b7b5 y...{......|.... │ │ │ │ -00002af0: 0403 8c73 696c 656e 7482 9500 edb9 97b9 ...silent....... │ │ │ │ -00002b00: bf05 0403 9678 7265 665f 736f 7572 6365 .....xref_source │ │ │ │ -00002b10: 8400 6682 b38a b500 6d82 9e82 9e8a b9b3 ..f.....m....... │ │ │ │ -00002b20: 8cbf 006f 82c7 81c8 8082 c882 8ccd 0074 ...o...........t │ │ │ │ -00002b30: 8200 8281 a0a2 8ca1 a286 a288 c000 7482 ..............t. │ │ │ │ -00002b40: c358 5000 7582 8043 0d83 00eb 00eb 8989 .XP.u..C........ │ │ │ │ -00002b50: 80bd 9fb3 8aa2 88bf 0500 8e00 3681 a0b3 ............6... │ │ │ │ -00002b60: 8ca2 86a2 8abf 0504 0392 6669 6c65 5f69 ..........file_i │ │ │ │ -00002b70: 6e66 6f88 0036 81a2 8cb3 8ea2 8abf 0500 nfo..6.......... │ │ │ │ -00002b80: d300 3681 a28e b390 9fa2 86bf 0504 03a4 ..6............. │ │ │ │ -00002b90: 696e 636c 7564 655f 7265 6578 706f 7274 include_reexport │ │ │ │ -00002ba0: 6564 8800 3681 c781 c880 90c8 8284 cb84 ed..6........... │ │ │ │ -00002bb0: cd05 0403 aa72 656d 6f76 655f 646f 635f .....remove_doc_ │ │ │ │ -00002bc0: 6475 706c 6963 6174 6573 8600 3681 0082 duplicates..6... │ │ │ │ -00002bd0: 81a2 90a1 97c0 001e 83c3 5850 001f 8380 ..........XP.... │ │ │ │ -00002be0: 4314 8300 eb00 eb83 8381 8484 c443 1583 C............C.. │ │ │ │ -00002bf0: 00eb 00eb 8788 8094 8688 918d 868e 8a93 ................ │ │ │ │ -00002c00: bda4 868f 0003 838c 848e 8c93 a5d8 8e81 ................ │ │ │ │ -00002c10: a28c a1bf 004e 81e3 8ee7 0082 81d0 a288 .....N.......... │ │ │ │ -00002c20: a28a b79e 8c9e 84b9 c000 1e83 c343 1a83 .............C.. │ │ │ │ -00002c30: 00eb 00eb 8484 8091 8b8e 8693 bdc7 81c8 ................ │ │ │ │ -00002c40: 8086 ce00 8281 a286 a0a1 c000 1e83 c358 ...............X │ │ │ │ -00002c50: 5000 1c83 8043 1d83 00eb 00eb 8888 80bd P....C.......... │ │ │ │ -00002c60: b504 001d 8382 9500 edb9 a286 bf00 1982 ................ │ │ │ │ -00002c70: b500 2281 b288 b9a2 86bf 0019 82b5 0025 .."............% │ │ │ │ -00002c80: 81b2 8ab9 a286 bf00 1982 a28a a288 9fb3 ................ │ │ │ │ -00002c90: 8cbf 0504 03a6 7365 6c65 6374 5f75 6e64 ......select_und │ │ │ │ -00002ca0: 6f63 756d 656e 7465 6488 0036 81a2 8ca1 ocumented..6.... │ │ │ │ -00002cb0: a288 b38e b4bf 0504 039e 7265 5f65 7870 ..........re_exp │ │ │ │ -00002cc0: 6f72 7465 645f 646f 638a 0036 81af 8e01 orted_doc..6.... │ │ │ │ -00002cd0: d09f a28e a0c0 0504 038c 6170 7065 6e64 ..........append │ │ │ │ -00002ce0: 860a 00ee c343 2683 00eb 00eb 8484 818b .....C&......... │ │ │ │ -00002cf0: 8d80 c458 5000 0782 8043 2983 00eb 00eb ...XP....C)..... │ │ │ │ -00002d00: 8282 818f 006d 828f 004a 8282 003d 8193 .....m...J...=.. │ │ │ │ -00002d10: 9000 4a82 8200 3d81 9382 038c 6e6f 6e64 ..J...=.....nond │ │ │ │ -00002d20: 6574 c458 5000 2081 8043 2983 00eb 00eb et.XP. ..C)..... │ │ │ │ -00002d30: 8484 818f 00e3 8200 6e82 0182 8493 8f00 ........n....... │ │ │ │ -00002d40: de82 00ec 0182 5286 938a 8242 8ae0 4225 ......R....B..B% │ │ │ │ -00002d50: 2120 2078 7265 665f 646f 635f 6f62 6a65 ! xref_doc_obje │ │ │ │ -00002d60: 6374 2846 696c 652c 2044 6f63 4f62 6a65 ct(File, DocObje │ │ │ │ -00002d70: 6374 2920 6973 206e 6f6e 6465 742e c458 ct) is nondet..X │ │ │ │ -00002d80: 5000 6d82 8043 2b83 00eb 00eb 8585 808b P.m..C+......... │ │ │ │ -00002d90: 8f00 0383 8f00 de8e 8490 0022 818e 8693 ...........".... │ │ │ │ -00002da0: 8f00 de8d 8001 8280 938e 8893 bd9f a286 ................ │ │ │ │ -00002db0: a288 bf05 0403 9878 7265 665f 636f 6d6d .......xref_comm │ │ │ │ -00002dc0: 656e 7486 0066 82c7 81c8 8284 cd05 0403 ent..f.......... │ │ │ │ -00002dd0: 9678 7265 665f 6d6f 6475 6c65 8400 6682 .xref_module..f. │ │ │ │ -00002de0: 0082 819f a1c0 0030 83c3 432e 8300 eb00 .......0..C..... │ │ │ │ -00002df0: eb89 8980 8b8f 0003 838f 00de 8e84 9000 ................ │ │ │ │ -00002e00: e38e 868e 8893 8f00 de8d 8001 8280 938e ................ │ │ │ │ -00002e10: 8a93 bd9f b38c b4a2 8abf 0504 002f 8388 ............./.. │ │ │ │ -00002e20: 0066 829f b38e bf00 3083 b500 de9e 8e9e .f......0....... │ │ │ │ -00002e30: 8cb9 a1b3 90bf 0504 0398 7374 7269 705f ..........strip_ │ │ │ │ -00002e40: 6d6f 6475 6c65 8600 3681 c781 c880 90c8 module..6....... │ │ │ │ -00002e50: 8286 c884 88cd 0504 038e 6675 6e63 746f ..........functo │ │ │ │ -00002e60: 7286 0051 8100 8281 a290 a286 a288 c000 r..Q............ │ │ │ │ -00002e70: 3883 c358 5000 0782 8043 3483 00eb 00eb 8..XP....C4..... │ │ │ │ -00002e80: 8282 818f 0088 9000 0982 8200 3d81 9382 ............=... │ │ │ │ -00002e90: 000b 82c4 5850 0020 8180 4334 8300 eb00 ....XP. ..C4.... │ │ │ │ -00002ea0: eb84 8481 8f00 e382 0089 0182 8293 8f00 ................ │ │ │ │ -00002eb0: de82 00ec 0182 6886 938a d242 456e 7375 ......h....BEnsu │ │ │ │ -00002ec0: 7265 2077 6520 6861 7665 2064 6f63 756d re we have docum │ │ │ │ -00002ed0: 656e 7461 7469 6f6e 2061 626f 7574 2046 entation about F │ │ │ │ -00002ee0: 696c 652e 8a16 8542 2521 2020 656e 7375 ile....B%! ensu │ │ │ │ -00002ef0: 7265 5f64 6f63 5f6f 626a 6563 7473 282b re_doc_objects(+ │ │ │ │ -00002f00: 4669 6c65 2920 6973 2064 6574 2e0a 250a File) is det..%. │ │ │ │ -00002f10: 2520 2020 456e 7375 7265 2077 6520 6861 % Ensure we ha │ │ │ │ -00002f20: 7665 2064 6f63 756d 656e 7461 7469 6f6e ve documentation │ │ │ │ -00002f30: 2061 626f 7574 2046 696c 652e 2020 4966 about File. If │ │ │ │ -00002f40: 2077 6520 6861 7665 206e 6f20 636f 6d6d we have no comm │ │ │ │ -00002f50: 656e 7473 0a25 2020 2066 6f72 2074 6865 ents.% for the │ │ │ │ -00002f60: 2066 696c 6520 6265 6361 7573 6520 6974 file because it │ │ │ │ -00002f70: 2077 6173 206c 6f61 6465 6420 6265 666f was loaded befo │ │ │ │ -00002f80: 7265 2063 6f6d 6d65 6e74 2063 6f6c 6c65 re comment colle │ │ │ │ -00002f90: 6374 696f 6e20 7761 730a 2520 2020 656e ction was.% en │ │ │ │ -00002fa0: 6162 6c65 642c 2072 756e 2074 6865 2063 abled, run the c │ │ │ │ -00002fb0: 726f 7373 2d72 6566 6572 656e 6365 7220 ross-referencer │ │ │ │ -00002fc0: 6f6e 2069 7420 2074 6f20 636f 6c6c 6563 on it to collec │ │ │ │ -00002fd0: 7420 7468 6520 636f 6d6d 656e 7473 0a25 t the comments.% │ │ │ │ -00002fe0: 2020 2061 6e64 206d 6574 612d 696e 666f and meta-info │ │ │ │ -00002ff0: 726d 6174 696f 6e2e 0a25 0a25 2020 2040 rmation..%.% @ │ │ │ │ -00003000: 7061 7261 6d20 4669 6c65 2069 7320 6120 param File is a │ │ │ │ -00003010: 6361 6e6f 6e69 6361 6c20 6669 6c65 6e61 canonical filena │ │ │ │ -00003020: 6d65 2074 6861 7420 6973 206c 6f61 6465 me that is loade │ │ │ │ -00003030: 642e c458 447a 8680 7400 de00 8174 0403 d..XDz..t....t.. │ │ │ │ -00003040: 8e64 796e 616d 6963 8274 00e3 0396 6e6f .dynamic.t....no │ │ │ │ -00003050: 5f63 6f6d 6d65 6e74 7306 8450 0088 8043 _comments..P...C │ │ │ │ -00003060: 4083 00eb 00eb 8285 80bd 9fbf 007f 82d0 @............... │ │ │ │ -00003070: d984 819f bf05 0403 aa64 6f63 5f66 696c .........doc_fil │ │ │ │ -00003080: 655f 6861 735f 636f 6d6d 656e 7473 820a e_has_comments.. │ │ │ │ -00003090: 039a 706c 646f 635f 7072 6f63 6573 73e3 ..pldoc_process. │ │ │ │ -000030a0: 84e9 dc82 d182 0082 81d9 8683 9fb3 82bf ................ │ │ │ │ -000030b0: 0504 003d 8384 0036 819f a0bf 0504 0392 ...=...6........ │ │ │ │ -000030c0: 7469 6d65 5f66 696c 6584 0036 81e3 86e9 time_file..6.... │ │ │ │ -000030d0: d182 0082 839f b7b5 0011 8395 00ed b9b8 ................ │ │ │ │ -000030e0: b500 6782 9503 8a73 746f 7265 b997 b9bf ..g....store.... │ │ │ │ -000030f0: 0013 83b5 0044 839e 80b4 b9bf 0504 0394 .....D.......... │ │ │ │ -00003100: 7265 7472 6163 7461 6c6c 8200 5181 d988 retractall..Q... │ │ │ │ -00003110: 849f bf00 3e83 e388 e9dc 82d1 8200 8284 ....>........... │ │ │ │ -00003120: 9fb3 82bf 0045 83b5 0044 839e 809e 82b9 .....E...D...... │ │ │ │ -00003130: c005 0403 8e61 7373 6572 747a 8200 5181 .....assertz..Q. │ │ │ │ -00003140: 0082 82c3 4350 8300 eb00 eb81 8180 bd9f ....CP.......... │ │ │ │ -00003150: b7b5 0011 8395 00ed b997 b9c0 0013 83c3 ................ │ │ │ │ -00003160: 5850 0007 8280 4353 8300 eb00 eb82 8281 XP....CS........ │ │ │ │ -00003170: 8f00 8e8f 0009 8282 003d 8193 8f00 6282 .........=....b. │ │ │ │ -00003180: 8200 3d81 9390 0009 8282 003d 8193 8200 ..=........=.... │ │ │ │ -00003190: 0b82 c458 5000 2081 8043 5383 00eb 00eb ...XP. ..CS..... │ │ │ │ -000031a0: 8484 818f 00e3 8200 8f01 8286 938f 00de ................ │ │ │ │ -000031b0: 8200 ec01 8226 8793 8a28 8142 4164 6420 .....&...(.BAdd │ │ │ │ -000031c0: 6f70 7469 6f6e 7320 6d6f 6475 6c65 284e options module(N │ │ │ │ -000031d0: 616d 6529 2c20 7075 626c 6963 2845 7870 ame), public(Exp │ │ │ │ -000031e0: 6f72 7473 2920 746f 204f 7468 6572 4f70 orts) to OtherOp │ │ │ │ -000031f0: 7469 6f6e 7320 6966 2046 696c 6520 6973 tions if File is │ │ │ │ -00003200: 2061 206d 6f64 756c 6520 6669 6c65 2e8a a module file.. │ │ │ │ -00003210: 4082 4225 2120 206d 6f64 756c 655f 696e @.B%! module_in │ │ │ │ -00003220: 666f 282b 4669 6c65 2c20 2d4d 6f64 756c fo(+File, -Modul │ │ │ │ -00003230: 654f 7074 696f 6e73 2c20 2b4f 7468 6572 eOptions, +Other │ │ │ │ -00003240: 4f70 7469 6f6e 7329 2069 7320 6465 742e Options) is det. │ │ │ │ -00003250: 0a25 0a25 2020 2041 6464 206f 7074 696f .%.% Add optio │ │ │ │ -00003260: 6e73 206d 6f64 756c 6528 4e61 6d65 292c ns module(Name), │ │ │ │ -00003270: 2020 7075 626c 6963 2845 7870 6f72 7473 public(Exports │ │ │ │ -00003280: 2920 2020 746f 2020 4f74 6865 724f 7074 ) to OtherOpt │ │ │ │ -00003290: 696f 6e73 2069 660a 2520 2020 4669 6c65 ions if.% File │ │ │ │ -000032a0: 2069 7320 6120 6d6f 6475 6c65 2066 696c is a module fil │ │ │ │ -000032b0: 652e c458 5000 8e80 4358 8300 eb00 eb86 e..XP...CX...... │ │ │ │ -000032c0: 8680 8b91 8f00 2281 8e86 9392 8f00 2581 ......".......%. │ │ │ │ -000032d0: 8e88 938e 8a93 8d8a bda2 86b5 0400 a382 ................ │ │ │ │ -000032e0: 9e80 b9bf 0504 039e 6d6f 6475 6c65 5f70 ........module_p │ │ │ │ -000032f0: 726f 7065 7274 7984 0036 81d0 a286 b504 roperty..6...... │ │ │ │ -00003300: 038e 6578 706f 7274 7382 9e88 b9c0 0050 ..exports......P │ │ │ │ -00003310: 83c3 435c 8300 eb00 eb87 8780 8b91 8f00 ..C\............ │ │ │ │ -00003320: 2281 8e86 9392 8f00 2581 8e88 938e 8a93 ".......%....... │ │ │ │ -00003330: 8d8a bd9f a286 bf00 3083 d0b3 8cb5 0403 ........0....... │ │ │ │ -00003340: a078 7265 665f 6578 706f 7274 6564 5f70 .xref_exported_p │ │ │ │ -00003350: 6984 9e80 9e8c b9a2 88c0 006f 82c3 4360 i..........o..C` │ │ │ │ -00003360: 8300 eb00 eb83 8381 8c84 8d82 c458 5000 .............XP. │ │ │ │ -00003370: 5583 8043 6283 00eb 00eb 8585 808b 8f00 U..Cb........... │ │ │ │ -00003380: e38e 848e 8693 bd9f b388 bf05 0403 9a78 ...............x │ │ │ │ -00003390: 7265 665f 6578 706f 7274 6564 8400 6682 ref_exported..f. │ │ │ │ -000033a0: c781 c880 88c8 8284 c884 86cd 0038 8300 .............8.. │ │ │ │ -000033b0: 8281 a288 a1a2 86c0 0038 83c3 5850 0007 .........8..XP.. │ │ │ │ -000033c0: 8280 4366 8300 eb00 eb82 8281 8f00 d38f ..Cf............ │ │ │ │ -000033d0: 0009 8282 003d 8193 8f00 0982 8200 3d81 .....=........=. │ │ │ │ -000033e0: 9390 0009 8282 003d 8193 8203 8e75 6e6b .......=.....unk │ │ │ │ -000033f0: 6e6f 776e c458 5000 2081 8043 6683 00eb nown.XP. ..Cf... │ │ │ │ -00003400: 00eb 8484 818f 00e3 8200 d401 8286 938f ................ │ │ │ │ -00003410: 00de 8200 ec01 824c 8793 8af6 4252 656d .......L....BRem │ │ │ │ -00003420: 6f76 6520 7468 6520 7072 6976 6174 6520 ove the private │ │ │ │ -00003430: 6f62 6a65 6374 7320 6672 6f6d 204f 626a objects from Obj │ │ │ │ -00003440: 7320 6163 636f 7264 696e 6720 746f 204f s according to O │ │ │ │ -00003450: 7074 696f 6e73 2e8a 6081 4225 2120 2064 ptions..`.B%! d │ │ │ │ -00003460: 6f63 5f68 6964 655f 7072 6976 6174 6528 oc_hide_private( │ │ │ │ -00003470: 2b4f 626a 732c 202b 5075 626c 6963 2c20 +Objs, +Public, │ │ │ │ -00003480: 2b4f 7074 696f 6e73 290a 250a 2520 2020 +Options).%.% │ │ │ │ -00003490: 5265 6d6f 7665 2074 6865 2070 7269 7661 Remove the priva │ │ │ │ -000034a0: 7465 206f 626a 6563 7473 2066 726f 6d20 te objects from │ │ │ │ -000034b0: 4f62 6a73 2061 6363 6f72 6469 6e67 2074 Objs according t │ │ │ │ -000034c0: 6f20 4f70 7469 6f6e 732e c458 5000 d380 o Options..XP... │ │ │ │ -000034d0: 436a 8300 eb00 eb83 8380 8b8d 80bd b500 Cj.............. │ │ │ │ -000034e0: 3981 9503 8a66 616c 7365 b9a1 9500 edbf 9....false...... │ │ │ │ -000034f0: 0060 82d0 c343 6d83 00eb 00eb 8383 80bd .`...Cm......... │ │ │ │ -00003500: c781 cd05 0403 9868 6964 655f 7072 6976 .......hide_priv │ │ │ │ -00003510: 6174 6586 0036 8100 8281 9fa0 a1c0 005c ate..6.........\ │ │ │ │ -00003520: 83c3 5850 005d 8380 4370 8300 eb00 eb83 ..XP.]..Cp...... │ │ │ │ -00003530: 8381 8484 c443 7183 00eb 00eb 8686 8094 .....Cq......... │ │ │ │ -00003540: 8688 bda2 86b3 8abf 0504 0386 6f62 6a84 ............obj. │ │ │ │ -00003550: 0036 81a2 8aa1 bf05 00cb 0036 81d0 c781 .6.........6.... │ │ │ │ -00003560: c880 88ce 0082 81a2 88a0 a1c0 005c 83c3 .............\.. │ │ │ │ -00003570: 4376 8300 eb00 eb86 8680 9486 8891 8d86 Cv.............. │ │ │ │ -00003580: 8e8a 93bd c781 c880 88c8 828a ce00 8281 ................ │ │ │ │ -00003590: a288 a28a a1c0 005c 83c3 5850 0007 8280 .......\..XP.... │ │ │ │ -000035a0: 4379 8300 eb00 eb82 8281 8f00 6083 8f00 Cy..........`... │ │ │ │ -000035b0: 0982 8200 3d81 9390 0062 8282 003d 8193 ....=....b...=.. │ │ │ │ -000035c0: 8200 0b82 c458 5000 2081 8043 7983 00eb .....XP. ..Cy... │ │ │ │ -000035d0: 00eb 8484 818f 00e3 8200 6183 0182 8493 ..........a..... │ │ │ │ -000035e0: 8f00 de82 00ec 0182 7287 938a e842 4578 ........r....BEx │ │ │ │ -000035f0: 7472 6163 7420 7468 6520 646f 6375 6d65 tract the docume │ │ │ │ -00003600: 6e74 6564 206f 626a 6563 7420 6672 6f6d nted object from │ │ │ │ -00003610: 2069 7473 2065 6e76 6972 6f6e 6d65 6e74 its environment │ │ │ │ -00003620: 2e8a 3c83 4225 2120 206f 626a 282b 5465 ..<.B%! obj(+Te │ │ │ │ -00003630: 726d 2c20 2d4f 626a 6563 7429 2069 7320 rm, -Object) is │ │ │ │ -00003640: 6465 742e 0a25 0a25 2020 2045 7874 7261 det..%.% Extra │ │ │ │ -00003650: 6374 2074 6865 2064 6f63 756d 656e 7465 ct the documente │ │ │ │ -00003660: 6420 206f 626a 6563 7420 2066 726f 6d20 d object from │ │ │ │ -00003670: 2020 6974 7320 2065 6e76 6972 6f6e 6d65 its environme │ │ │ │ -00003680: 6e74 2e20 2049 7420 2069 730a 2520 2020 nt. It is.% │ │ │ │ -00003690: 6173 7375 6d65 6420 746f 2062 6520 7468 assumed to be th │ │ │ │ -000036a0: 6520 6669 7273 7420 7465 726d 2e20 4e6f e first term. No │ │ │ │ -000036b0: 7465 2020 7468 6174 2069 6620 6d75 6c74 te that if mult │ │ │ │ -000036c0: 6970 6c65 206f 626a 6563 7473 2061 7265 iple objects are │ │ │ │ -000036d0: 0a25 2020 2064 6573 6372 6962 6564 2062 .% described b │ │ │ │ -000036e0: 7920 7468 6520 7361 6d65 2063 6f6d 6d65 y the same comme │ │ │ │ -000036f0: 6e74 2054 6572 6d20 6973 2061 206c 6973 nt Term is a lis │ │ │ │ -00003700: 742e c458 5000 6083 8043 7f83 00eb 00eb t..XP.`..C...... │ │ │ │ -00003710: 8384 808f 0003 838e 8493 bdd0 d986 81a4 ................ │ │ │ │ -00003720: 8491 8d82 93a5 e386 e9d1 8200 8281 a982 ................ │ │ │ │ -00003730: 8400 8282 c343 0584 00eb 00eb 8283 80bd .....C.......... │ │ │ │ -00003740: d984 81a4 8091 8d82 93a5 e384 e9d1 8200 ................ │ │ │ │ -00003750: 8281 a982 8000 8282 c358 5000 0782 8043 .........XP....C │ │ │ │ -00003760: 0c84 00eb 00eb 8282 818f 00cb 8f00 0982 ................ │ │ │ │ -00003770: 8200 3d81 9390 0009 8282 003d 8193 8203 ..=........=.... │ │ │ │ -00003780: 8e73 656d 6964 6574 c458 5000 2081 8043 .semidet.XP. ..C │ │ │ │ -00003790: 0c84 00eb 00eb 8484 818f 00e3 8200 cc01 ................ │ │ │ │ -000037a0: 8284 938f 00de 8200 ec01 8218 8893 8ad4 ................ │ │ │ │ -000037b0: 4254 7275 6520 6966 204f 626a 2069 7320 BTrue if Obj is │ │ │ │ -000037c0: 6e6f 7420 6578 706f 7274 6564 2066 726f not exported fro │ │ │ │ -000037d0: 6d20 4f70 7469 6f6e 732e 8a00 8342 2521 m Options....B%! │ │ │ │ -000037e0: 2020 7072 6976 6174 6528 2b4f 626a 2c20 private(+Obj, │ │ │ │ -000037f0: 2b4f 7074 696f 6e73 2920 6973 2073 656d +Options) is sem │ │ │ │ -00003800: 6964 6574 2e0a 250a 2520 2020 5472 7565 idet..%.% True │ │ │ │ -00003810: 2069 6620 4f62 6a20 6973 206e 6f74 2020 if Obj is not │ │ │ │ -00003820: 6578 706f 7274 6564 2020 2066 726f 6d20 exported from │ │ │ │ -00003830: 204f 7074 696f 6e73 2e20 5468 6973 206d Options. This m │ │ │ │ -00003840: 6561 6e73 204f 7074 696f 6e73 0a25 2020 eans Options.% │ │ │ │ -00003850: 2064 6566 696e 6564 2061 206d 6f64 756c defined a modul │ │ │ │ -00003860: 6520 616e 6420 4f62 6a20 6973 2020 6e6f e and Obj is no │ │ │ │ -00003870: 7420 2020 6d65 6d62 6572 2020 6f66 2074 t member of t │ │ │ │ -00003880: 6865 2065 7870 6f72 7473 206f 6620 7468 he exports of th │ │ │ │ -00003890: 650a 2520 2020 6d6f 6475 6c65 2ec4 5844 e.% module..XD │ │ │ │ -000038a0: 2488 8074 00de 0081 7400 0981 7400 de00 $..t....t...t... │ │ │ │ -000038b0: 0c81 7400 e303 a864 6f63 5f69 735f 7075 ..t....doc_is_pu │ │ │ │ -000038c0: 626c 6963 5f6f 626a 6563 7406 8250 00cb blic_object..P.. │ │ │ │ -000038d0: 8043 1584 00eb 00eb 8282 80bd 9f46 810a .C...........F.. │ │ │ │ -000038e0: 000c 8105 0400 6483 8200 6583 d0e8 c343 ......d...e....C │ │ │ │ -000038f0: 1784 00eb 00eb 8484 808f 00de 8e84 8e86 ................ │ │ │ │ -00003900: 93bd b500 de9e 849e 86b9 a0bf 0500 8400 ................ │ │ │ │ -00003910: 3681 d0e8 c343 1984 00eb 00eb 8484 808f 6....C.......... │ │ │ │ -00003920: 00de 8e84 8e86 93bd b500 de9e 849e 86b9 ................ │ │ │ │ -00003930: a0bf 0504 0026 8184 0036 81d0 e8c3 431b .....&...6....C. │ │ │ │ -00003940: 8400 eb00 eb86 8780 8f00 de8e 848e 8693 ................ │ │ │ │ -00003950: bdb5 0022 819e 84b9 a0bf 0019 82b5 0025 ..."...........% │ │ │ │ -00003960: 81b2 88b9 a0bf 0019 82d0 d88c 81b3 8aa2 ................ │ │ │ │ -00003970: 88bf 0504 038c 6d65 6d62 6572 8400 2b83 ......member..+. │ │ │ │ -00003980: a286 a28a bf05 0403 8a65 715f 7069 8400 .........eq_pi.. │ │ │ │ -00003990: 3681 e38c e7d1 8200 8281 dc8a 0082 82c3 6............... │ │ │ │ -000039a0: 4322 8400 eb00 eb86 8780 8f00 de8e 848e C".............. │ │ │ │ -000039b0: 8693 bda1 b500 4f83 b4b9 bf00 5083 d0a1 ......O.....P... │ │ │ │ -000039c0: b500 5383 b288 b9bf 0050 83d8 8c81 b38a ..S......P...... │ │ │ │ -000039d0: a288 bf00 6b83 a286 a28a bf00 6e83 e38c ....k.......n... │ │ │ │ -000039e0: e7d1 8200 8281 dc8a 0082 82c3 4329 8400 ............C).. │ │ │ │ -000039f0: eb00 eb86 8780 8f00 de8e 848e 8693 bdd8 ................ │ │ │ │ -00003a00: 8c81 a286 b388 bf05 0403 9470 695f 746f ...........pi_to │ │ │ │ -00003a10: 5f68 6561 6484 0036 81b3 8aa2 88bf 0057 _head..6.......W │ │ │ │ -00003a20: 83a2 8aa1 bf00 3083 e38c e7d1 8200 8281 ......0......... │ │ │ │ -00003a30: dd88 8400 8282 c358 5000 0782 8043 2e84 .......XP....C.. │ │ │ │ -00003a40: 00eb 00eb 8282 818f 00de 8200 0c81 9000 ................ │ │ │ │ -00003a50: 6783 9000 0982 8200 3d81 9382 0063 83c4 g.......=....c.. │ │ │ │ -00003a60: 584f 000c 8100 2081 8043 2e84 00eb 00eb XO.... ..C...... │ │ │ │ -00003a70: 8484 818f 00e3 8200 6483 0182 8293 8f00 ........d....... │ │ │ │ -00003a80: de82 00ec 0182 5c88 938a 1881 4248 6f6f ......\.....BHoo │ │ │ │ -00003a90: 6b20 7468 6174 2061 6c6c 6f77 7320 6f62 k that allows ob │ │ │ │ -00003aa0: 6a65 6374 7320 746f 2062 6520 6469 7370 jects to be disp │ │ │ │ -00003ab0: 6c61 7965 6420 7769 7468 2074 6865 2064 layed with the d │ │ │ │ -00003ac0: 6566 6175 6c74 2070 7562 6c69 632d 6f6e efault public-on │ │ │ │ -00003ad0: 6c79 2076 6965 772e 8a24 8242 2521 2020 ly view..$.B%! │ │ │ │ -00003ae0: 7072 6f6c 6f67 3a64 6f63 5f69 735f 7075 prolog:doc_is_pu │ │ │ │ -00003af0: 626c 6963 5f6f 626a 6563 7428 2b4f 626a blic_object(+Obj │ │ │ │ -00003b00: 6563 7429 2069 7320 7365 6d69 6465 742e ect) is semidet. │ │ │ │ -00003b10: 0a25 0a25 2020 2048 6f6f 6b20 7468 6174 .%.% Hook that │ │ │ │ -00003b20: 2061 6c6c 6f77 7320 6f62 6a65 6374 7320 allows objects │ │ │ │ -00003b30: 2074 6f20 2062 6520 2020 6469 7370 6c61 to be displa │ │ │ │ -00003b40: 7965 6420 2077 6974 6820 2074 6865 2020 yed with the │ │ │ │ -00003b50: 6465 6661 756c 740a 2520 2020 7075 626c default.% publ │ │ │ │ -00003b60: 6963 2d6f 6e6c 7920 7669 6577 2ec4 5850 ic-only view..XP │ │ │ │ -00003b70: 0007 8280 4333 8400 eb00 eb82 8281 8f00 ....C3.......... │ │ │ │ -00003b80: 848f 0009 8282 003d 8193 9000 0982 8200 .......=........ │ │ │ │ -00003b90: 3d81 9382 0063 83c4 5850 0020 8180 4333 =....c..XP. ..C3 │ │ │ │ -00003ba0: 8400 eb00 eb84 8481 8f00 e382 0085 0182 ................ │ │ │ │ -00003bb0: 8493 8f00 de82 00ec 0182 6688 938a cc42 ..........f....B │ │ │ │ -00003bc0: 5472 7565 2069 6620 4f62 6a20 6973 2061 True if Obj is a │ │ │ │ -00003bd0: 206d 756c 7469 6669 6c65 2070 7265 6469 multifile predi │ │ │ │ -00003be0: 6361 7465 2e8a 2c81 4225 2120 206d 756c cate..,.B%! mul │ │ │ │ -00003bf0: 7469 6669 6c65 282b 4f62 6a2c 202b 4f70 tifile(+Obj, +Op │ │ │ │ -00003c00: 7469 6f6e 7329 2069 7320 7365 6d69 6465 tions) is semide │ │ │ │ -00003c10: 742e 0a25 0a25 2020 2054 7275 6520 6966 t..%.% True if │ │ │ │ -00003c20: 204f 626a 2069 7320 6120 6d75 6c74 6966 Obj is a multif │ │ │ │ -00003c30: 696c 6520 7072 6564 6963 6174 652e c458 ile predicate..X │ │ │ │ -00003c40: 5000 8480 4337 8400 eb00 eb86 8680 bdb5 P...C7.......... │ │ │ │ -00003c50: 00de 9503 8875 7365 729e 80b9 b384 b386 .....user....... │ │ │ │ -00003c60: bf00 3583 a286 b388 bf00 7183 d281 b500 ..5.......q..... │ │ │ │ -00003c70: de9e 849e 88b9 9500 85bf 0504 03a4 7072 ..............pr │ │ │ │ -00003c80: 6564 6963 6174 655f 7072 6f70 6572 7479 edicate_property │ │ │ │ -00003c90: 840a 0392 2473 7973 7072 6564 73dc 8ad1 ....$syspreds... │ │ │ │ -00003ca0: 8200 8281 b38a a1bf 0030 83a2 8aa2 88b5 .........0...... │ │ │ │ -00003cb0: 0009 81b4 b9bf 0504 0398 7872 6566 5f64 ..........xref_d │ │ │ │ -00003cc0: 6566 696e 6564 8600 6682 0082 82d0 c358 efined..f......X │ │ │ │ -00003cd0: 5000 0782 8043 4084 00eb 00eb 8282 818f P....C@......... │ │ │ │ -00003ce0: 006a 838f 0009 8282 003d 8193 9000 0982 .j.......=...... │ │ │ │ -00003cf0: 8200 3d81 9382 005a 83c4 5850 0020 8180 ..=....Z..XP. .. │ │ │ │ -00003d00: 4340 8400 eb00 eb84 8481 8f00 e382 0026 C@.............& │ │ │ │ -00003d10: 8101 8284 938f 00de 8200 ec01 8200 8993 ................ │ │ │ │ -00003d20: 8ad0 4254 7275 6520 6966 204f 626a 2069 ..BTrue if Obj i │ │ │ │ -00003d30: 7320 6465 636c 6172 6564 2075 7369 6e67 s declared using │ │ │ │ -00003d40: 2070 7562 6c69 632f 312e 8a1a 8142 2521 public/1....B%! │ │ │ │ -00003d50: 2020 7075 626c 6963 282b 4f70 7469 6f6e public(+Option │ │ │ │ -00003d60: 732c 202b 4f70 7469 6f6e 7329 0a25 0a25 s, +Options).%.% │ │ │ │ -00003d70: 2020 2054 7275 6520 6966 204f 626a 2069 True if Obj i │ │ │ │ -00003d80: 7320 6465 636c 6172 6564 2075 7369 6e67 s declared using │ │ │ │ -00003d90: 2070 7562 6c69 632f 312e c458 5000 6a83 public/1..XP.j. │ │ │ │ -00003da0: 8043 4484 00eb 00eb 8686 80bd b500 de95 .CD............. │ │ │ │ -00003db0: 0074 839e 80b9 b384 b386 bf00 3583 a286 .t..........5... │ │ │ │ -00003dc0: b388 bf00 7183 d281 b500 de9e 849e 88b9 ....q........... │ │ │ │ -00003dd0: 9500 2681 bf00 7583 dc8a d182 0082 81b3 ..&...u......... │ │ │ │ -00003de0: 8aa1 bf00 3083 a28a a288 b500 2581 b4b9 ....0.......%... │ │ │ │ -00003df0: bf00 7a83 0082 82d0 c358 5000 7283 8043 ..z......XP.r..C │ │ │ │ -00003e00: 4d84 00eb 00eb 8282 80bd ea80 d0e8 c343 M..............C │ │ │ │ -00003e10: 4f84 00eb 00eb 8484 808f 00e3 8e84 8e86 O............... │ │ │ │ -00003e20: 93bd c781 c880 82c8 8284 c884 86cd 0038 ...............8 │ │ │ │ -00003e30: 8300 8281 a0a1 a286 c000 3883 c343 5184 ..........8..CQ. │ │ │ │ -00003e40: 00eb 00eb 8585 808f 000e 818e 848e 8693 ................ │ │ │ │ -00003e50: bd18 8188 8684 c781 c880 82c8 8284 c884 ................ │ │ │ │ -00003e60: 88cd 0038 8300 8281 a0a1 a288 c000 3883 ...8..........8. │ │ │ │ -00003e70: c358 5000 0782 8043 5584 00eb 00eb 8282 .XP....CU....... │ │ │ │ -00003e80: 818f 0018 838f 0009 8282 003d 8193 8f00 ...........=.... │ │ │ │ -00003e90: 6282 8200 3d81 938f 0062 8282 003d 8193 b...=....b...=.. │ │ │ │ -00003ea0: 9000 0982 8200 3d81 9382 000b 82c4 5850 ......=.......XP │ │ │ │ -00003eb0: 0020 8180 4355 8400 eb00 eb84 8481 8f00 . ..CU.......... │ │ │ │ -00003ec0: e382 0019 8301 8288 938f 00de 8200 ec01 ................ │ │ │ │ -00003ed0: 822a 8993 8afe 4241 6464 206f 7074 696f .*....BAdd optio │ │ │ │ -00003ee0: 6e73 2066 696c 6528 5469 746c 652c 2043 ns file(Title, C │ │ │ │ -00003ef0: 6f6d 6d65 6e74 2920 746f 204f 7468 6572 omment) to Other │ │ │ │ -00003f00: 4f70 7469 6f6e 7320 6966 2061 7661 696c Options if avail │ │ │ │ -00003f10: 6162 6c65 2e8a 2282 4225 2120 2066 696c able..".B%! fil │ │ │ │ -00003f20: 655f 696e 666f 282b 436f 6d6d 656e 7473 e_info(+Comments │ │ │ │ -00003f30: 2c20 2d52 6573 7443 6f6d 6d65 6e74 2c20 , -RestComment, │ │ │ │ -00003f40: 2d46 696c 654f 7074 696f 6e73 2c20 2b4f -FileOptions, +O │ │ │ │ -00003f50: 7468 6572 4f70 7469 6f6e 7329 2069 7320 therOptions) is │ │ │ │ -00003f60: 6465 742e 0a25 0a25 2020 2041 6464 206f det..%.% Add o │ │ │ │ -00003f70: 7074 696f 6e73 2066 696c 6528 5469 746c ptions file(Titl │ │ │ │ -00003f80: 652c 2043 6f6d 6d65 6e74 2920 746f 204f e, Comment) to O │ │ │ │ -00003f90: 7468 6572 4f70 7469 6f6e 7320 6966 2061 therOptions if a │ │ │ │ -00003fa0: 7661 696c 6162 6c65 2ec4 5850 0018 8380 vailable..XP.... │ │ │ │ -00003fb0: 4359 8400 eb00 eb87 8780 8c84 918f 0010 CY.............. │ │ │ │ -00003fc0: 828e 888e 8a93 8e8c 938d 8cbd b500 0383 ................ │ │ │ │ -00003fd0: b500 deb4 b600 2281 9e88 b9b4 9e8a b99f ......"......... │ │ │ │ -00003fe0: a0bf 0504 038c 7365 6c65 6374 8600 2b83 ......select..+. │ │ │ │ -00003ff0: d0c3 435c 8400 eb00 eb84 8481 8b8d 808b ..C\............ │ │ │ │ -00004000: 8d84 c458 5000 0782 8043 5f84 00eb 00eb ...XP....C_..... │ │ │ │ -00004010: 8282 818f 00c7 8f00 0982 8200 3d81 938f ............=... │ │ │ │ -00004020: 0009 8282 003d 8193 8f00 4a82 8200 3881 .....=....J...8. │ │ │ │ -00004030: 9390 004a 8282 0038 8193 8200 0b82 c458 ...J...8.......X │ │ │ │ -00004040: 5000 2081 8043 5f84 00eb 00eb 8484 818f P. ..C_......... │ │ │ │ -00004050: 000e 8182 00c8 0182 8493 8f00 de82 00ec ................ │ │ │ │ -00004060: 0182 3e89 938a b042 4372 6561 7465 2074 ..>....BCreate t │ │ │ │ -00004070: 6865 2066 696c 6520 6865 6164 6572 2e8a he file header.. │ │ │ │ -00004080: 1281 4225 2120 2066 696c 655f 6865 6164 ..B%! file_head │ │ │ │ -00004090: 6572 282b 4669 6c65 2c20 2b4f 7074 696f er(+File, +Optio │ │ │ │ -000040a0: 6e73 292f 2f20 6973 2064 6574 2e0a 250a ns)// is det..%. │ │ │ │ -000040b0: 2520 2020 4372 6561 7465 2074 6865 2066 % Create the f │ │ │ │ -000040c0: 696c 6520 6865 6164 6572 2ec4 5850 00c7 ile header..XP.. │ │ │ │ -000040d0: 8043 6384 00eb 00eb 8f8f 80bd b500 1082 .Cc............. │ │ │ │ -000040e0: b288 b28a b9a0 bf00 4e81 d09f b38c bf00 ........N....... │ │ │ │ -000040f0: 1d82 a88e 84b7 9e8c b895 0020 82b8 9e88 ........... .... │ │ │ │ -00004100: 97b9 9fa0 a28e b390 bf05 0403 9466 696c .............fil │ │ │ │ -00004110: 655f 7469 746c 658a 0036 81a2 8ab3 92bf e_title..6...... │ │ │ │ -00004120: 0504 03aa 6973 5f73 7472 7563 7475 7265 ....is_structure │ │ │ │ -00004130: 645f 636f 6d6d 656e 7484 0041 83a2 8ab3 d_comment..A.... │ │ │ │ -00004140: 94bf 0504 0398 7374 7269 6e67 5f63 6f64 ......string_cod │ │ │ │ -00004150: 6573 8400 3681 a294 a292 b396 bf05 0403 es..6........... │ │ │ │ -00004160: 9c69 6e64 656e 7465 645f 6c69 6e65 7386 .indented_lines. │ │ │ │ -00004170: 0a03 9470 6c64 6f63 5f77 696b 69a2 96b4 ...pldoc_wiki... │ │ │ │ -00004180: b398 bf05 0403 ac73 6563 7469 6f6e 5f63 .......section_c │ │ │ │ -00004190: 6f6d 6d65 6e74 5f68 6561 6465 7286 000c omment_header... │ │ │ │ -000041a0: 84a2 9897 b39a bf05 0403 a277 696b 695f ...........wiki_ │ │ │ │ -000041b0: 6c69 6e65 735f 746f 5f64 6f6d 8600 0c84 lines_to_dom.... │ │ │ │ -000041c0: a89c 90c7 81c8 809a c882 9cc8 8486 cd00 ................ │ │ │ │ -000041d0: 4582 0082 81a2 9aa2 9ca2 86c0 0045 82c3 E............E.. │ │ │ │ -000041e0: 4370 8400 eb00 eb86 8680 bd9f b388 bf00 Cp.............. │ │ │ │ -000041f0: 1d82 a88a 84b7 9e88 97b9 9fa0 a28a a286 ................ │ │ │ │ -00004200: c000 0084 c358 5000 0782 8043 7684 00eb .....XP....Cv... │ │ │ │ -00004210: 00eb 8282 818f 0001 848f 0009 8282 0038 ...............8 │ │ │ │ -00004220: 8193 8f00 0982 8200 3d81 938f 0009 8282 ........=....... │ │ │ │ -00004230: 003d 8193 8f00 4a82 8200 3881 9390 004a .=....J...8....J │ │ │ │ -00004240: 8282 0038 8193 8200 0b82 c458 5000 2081 ...8.......XP. . │ │ │ │ -00004250: 8043 7684 00eb 00eb 8484 818f 000e 8182 .Cv............. │ │ │ │ -00004260: 0002 8401 8286 938f 00de 8200 ec01 826c ...............l │ │ │ │ -00004270: 8993 8ade 4245 6d69 7420 7468 6520 6669 ....BEmit the fi │ │ │ │ -00004280: 6c65 2d68 6561 6465 7220 616e 6420 6d61 le-header and ma │ │ │ │ -00004290: 6e69 7075 6c61 7469 6f6e 2062 7574 746f nipulation butto │ │ │ │ -000042a0: 6e73 2e8a 5681 4225 2120 2066 696c 655f ns..V.B%! file_ │ │ │ │ -000042b0: 7469 746c 6528 2b54 6974 6c65 3a6c 6973 title(+Title:lis │ │ │ │ -000042c0: 742c 202b 4669 6c65 2c20 2b4f 7074 696f t, +File, +Optio │ │ │ │ -000042d0: 6e73 292f 2f20 6973 2064 6574 0a25 0a25 ns)// is det.%.% │ │ │ │ -000042e0: 2020 2045 6d69 7420 7468 6520 6669 6c65 Emit the file │ │ │ │ -000042f0: 2d68 6561 6465 7220 616e 6420 6d61 6e69 -header and mani │ │ │ │ -00004300: 7075 6c61 7469 6f6e 2062 7574 746f 6e73 pulation buttons │ │ │ │ -00004310: 2ec4 5844 7489 8074 00de 0081 7400 3782 ..XDt..t....t.7. │ │ │ │ -00004320: 7400 de00 8174 00e3 0002 8406 8a50 0001 t....t.......P.. │ │ │ │ -00004330: 8480 437a 8400 eb00 eb86 8680 bd9f a0a1 ..Cz............ │ │ │ │ -00004340: a286 b38a 4681 0065 8305 0400 1f81 8a00 ....F..e........ │ │ │ │ -00004350: 6583 d0a9 888a c343 7d84 00eb 00eb 8787 e......C}....... │ │ │ │ -00004360: 80bd a0b3 8abf 001d 82a8 8c86 b504 0384 ................ │ │ │ │ -00004370: 6831 84b5 0048 8195 00a3 b9b8 b504 0388 h1...H.......... │ │ │ │ -00004380: 7370 616e 84b5 006f 8195 0396 666c 6f61 span...o....floa │ │ │ │ -00004390: 743a 7269 6768 74b9 b8b5 0012 82b6 0403 t:right......... │ │ │ │ -000043a0: 9a72 656c 6f61 645f 6275 7474 6f6e 869e .reload_button.. │ │ │ │ -000043b0: 829e 8a9e 84b9 b8b5 0012 82b6 0400 9184 ................ │ │ │ │ -000043c0: 9e8a 9e84 b9b8 b500 1282 b604 00ad 849e ................ │ │ │ │ -000043d0: 8a9e 84b9 b8b5 0012 82b6 0400 c484 9e82 ................ │ │ │ │ -000043e0: 9e84 b997 b99e 80b9 a28c a288 c000 4582 ..............E. │ │ │ │ -000043f0: c358 5000 0782 8043 0b85 00eb 00eb 8282 .XP....C........ │ │ │ │ -00004400: 818f 0400 1c84 8a8f 0009 8282 003d 8193 .............=.. │ │ │ │ -00004410: 8f00 0982 8200 3d81 938f 0009 8282 003d ......=........= │ │ │ │ -00004420: 8193 8f00 4a82 8200 3881 9390 004a 8282 ....J...8....J.. │ │ │ │ -00004430: 0038 8193 8200 0b82 c458 5000 2081 8043 .8.......XP. ..C │ │ │ │ -00004440: 0b85 00eb 00eb 8484 818f 000e 8182 001c ................ │ │ │ │ -00004450: 8401 8286 938f 00de 8200 ec01 8216 8a93 ................ │ │ │ │ -00004460: 8a1e 8142 4372 6561 7465 2061 2062 7574 ...BCreate a but │ │ │ │ -00004470: 746f 6e20 666f 7220 7265 6c6f 6164 696e ton for reloadin │ │ │ │ -00004480: 6720 7468 6520 736f 7572 6365 7320 616e g the sources an │ │ │ │ -00004490: 6420 7570 6461 7469 6e67 2074 6865 2064 d updating the d │ │ │ │ -000044a0: 6f63 756d 656e 7461 7469 6f6e 2070 6167 ocumentation pag │ │ │ │ -000044b0: 652e 8a46 8442 2521 2020 7265 6c6f 6164 e..F.B%! reload │ │ │ │ -000044c0: 5f62 7574 746f 6e28 2b46 696c 652c 202b _button(+File, + │ │ │ │ -000044d0: 4261 7365 2c20 2b4f 7074 696f 6e73 292f Base, +Options)/ │ │ │ │ -000044e0: 2f20 6973 2064 6574 2e0a 250a 2520 2020 / is det..%.% │ │ │ │ -000044f0: 4372 6561 7465 2061 2062 7574 746f 6e20 Create a button │ │ │ │ -00004500: 666f 7220 2072 656c 6f61 6469 6e67 2020 for reloading │ │ │ │ -00004510: 7468 6520 2020 736f 7572 6365 7320 2061 the sources a │ │ │ │ -00004520: 6e64 2020 7570 6461 7469 6e67 2074 6865 nd updating the │ │ │ │ -00004530: 0a25 2020 2064 6f63 756d 656e 7461 7469 .% documentati │ │ │ │ -00004540: 6f6e 2070 6167 652e 204e 6f74 6520 7468 on page. Note th │ │ │ │ -00004550: 6174 2074 6865 2020 6275 7474 6f6e 2020 at the button │ │ │ │ -00004560: 2069 7320 206e 6f74 2073 686f 776e 2069 is not shown i │ │ │ │ -00004570: 6620 7468 650a 2520 2020 6669 6c65 2069 f the.% file i │ │ │ │ -00004580: 7320 6e6f 7420 6c6f 6164 6564 2062 6563 s not loaded bec │ │ │ │ -00004590: 6175 7365 2077 6520 646f 2020 6e6f 7420 ause we do not │ │ │ │ -000045a0: 7761 6e74 2074 6f20 6c6f 6164 2066 696c want to load fil │ │ │ │ -000045b0: 6573 2074 6872 6f75 6768 0a25 2020 2074 es through.% t │ │ │ │ -000045c0: 6865 2064 6f63 756d 656e 7461 7469 6f6e he documentation │ │ │ │ -000045d0: 2073 7973 7465 6d2e c458 4424 8a80 7400 system..XD$..t. │ │ │ │ -000045e0: de00 8174 0037 8274 00de 0081 7400 e300 ...t.7.t....t... │ │ │ │ -000045f0: 1c84 068a 5000 2084 8043 1285 00eb 00eb ....P. ..C...... │ │ │ │ -00004600: 8789 80bd d88e 819f bf00 7f82 e38e e700 ................ │ │ │ │ -00004610: 8281 d890 82b5 0044 81b4 b9a1 bf00 1982 .......D........ │ │ │ │ -00004620: e390 e700 8282 a88a 86d0 a88c 8ab5 0018 ................ │ │ │ │ -00004630: 84b5 0048 8195 0392 6669 6c65 5f61 6e6f ...H....file_ano │ │ │ │ -00004640: 74b9 9503 985b 6e6f 7420 6c6f 6164 6564 t....[not loaded │ │ │ │ -00004650: 5db9 a28c a288 c000 4582 c343 1885 00eb ].......E..C.... │ │ │ │ -00004660: 00eb 8787 80bd b500 3081 9500 edb9 a1bf ........0....... │ │ │ │ -00004670: 0019 82d0 b500 3981 b28a b9a1 9500 edbf ......9......... │ │ │ │ -00004680: 0060 82a8 8c86 b504 0382 6184 b500 4081 .`........a...@. │ │ │ │ -00004690: b604 000a 8284 9e82 b8b5 0403 8c72 656c .............rel │ │ │ │ -000046a0: 6f61 6482 9500 edb9 b8b5 0039 819e 8ab9 oad........9.... │ │ │ │ -000046b0: 97b9 b604 0386 696d 6782 b8b5 0048 8195 ......img....H.. │ │ │ │ -000046c0: 038c 6163 7469 6f6e b9b8 b504 0386 616c ..action......al │ │ │ │ -000046d0: 7482 9503 8c52 656c 6f61 64b9 b8b5 0011 t....Reload..... │ │ │ │ -000046e0: 8295 039a 4d61 6b65 2026 2052 656c 6f61 ....Make & Reloa │ │ │ │ -000046f0: 64b9 b8b5 0403 8673 7263 82b6 0025 84b5 d......src...%.. │ │ │ │ -00004700: 0403 9c6c 6f63 6174 696f 6e5f 6279 5f69 ...location_by_i │ │ │ │ -00004710: 6482 9500 0282 b995 0394 7265 6c6f 6164 d.........reload │ │ │ │ -00004720: 2e70 6e67 b997 b9a2 8ca2 88c0 0045 82c3 .png.........E.. │ │ │ │ -00004730: 4323 8500 eb00 eb85 8580 bda9 8688 c358 C#.............X │ │ │ │ -00004740: 5000 0782 8043 2585 00eb 00eb 8282 818f P....C%......... │ │ │ │ -00004750: 00c3 8f00 0982 8200 3d81 938f 0009 8282 ........=....... │ │ │ │ -00004760: 003d 8193 8f00 4a82 8200 3881 9390 004a .=....J...8....J │ │ │ │ -00004770: 8282 0038 8193 8200 0b82 c458 5000 2081 ...8.......XP. . │ │ │ │ -00004780: 8043 2585 00eb 00eb 8484 818f 000e 8182 .C%............. │ │ │ │ -00004790: 00c4 0182 8493 8f00 de82 00ec 0182 4a8a ..............J. │ │ │ │ -000047a0: 938a c042 4372 6561 7465 2061 6e20 6564 ...BCreate an ed │ │ │ │ -000047b0: 6974 2062 7574 746f 6e20 666f 7220 4669 it button for Fi │ │ │ │ -000047c0: 6c65 2e8a 6683 4225 2120 2065 6469 745f le..f.B%! edit_ │ │ │ │ -000047d0: 6275 7474 6f6e 282b 4669 6c65 2c20 2b4f button(+File, +O │ │ │ │ -000047e0: 7074 696f 6e73 292f 2f20 6973 2064 6574 ptions)// is det │ │ │ │ -000047f0: 2e0a 250a 2520 2020 4372 6561 7465 2061 ..%.% Create a │ │ │ │ -00004800: 6e20 6564 6974 2062 7574 746f 6e20 2066 n edit button f │ │ │ │ -00004810: 6f72 2020 4669 6c65 2e20 2020 4966 2020 or File. If │ │ │ │ -00004820: 7468 6520 2062 7574 746f 6e20 2069 7320 the button is │ │ │ │ -00004830: 636c 6963 6b65 642c 0a25 2020 204a 6176 clicked,.% Jav │ │ │ │ -00004840: 6153 6372 6970 7420 7365 6e64 7320 6120 aScript sends a │ │ │ │ -00004850: 6d65 7373 6167 6520 746f 2074 6865 2020 message to the │ │ │ │ -00004860: 2073 6572 7665 7220 7769 7468 6f75 7420 server without │ │ │ │ -00004870: 6d6f 6469 6679 696e 6720 7468 650a 2520 modifying the.% │ │ │ │ -00004880: 2020 6375 7272 656e 7420 7061 6765 2e20 current page. │ │ │ │ -00004890: 204a 6176 6153 6372 6970 7420 636f 6465 JavaScript code │ │ │ │ -000048a0: 2069 7320 696e 2074 6865 2066 696c 6520 is in the file │ │ │ │ -000048b0: 706c 646f 632e 6a73 2ec4 5850 00c3 8043 pldoc.js..XP...C │ │ │ │ -000048c0: 2b85 00eb 00eb 8686 80bd b500 3081 9500 +...........0... │ │ │ │ -000048d0: edb9 a0bf 0019 82a8 8884 d0a8 8a88 b500 ................ │ │ │ │ -000048e0: 2384 b7b5 0403 8e6f 6e43 6c69 636b 82b6 #......onClick.. │ │ │ │ -000048f0: 0025 84b5 0025 84b5 0025 8495 039a 4854 .%...%...%....HT │ │ │ │ -00004900: 5450 7265 7175 6573 7428 27b6 0031 8495 TPrequest('..1.. │ │ │ │ -00004910: 0394 706c 646f 635f 6564 6974 b9b8 b500 ..pldoc_edit.... │ │ │ │ -00004920: 4f83 9e80 b997 b995 0384 2729 b997 b9b6 O.........').... │ │ │ │ -00004930: 0028 84b8 b500 4881 9500 2a84 b9b8 b500 .(....H...*..... │ │ │ │ -00004940: 2b84 9500 3181 b9b8 b500 1182 9503 9245 +...1..........E │ │ │ │ -00004950: 6469 7420 6669 6c65 b9b8 b500 2f84 b600 dit file..../... │ │ │ │ -00004960: 2584 b500 3184 9500 0282 b995 0390 6564 %...1.........ed │ │ │ │ -00004970: 6974 2e70 6e67 b997 b9a2 8aa2 86c0 0045 it.png.........E │ │ │ │ -00004980: 82c3 4338 8500 eb00 eb84 8480 bda9 8486 ..C8............ │ │ │ │ -00004990: c358 5000 0782 8043 3c85 00eb 00eb 8282 .XP....C<....... │ │ │ │ -000049a0: 818f 0090 8f00 4a82 8200 3d81 938f 0009 ......J...=..... │ │ │ │ -000049b0: 8282 003d 8193 8f00 4a82 8200 3881 9390 ...=....J...8... │ │ │ │ -000049c0: 004a 8282 0038 8193 8200 0b82 c458 5000 .J...8.......XP. │ │ │ │ -000049d0: 2081 8043 3c85 00eb 00eb 8484 818f 000e ..C<........... │ │ │ │ -000049e0: 8182 0091 0182 8493 8f00 de82 00ec 0182 ................ │ │ │ │ -000049f0: 788a 938a fe42 4164 6420 7a6f 6f6d 2069 x....BAdd zoom i │ │ │ │ -00004a00: 6e2f 6f75 7420 6275 7474 6f6e 2074 6f20 n/out button to │ │ │ │ -00004a10: 7368 6f77 2f68 6964 6520 7468 6520 7072 show/hide the pr │ │ │ │ -00004a20: 6976 6174 6520 646f 6375 6d65 6e74 6174 ivate documentat │ │ │ │ -00004a30: 696f 6e2e 8a66 8142 2521 2020 7a6f 6f6d ion..f.B%! zoom │ │ │ │ -00004a40: 5f62 7574 746f 6e28 4261 7365 4e61 6d65 _button(BaseName │ │ │ │ -00004a50: 2c20 2b4f 7074 696f 6e73 292f 2f20 6973 , +Options)// is │ │ │ │ -00004a60: 2064 6574 2e0a 250a 2520 2020 4164 6420 det..%.% Add │ │ │ │ -00004a70: 7a6f 6f6d 2069 6e2f 6f75 7420 6275 7474 zoom in/out butt │ │ │ │ -00004a80: 6f6e 2074 6f20 7368 6f77 2f68 6964 6520 on to show/hide │ │ │ │ -00004a90: 7468 6520 7072 6976 6174 6520 646f 6375 the private docu │ │ │ │ -00004aa0: 6d65 6e74 6174 696f 6e2e c458 5000 9080 mentation..XP... │ │ │ │ -00004ab0: 4340 8500 eb00 eb85 8580 bdb5 0044 81b4 C@...........D.. │ │ │ │ -00004ac0: b9a0 bf00 1982 a888 84d0 a986 88c3 4343 ..............CC │ │ │ │ -00004ad0: 8500 eb00 eb89 8a80 bdd9 9281 b500 3981 ..............9. │ │ │ │ -00004ae0: 9500 edb9 a095 00ed bf00 6082 e392 aa88 ..........`..... │ │ │ │ -00004af0: 0394 7075 626c 6963 2e70 6e67 aa8a 038c ..public.png.... │ │ │ │ -00004b00: 5075 626c 6963 aa8c 03b0 436c 6963 6b20 Public....Click │ │ │ │ -00004b10: 746f 2069 6e63 6c75 6465 2070 7269 7661 to include priva │ │ │ │ -00004b20: 7465 aa8e 005b 83d1 8200 8281 aa88 0396 te...[.......... │ │ │ │ -00004b30: 7072 6976 6174 652e 706e 67aa 8a03 9c41 private.png....A │ │ │ │ -00004b40: 6c6c 2070 7265 6469 6361 7465 73aa 8c03 ll predicates... │ │ │ │ -00004b50: b443 6c69 636b 2074 6f20 7368 6f77 2065 .Click to show e │ │ │ │ -00004b60: 7870 6f72 7473 206f 6e6c 79aa 8e00 ed00 xports only..... │ │ │ │ -00004b70: 8282 a890 84b5 0023 84b5 0040 81b6 0025 .......#...@...% │ │ │ │ -00004b80: 849e 80b8 b500 3981 9e8e b997 b9b6 0028 ......9........( │ │ │ │ -00004b90: 84b8 b500 4881 9500 2a84 b9b8 b500 2b84 ....H...*.....+. │ │ │ │ -00004ba0: 9e8a b9b8 b500 1182 9e8c b9b8 b500 2f84 ............../. │ │ │ │ -00004bb0: b600 2584 b500 3184 9500 0282 b99e 88b9 ..%...1......... │ │ │ │ -00004bc0: 97b9 a290 a286 c000 4582 c358 5000 0782 ........E..XP... │ │ │ │ -00004bd0: 8043 5785 00eb 00eb 8282 818f 00ac 8f00 .CW............. │ │ │ │ -00004be0: 0982 8200 3d81 938f 0009 8282 003d 8193 ....=........=.. │ │ │ │ -00004bf0: 8f00 4a82 8200 3881 9390 004a 8282 0038 ..J...8....J...8 │ │ │ │ -00004c00: 8193 8200 0b82 c458 5000 2081 8043 5785 .......XP. ..CW. │ │ │ │ -00004c10: 00eb 00eb 8484 818f 000e 8182 00ad 0182 ................ │ │ │ │ -00004c20: 8493 8f00 de82 00ec 0182 2e8b 938a b042 ...............B │ │ │ │ -00004c30: 4164 6420 7368 6f77 2d73 6f75 7263 6520 Add show-source │ │ │ │ -00004c40: 6275 7474 6f6e 2e8a 1681 4225 2120 2073 button....B%! s │ │ │ │ -00004c50: 6f75 7263 655f 6275 7474 6f6e 282b 4669 ource_button(+Fi │ │ │ │ -00004c60: 6c65 2c20 2b4f 7074 696f 6e73 292f 2f20 le, +Options)// │ │ │ │ -00004c70: 6973 2064 6574 2e0a 250a 2520 2020 4164 is det..%.% Ad │ │ │ │ -00004c80: 6420 7368 6f77 2d73 6f75 7263 6520 6275 d show-source bu │ │ │ │ -00004c90: 7474 6f6e 2ec4 5850 00ac 8043 5b85 00eb tton..XP...C[... │ │ │ │ -00004ca0: 00eb 8585 80bd b500 4481 b4b9 a0bf 0019 ........D....... │ │ │ │ -00004cb0: 82a8 8884 d0a9 8688 c343 5e85 00eb 00eb .........C^..... │ │ │ │ -00004cc0: 8687 80bd d98c 819f bf05 0403 aa69 735f .............is_ │ │ │ │ -00004cd0: 6162 736f 6c75 7465 5f66 696c 655f 6e61 absolute_file_na │ │ │ │ -00004ce0: 6d65 8200 3681 e38c 9fb3 88bf 0504 039a me..6........... │ │ │ │ -00004cf0: 646f 635f 6669 6c65 5f68 7265 6684 0a03 doc_file_href... │ │ │ │ -00004d00: 9670 6c64 6f63 5f69 6e64 6578 d182 0082 .pldoc_index.... │ │ │ │ -00004d10: 81a8 8880 0082 82a8 8a84 b500 2384 b500 ............#... │ │ │ │ -00004d20: 4081 b600 2584 9e88 b8b5 0403 8873 686f @...%........sho │ │ │ │ -00004d30: 7782 9500 3084 b997 b9b6 0028 84b8 b500 w...0......(.... │ │ │ │ -00004d40: 4881 9500 2a84 b9b8 b500 2b84 9503 9653 H...*.....+....S │ │ │ │ -00004d50: 686f 7720 736f 7572 6365 b9b8 b500 1182 how source...... │ │ │ │ -00004d60: 9500 4b84 b9b8 b500 2f84 b600 2584 b500 ..K...../...%... │ │ │ │ -00004d70: 3184 9500 0282 b995 0394 736f 7572 6365 1.........source │ │ │ │ -00004d80: 2e70 6e67 b997 b9a2 8aa2 86c0 0045 82c3 .png.........E.. │ │ │ │ -00004d90: 5850 0007 8280 436c 8500 eb00 eb82 8281 XP....Cl........ │ │ │ │ -00004da0: 8f00 988f 0009 8282 0038 8193 8f00 0982 .........8...... │ │ │ │ -00004db0: 8200 3d81 938f 004a 8282 0038 8193 9000 ..=....J...8.... │ │ │ │ -00004dc0: 4a82 8200 3881 9382 000b 82c4 5850 0020 J...8.......XP. │ │ │ │ -00004dd0: 8180 436c 8500 eb00 eb84 8481 8f00 0e81 ..Cl............ │ │ │ │ -00004de0: 8200 9901 8284 938f 00de 8200 ec01 8258 ...............X │ │ │ │ -00004df0: 8b93 8aba 4245 6d69 7420 7468 6520 646f ....BEmit the do │ │ │ │ -00004e00: 6375 6d65 6e74 6174 696f 6e20 626f 6479 cumentation body │ │ │ │ -00004e10: 2e8a 5a82 4225 2120 206f 626a 6563 7473 ..Z.B%! objects │ │ │ │ -00004e20: 282b 4f62 6a65 6374 733a 6c69 7374 2c20 (+Objects:list, │ │ │ │ -00004e30: 2b4f 7074 696f 6e73 292f 2f20 6973 2064 +Options)// is d │ │ │ │ -00004e40: 6574 2e0a 250a 2520 2020 456d 6974 2074 et..%.% Emit t │ │ │ │ -00004e50: 6865 2064 6f63 756d 656e 7461 7469 6f6e he documentation │ │ │ │ -00004e60: 2062 6f64 792e 2020 4f70 7469 6f6e 7320 body. Options │ │ │ │ -00004e70: 696e 636c 7564 6573 3a0a 250a 2520 2020 includes:.%.% │ │ │ │ -00004e80: 2020 2a20 6e61 7674 7265 6528 2b42 6f6f * navtree(+Boo │ │ │ │ -00004e90: 6c65 616e 290a 2520 2020 2020 4966 203d lean).% If = │ │ │ │ -00004ea0: 7472 7565 3d2c 2070 726f 7669 6465 2061 true=, provide a │ │ │ │ -00004eb0: 206e 6176 6974 6174 696f 6e20 7472 6565 navitation tree │ │ │ │ -00004ec0: 2ec4 5850 0098 8043 7385 00eb 00eb 8686 ..XP...Cs....... │ │ │ │ -00004ed0: 80bd b504 038e 6e61 7674 7265 6582 9500 ......navtree... │ │ │ │ -00004ee0: edb9 a0bf 0019 82d0 9fb3 88bf 0504 03a0 ................ │ │ │ │ -00004ef0: 6f62 6a65 6374 735f 6e61 765f 7472 6565 objects_nav_tree │ │ │ │ -00004f00: 8400 3681 a88a 84b7 b504 0386 6469 7684 ..6.........div. │ │ │ │ -00004f10: b500 4881 9500 4e84 b9b6 0052 84b5 0048 ..H...N....R...H │ │ │ │ -00004f20: 8195 0392 6e61 7677 696e 646f 77b9 b600 ....navwindow... │ │ │ │ -00004f30: 1282 b604 0390 6e61 765f 7472 6565 869e ......nav_tree.. │ │ │ │ -00004f40: 889e 809e 82b9 b8b5 0052 84b5 0048 8195 .........R...H.. │ │ │ │ -00004f50: 0394 6e61 7663 6f6e 7465 6e74 b9b6 0012 ..navcontent.... │ │ │ │ -00004f60: 82b6 0403 946f 626a 6563 7473 5f6e 7484 .....objects_nt. │ │ │ │ -00004f70: 9e80 9e82 b997 b9a2 8aa2 86c0 0045 82c3 .............E.. │ │ │ │ -00004f80: 437e 8500 eb00 eb84 8480 bdc7 81cd 0504 C~.............. │ │ │ │ -00004f90: 0059 8488 0036 8100 8281 9fa0 a1a2 86c0 .Y...6.......... │ │ │ │ -00004fa0: 005a 84c3 5844 028c 8074 00de 0081 7400 .Z..XD...t....t. │ │ │ │ -00004fb0: 3782 7400 de00 8174 00e3 0059 8406 8850 7.t....t...Y...P │ │ │ │ -00004fc0: 005b 8480 4301 8600 eb00 eb84 8480 bd9f .[..C........... │ │ │ │ -00004fd0: b795 0388 626f 6479 97b9 a0a1 a286 c005 ....body........ │ │ │ │ -00004fe0: 0400 998a 0036 81c3 5844 088c 8074 00de .....6..XD...t.. │ │ │ │ -00004ff0: 0081 7400 3782 7400 de00 8174 00e3 0099 ..t.7.t....t.... │ │ │ │ -00005000: 068a 5000 5e84 8043 0486 00eb 00eb 8585 ..P.^..C........ │ │ │ │ -00005010: 8084 bdc7 81ca 8000 5c84 c984 cd05 0403 ........\....... │ │ │ │ -00005020: 9070 6f70 5f6d 6f64 658a 0036 8100 8281 .pop_mode..6.... │ │ │ │ -00005030: 9500 5c84 a0b4 a286 a288 c000 5f84 c343 ..\........._..C │ │ │ │ -00005040: 0686 00eb 00eb 8989 8094 8a8c bda2 8aa0 ................ │ │ │ │ -00005050: b38e a1a2 86b3 90bf 0504 038c 6f62 6a65 ............obje │ │ │ │ -00005060: 6374 8c00 3681 c781 c880 8cc8 828e c886 ct..6........... │ │ │ │ -00005070: 90ce 0082 81a2 8ca2 8ea1 a290 a288 c000 ................ │ │ │ │ -00005080: 5d84 c358 5000 0782 8043 0a86 00eb 00eb ]..XP....C...... │ │ │ │ -00005090: 8282 818f 0063 848f 0009 8282 003d 8193 .....c.......=.. │ │ │ │ -000050a0: 8f00 0982 8200 3d81 938f 0062 8282 003d ......=....b...= │ │ │ │ -000050b0: 8193 8f00 0982 8200 3d81 938f 004a 8282 ........=....J.. │ │ │ │ -000050c0: 0038 8193 9000 4a82 8200 3881 9382 000b .8....J...8..... │ │ │ │ -000050d0: 82c4 5850 0020 8180 430a 8600 eb00 eb84 ..XP. ..C....... │ │ │ │ -000050e0: 8481 8f00 0e81 8200 6484 0182 8893 8f00 ........d....... │ │ │ │ -000050f0: de82 00ec 0182 148c 938a d642 456d 6974 ...........BEmit │ │ │ │ -00005100: 2074 6865 2064 6f63 756d 656e 7461 7469 the documentati │ │ │ │ -00005110: 6f6e 206f 6620 6120 7369 6e67 6c65 206f on of a single o │ │ │ │ -00005120: 626a 6563 742e 8a08 8542 2521 2020 6f62 bject....B%! ob │ │ │ │ -00005130: 6a65 6374 282b 5370 6563 2c20 2b4d 6f64 ject(+Spec, +Mod │ │ │ │ -00005140: 6549 6e2c 202d 4d6f 6465 4f75 742c 202b eIn, -ModeOut, + │ │ │ │ -00005150: 4f70 7469 6f6e 7329 2f2f 2069 7320 6465 Options)// is de │ │ │ │ -00005160: 742e 0a25 0a25 2020 2045 6d69 7420 7468 t..%.% Emit th │ │ │ │ -00005170: 6520 646f 6375 6d65 6e74 6174 696f 6e20 e documentation │ │ │ │ -00005180: 6f66 2061 2073 696e 676c 6520 6f62 6a65 of a single obje │ │ │ │ -00005190: 6374 2e0a 250a 2520 2020 4070 6172 616d ct..%.% @param │ │ │ │ -000051a0: 2020 5370 6563 2069 7320 6f6e 6520 6f66 Spec is one of │ │ │ │ -000051b0: 2064 6f63 284f 626a 2c50 6f73 2c43 6f6d doc(Obj,Pos,Com │ │ │ │ -000051c0: 6d65 6e74 292c 2077 6869 6368 2069 7320 ment), which is │ │ │ │ -000051d0: 7573 6564 0a25 2020 2020 2020 2020 2020 used.% │ │ │ │ -000051e0: 2074 6f20 6c69 7374 2074 6865 206f 626a to list the obj │ │ │ │ -000051f0: 6563 7473 2064 6f63 756d 656e 7465 6420 ects documented │ │ │ │ -00005200: 696e 2061 2066 696c 6520 6f72 2061 2070 in a file or a p │ │ │ │ -00005210: 6c61 696e 0a25 2020 2020 2020 2020 2020 lain.% │ │ │ │ -00005220: 204f 626a 2c20 7573 6564 2066 6f72 2064 Obj, used for d │ │ │ │ -00005230: 6f63 756d 656e 7469 6e67 2074 6865 206f ocumenting the o │ │ │ │ -00005240: 626a 6563 7420 7265 6761 7264 6c65 7373 bject regardless │ │ │ │ -00005250: 206f 660a 2520 2020 2020 2020 2020 2020 of.% │ │ │ │ -00005260: 6974 7320 6c6f 6361 7469 6f6e 2ec4 5844 its location..XD │ │ │ │ -00005270: 268c 8074 00de 0081 7400 3782 7400 de00 &..t....t.7.t... │ │ │ │ -00005280: 8174 00e3 0064 8406 8c50 0063 8480 4313 .t...d...P.c..C. │ │ │ │ -00005290: 8600 eb00 eb8a 8a80 8f00 0383 8e8c 8e8e ................ │ │ │ │ -000052a0: 8e90 93bd d0a8 9288 a28c b7b5 004c 819e .............L.. │ │ │ │ -000052b0: 8e9e 90b9 97b9 a0a1 b7b5 0403 8a73 636f .............sco │ │ │ │ -000052c0: 7065 8295 00a3 b99e 86b9 a292 a28a c005 pe.............. │ │ │ │ -000052d0: 0400 6484 8e00 3681 c343 1686 00eb 00eb ..d...6..C...... │ │ │ │ -000052e0: 8c8c 80bd b500 4c81 b28c b28e b9b5 0005 ......L......... │ │ │ │ -000052f0: 839e 809e 8cb4 9e8e b9b3 90bf 006f 82a8 .............o.. │ │ │ │ -00005300: 9288 d0a8 9492 9503 9870 6c64 6f63 5f6f .........pldoc_o │ │ │ │ -00005310: 626a 6563 749f bf00 3b82 a896 949f a290 bject...;....... │ │ │ │ -00005320: a0a1 a286 a296 a28a c000 6784 c358 443e ..........g..XD> │ │ │ │ -00005330: 8c80 7400 de00 8174 0037 8274 00de 0081 ..t....t.7.t.... │ │ │ │ -00005340: 7400 e300 6484 068e 5000 6884 8043 1f86 t...d...P.h..C.. │ │ │ │ -00005350: 00eb 00eb 8b8b 80bd 9fbf 0500 b500 3681 ..............6. │ │ │ │ -00005360: d0b5 0403 9070 7265 645f 646f 6d84 9e80 .....pred_dom... │ │ │ │ -00005370: 9e88 b9a0 b38e bf05 0403 8e6d 6170 6c69 ...........mapli │ │ │ │ -00005380: 7374 860a 00f7 a28e b390 bf05 0400 2a83 st............*. │ │ │ │ -00005390: 8400 2b83 a892 8a95 0384 646c a1a2 86a2 ..+.......dl.... │ │ │ │ -000053a0: 92b3 94bf 0504 0392 6e65 6564 5f6d 6f64 ........need_mod │ │ │ │ -000053b0: 658a 0036 81c7 81c8 8090 c882 94c8 848c e..6............ │ │ │ │ -000053c0: cd00 4582 0082 81a2 90a2 94a2 8cc0 0045 ..E............E │ │ │ │ -000053d0: 82c3 4327 8600 eb00 eb89 8980 918e 8e93 ..C'............ │ │ │ │ -000053e0: bdd0 a890 8ac7 81c8 808e c88a 90ce 0082 ................ │ │ │ │ -000053f0: 81a2 8ea0 a1a2 86a2 88a2 90a2 8cc0 0067 ...............g │ │ │ │ -00005400: 84c3 432a 8600 eb00 eb88 8880 8c86 8d84 ..C*............ │ │ │ │ -00005410: bd95 0006 8295 0394 536b 6970 7065 6420 ........Skipped │ │ │ │ -00005420: 7e70 b79e 8097 b9bf 0504 00f6 860a 0398 ~p.............. │ │ │ │ -00005430: 7072 6f6c 6f67 5f64 6562 7567 a88e 8aa9 prolog_debug.... │ │ │ │ -00005440: 8e8c c358 5004 006c 8488 8043 2e86 00eb ...XP..l...C.... │ │ │ │ -00005450: 00eb 949a 808c 848f 004c 818e 888e 8a93 .........L...... │ │ │ │ -00005460: bda2 8ab3 8cbf 0003 84a2 8ab3 8ebf 0006 ................ │ │ │ │ -00005470: 84a2 8ea2 8cb3 90bf 0009 84b5 00de 9500 ................ │ │ │ │ -00005480: 7483 9e80 b9b3 92b4 bf00 3583 a290 a292 t.........5..... │ │ │ │ -00005490: a288 b394 b396 b398 bf05 0403 9a70 726f .............pro │ │ │ │ -000054a0: 6365 7373 5f6d 6f64 6573 8c0a 0396 706c cess_modes....pl │ │ │ │ -000054b0: 646f 635f 6d6f 6465 73d9 a881 9fa0 bf00 doc_modes....... │ │ │ │ -000054c0: 6283 e3a8 aa9a 038e 7072 6976 6465 66d1 b.......privdef. │ │ │ │ -000054d0: 8200 8281 d9aa 839f a0bf 0068 83e3 aad9 ...........h.... │ │ │ │ -000054e0: ac84 b500 6584 9500 a3b9 a0bf 0019 82e3 ....e........... │ │ │ │ -000054f0: acd9 ae85 9fa2 88bf 0504 0390 6d6f 7265 ............more │ │ │ │ -00005500: 5f64 6f63 8400 3681 e3ae a39a b504 0390 _doc..6......... │ │ │ │ -00005510: 6d75 6c74 6964 6566 82b6 0400 6484 829e multidef....d... │ │ │ │ -00005520: 80b9 a5d1 8600 8285 aa9a 0007 8500 8286 ................ │ │ │ │ -00005530: d187 0082 84a3 9ab5 0006 85b6 004f 839e .............O.. │ │ │ │ -00005540: 88b9 a500 8287 d182 0082 83d9 b088 9fa0 ................ │ │ │ │ -00005550: bf00 6983 e3b0 aa9a 0392 7075 626c 6963 ..i.......public │ │ │ │ -00005560: 6465 66d1 8200 8288 aa9a 038c 7075 6264 def.........pubd │ │ │ │ -00005570: 6566 0082 82d9 b289 a480 8f00 de8d 9293 ef.............. │ │ │ │ -00005580: a5e3 b2a3 9cb7 b500 2281 9e92 b99e 82b9 ........"....... │ │ │ │ -00005590: a5d1 8a00 8289 a89c 8200 828a a488 8f00 ................ │ │ │ │ -000055a0: de8e 9e8e a093 a5a3 a2b7 b500 4f83 9e9e ............O... │ │ │ │ -000055b0: b9b8 b504 0388 6c69 6e65 829e a0b9 9e9c ......line...... │ │ │ │ -000055c0: b9a5 a486 918f 0012 8290 0400 2881 868d ............(... │ │ │ │ -000055d0: 948d 9a8d a293 928f 0403 8464 6484 8f04 ...........dd... │ │ │ │ -000055e0: 0382 3d84 8200 4981 8203 8e64 6566 626f ..=...I....defbo │ │ │ │ -000055f0: 6479 938e a493 8493 a5a2 98a2 96b3 a6bf dy.............. │ │ │ │ -00005600: 0011 84c7 8bc8 80a6 c882 a4cd 0504 03a2 ................ │ │ │ │ -00005610: 7374 7269 705f 6c65 6164 696e 675f 7061 strip_leading_pa │ │ │ │ -00005620: 7284 000c 8400 828b a2a6 a2a4 c000 1385 r............... │ │ │ │ -00005630: c358 5000 0485 8043 4c86 00eb 00eb 8484 .XP....CL....... │ │ │ │ -00005640: 808b 8f00 de8e 8493 bd9f b500 deb2 86b4 ................ │ │ │ │ -00005650: b9b4 b4bf 0500 0583 0041 83ae 8684 d0c3 .........A...... │ │ │ │ -00005660: 5850 0007 8280 4351 8600 eb00 eb82 8281 XP....CQ........ │ │ │ │ -00005670: 8f00 7584 8f00 0982 8200 3781 938f 0009 ..u.......7..... │ │ │ │ -00005680: 8282 0038 8193 8f00 6282 8200 3881 938f ...8....b...8... │ │ │ │ -00005690: 004a 8282 0038 8193 9000 4a82 8200 3881 .J...8....J...8. │ │ │ │ -000056a0: 9382 000b 82c4 5850 0020 8180 4351 8600 ......XP. ..CQ.. │ │ │ │ -000056b0: eb00 eb84 8481 8f00 0e81 8200 7684 0182 ............v... │ │ │ │ -000056c0: 8693 8f00 de82 00ec 0182 228d 938a 0082 .........."..... │ │ │ │ -000056d0: 4257 6869 6c65 2070 7265 6469 6361 7465 BWhile predicate │ │ │ │ -000056e0: 7320 6172 6520 7061 7274 206f 6620 6120 s are part of a │ │ │ │ -000056f0: 6465 7363 7269 7074 696f 6e20 6c69 7374 description list │ │ │ │ -00005700: 2c20 7365 6374 696f 6e73 2061 7265 206e , sections are n │ │ │ │ -00005710: 6f74 2061 6e64 2077 6520 7468 6572 6566 ot and we theref │ │ │ │ -00005720: 6f72 6520 6e65 6564 2074 6f20 696e 7365 ore need to inse │ │ │ │ -00005730: 7274 203c 646c 3e2e 2e2e 3c2f 646c 3e20 rt
'(Line)`,
│ │ │ │ -00003dd0: 696e 6469 6361 7469 6e67 2074 6865 2063 indicating the c
│ │ │ │ -00003de0: 616c 6c0a 2520 2020 6973 2066 726f 6d20 all.% is from
│ │ │ │ -00003df0: 616e 2028 6f66 7465 6e20 696e 6974 6961 an (often initia
│ │ │ │ -00003e00: 6c69 7a61 7469 6f6e 2f31 2920 6469 7265 lization/1) dire
│ │ │ │ -00003e10: 6374 6976 6520 6f72 2074 6865 7265 2069 ctive or there i
│ │ │ │ -00003e20: 7320 6120 7075 626c 6963 2f31 0a25 2020 s a public/1.%
│ │ │ │ -00003e30: 2064 6972 6563 7469 7665 2074 6861 7420 directive that
│ │ │ │ -00003e40: 636c 6169 6d73 2074 6865 2070 7265 6469 claims the predi
│ │ │ │ -00003e50: 6361 7465 2069 7320 6361 6c6c 6564 2066 cate is called f
│ │ │ │ -00003e60: 726f 6d20 696e 2073 6f6d 650a 2520 2020 rom in some.%
│ │ │ │ -00003e70: 756e 7472 6163 7461 626c 6520 7761 792e untractable way.
│ │ │ │ -00003e80: 0a25 2020 2040 6172 6720 436f 6e64 2069 .% @arg Cond i
│ │ │ │ -00003e90: 7320 7468 6520 2861 6363 756d 756c 6174 s the (accumulat
│ │ │ │ -00003ea0: 6564 2920 636f 6e64 6974 696f 6e20 6173 ed) condition as
│ │ │ │ -00003eb0: 2064 6566 696e 6564 2062 790a 2520 2020 defined by.%
│ │ │ │ -00003ec0: 6060 3a2d 2069 6628 436f 6e64 2960 6020 ``:- if(Cond)``
│ │ │ │ -00003ed0: 756e 6465 7220 7768 6963 6820 7468 6520 under which the
│ │ │ │ -00003ee0: 6361 6c6c 696e 6720 636f 6465 2069 7320 calling code is
│ │ │ │ -00003ef0: 636f 6d70 696c 6564 2e0a 2520 2020 4061 compiled..% @a
│ │ │ │ -00003f00: 7267 204c 696e 6520 6973 2074 6865 205f rg Line is the _
│ │ │ │ -00003f10: 7374 6172 7420 6c69 6e65 5f20 6f66 2074 start line_ of t
│ │ │ │ -00003f20: 6865 2063 616c 6c69 6e67 2063 6c61 7573 he calling claus
│ │ │ │ -00003f30: 652e c458 5000 7581 8043 3684 00ea 00ea e..XP.u..C6.....
│ │ │ │ -00003f40: 8282 818f 00c0 8200 8d01 8288 938f 00c0 ................
│ │ │ │ -00003f50: 8200 8d01 8286 93c4 4336 8400 ea00 ea82 ........C6......
│ │ │ │ -00003f60: 8281 8f00 c082 008d 0182 8a93 8f00 c082 ................
│ │ │ │ -00003f70: 008d 0182 8693 c458 5000 ab80 4349 8400 .......XP...CI..
│ │ │ │ -00003f80: ea00 ea83 8380 bdc7 81c9 86cd 0500 9b00 ................
│ │ │ │ -00003f90: f600 8281 9fa0 a1b4 c000 3c83 c358 5000 ..........<..XP.
│ │ │ │ -00003fa0: 9b80 434c 8400 ea00 ea85 8580 bd9f b388 ..CL............
│ │ │ │ -00003fb0: bf05 0403 a063 616e 6f6e 6963 616c 5f73 .....canonical_s
│ │ │ │ -00003fc0: 6f75 7263 6584 00f6 b504 0033 8184 9e82 ource......3....
│ │ │ │ -00003fd0: 9e84 b9b5 0024 839e 829e 889e 849e 86b4 .....$..........
│ │ │ │ -00003fe0: b9c0 0504 00e0 8400 f6c3 5850 008c 8043 ..........XP...C
│ │ │ │ -00003ff0: 5084 00ea 00ea 8686 80bd 9fb3 8abf 003d P..............=
│ │ │ │ -00004000: 83c7 81c8 8082 c882 8acd 0500 2483 00f6 ............$...
│ │ │ │ -00004010: 0082 81a0 a28a a1a2 86a2 88c0 0043 83c3 .............C..
│ │ │ │ -00004020: 5850 0040 8180 4354 8400 ea00 ea82 8281 XP.@..CT........
│ │ │ │ -00004030: 8f00 b48f 004c 8182 003c 8193 8f00 4481 .....L...<....D.
│ │ │ │ -00004040: 8200 3c81 9390 004c 8182 003c 8193 8200 ..<....L...<....
│ │ │ │ -00004050: 3b83 c458 5000 2881 8043 5484 00ea 00ea ;..XP.(..CT.....
│ │ │ │ -00004060: 8484 818f 00c0 8200 b501 8286 938f 00b9 ................
│ │ │ │ -00004070: 8200 eb01 8228 8993 8acc 4254 6573 7420 .....(....BTest
│ │ │ │ -00004080: 6966 2047 6f61 6c20 6973 2061 6363 6573 if Goal is acces
│ │ │ │ -00004090: 7369 626c 6520 696e 2053 6f75 7263 652e sible in Source.
│ │ │ │ -000040a0: 8a6c 8a42 2521 2020 7872 6566 5f64 6566 .l.B%! xref_def
│ │ │ │ -000040b0: 696e 6564 283f 536f 7572 6365 2c20 2b47 ined(?Source, +G
│ │ │ │ -000040c0: 6f61 6c2c 203f 486f 7729 2069 7320 6e6f oal, ?How) is no
│ │ │ │ -000040d0: 6e64 6574 2e0a 250a 2520 2020 5465 7374 ndet..%.% Test
│ │ │ │ -000040e0: 2069 6620 476f 616c 2069 7320 6163 6365 if Goal is acce
│ │ │ │ -000040f0: 7373 6962 6c65 2069 6e20 536f 7572 6365 ssible in Source
│ │ │ │ -00004100: 2e20 2020 4966 2074 6869 7320 6973 2074 . If this is t
│ │ │ │ -00004110: 6865 2063 6173 652c 2048 6f77 0a25 2020 he case, How.%
│ │ │ │ -00004120: 2073 7065 6369 6669 6573 2074 6865 2072 specifies the r
│ │ │ │ -00004130: 6561 736f 6e20 7768 7920 7468 6520 7072 eason why the pr
│ │ │ │ -00004140: 6564 6963 6174 6520 2069 7320 6163 6365 edicate is acce
│ │ │ │ -00004150: 7373 6962 6c65 2e20 4e6f 7465 2074 6861 ssible. Note tha
│ │ │ │ -00004160: 740a 2520 2020 7468 6973 2070 7265 6469 t.% this predi
│ │ │ │ -00004170: 6361 7465 2064 6f65 7320 6e6f 7420 6465 cate does not de
│ │ │ │ -00004180: 616c 2077 6974 6820 6275 696c 742d 696e al with built-in
│ │ │ │ -00004190: 206f 7220 676c 6f62 616c 2070 7265 6469 or global predi
│ │ │ │ -000041a0: 6361 7465 732c 0a25 2020 206a 7573 7420 cates,.% just
│ │ │ │ -000041b0: 6c6f 6361 6c6c 7920 6465 6669 6e65 6420 locally defined
│ │ │ │ -000041c0: 616e 6420 696d 706f 7274 6564 206f 6e65 and imported one
│ │ │ │ -000041d0: 732e 2020 486f 7720 2020 6973 2020 6f6e s. How is on
│ │ │ │ -000041e0: 6520 6f66 206f 6620 7468 650a 2520 2020 e of of the.%
│ │ │ │ -000041f0: 7465 726d 7320 6265 6c6f 772e 204c 6f63 terms below. Loc
│ │ │ │ -00004200: 6174 696f 6e20 6973 206f 6e65 206f 6620 ation is one of
│ │ │ │ -00004210: 4c69 6e65 2028 616e 2069 6e74 6567 6572 Line (an integer
│ │ │ │ -00004220: 2920 6f72 2046 696c 653a 4c69 6e65 0a25 ) or File:Line.%
│ │ │ │ -00004230: 2020 2069 6620 7468 6520 6465 6669 6e69 if the defini
│ │ │ │ -00004240: 7469 6f6e 2063 6f6d 6573 2066 726f 6d20 tion comes from
│ │ │ │ -00004250: 616e 2069 6e63 6c75 6465 6420 2875 7369 an included (usi
│ │ │ │ -00004260: 6e67 203a 2d0a 2520 2020 696e 636c 7564 ng :-.% includ
│ │ │ │ -00004270: 6528 4669 6c65 2929 2064 6972 6563 7469 e(File)) directi
│ │ │ │ -00004280: 7665 2e0a 250a 2520 2020 2020 2a20 6479 ve..%.% * dy
│ │ │ │ -00004290: 6e61 6d69 6328 4c6f 6361 7469 6f6e 290a namic(Location).
│ │ │ │ -000042a0: 2520 2020 2020 2a20 7468 7265 6164 5f6c % * thread_l
│ │ │ │ -000042b0: 6f63 616c 284c 6f63 6174 696f 6e29 0a25 ocal(Location).%
│ │ │ │ -000042c0: 2020 2020 202a 206d 756c 7469 6669 6c65 * multifile
│ │ │ │ -000042d0: 284c 6f63 6174 696f 6e29 0a25 2020 2020 (Location).%
│ │ │ │ -000042e0: 202a 2070 7562 6c69 6328 4c6f 6361 7469 * public(Locati
│ │ │ │ -000042f0: 6f6e 290a 2520 2020 2020 2a20 6c6f 6361 on).% * loca
│ │ │ │ -00004300: 6c28 4c6f 6361 7469 6f6e 290a 2520 2020 l(Location).%
│ │ │ │ -00004310: 2020 2a20 666f 7265 6967 6e28 4c6f 6361 * foreign(Loca
│ │ │ │ -00004320: 7469 6f6e 290a 2520 2020 2020 2a20 636f tion).% * co
│ │ │ │ -00004330: 6e73 7472 6169 6e74 284c 6f63 6174 696f nstraint(Locatio
│ │ │ │ -00004340: 6e29 0a25 2020 2020 202a 2069 6d70 6f72 n).% * impor
│ │ │ │ -00004350: 7465 6428 4672 6f6d 29c4 5850 00b4 8043 ted(From).XP...C
│ │ │ │ -00004360: 6784 00ea 00ea 8484 80bd eb80 d09f b386 g...............
│ │ │ │ -00004370: bf00 3d83 a1a2 86a0 c005 0403 9a78 7265 ..=..........xre
│ │ │ │ -00004380: 665f 6465 6669 6e65 6432 8600 f6c3 436c f_defined2....Cl
│ │ │ │ -00004390: 8400 ea00 ea84 8480 bda1 b386 a0bf 0044 ...............D
│ │ │ │ -000043a0: 83c7 81c8 8286 cd00 3d83 0082 819f a286 ........=.......
│ │ │ │ -000043b0: c000 3d83 c358 5000 4583 8043 7084 00ea ..=..XP.E..Cp...
│ │ │ │ -000043c0: 00ea 8484 808f 0008 818e 8693 bdc7 81c8 ................
│ │ │ │ -000043d0: 8084 c884 86cd 0500 2883 00f6 0082 81a1 ........(.......
│ │ │ │ -000043e0: a0a2 86c0 0047 83c3 4372 8400 ea00 ea84 .....G..Cr......
│ │ │ │ -000043f0: 8480 8f00 7281 8e86 93bd c781 c880 84c8 ....r...........
│ │ │ │ -00004400: 8486 cd05 0400 0d81 8600 f600 8281 a1a0 ................
│ │ │ │ -00004410: a286 c000 4883 c343 7484 00ea 00ea 8484 ....H..Ct.......
│ │ │ │ -00004420: 808f 00ec 8e86 93bd c781 c880 84c8 8486 ................
│ │ │ │ -00004430: cd05 0029 8300 f600 8281 a1a0 a286 c000 ...)............
│ │ │ │ -00004440: 4a83 c343 7684 00ea 00ea 8484 808f 003d J..Cv..........=
│ │ │ │ -00004450: 818e 8693 bdc7 81c8 8084 c884 86cd 0500 ................
│ │ │ │ -00004460: 2a83 00f6 0082 81a1 a0a2 86c0 004b 83c3 *............K..
│ │ │ │ -00004470: 4378 8400 ea00 ea84 8480 8f04 038a 6c6f Cx............lo
│ │ │ │ -00004480: 6361 6c82 8e86 93bd c781 c880 84c8 8486 cal.............
│ │ │ │ -00004490: cd05 002b 8300 f600 8281 a1a0 a286 c000 ...+............
│ │ │ │ -000044a0: 4e83 c343 7a84 00ea 00ea 8484 808f 0400 N..Cz...........
│ │ │ │ -000044b0: 1181 828e 8693 bdc7 81c8 8084 c884 86cd ................
│ │ │ │ -000044c0: 0500 2d83 00f6 0082 81a1 a0a2 86c0 0050 ..-............P
│ │ │ │ -000044d0: 83c3 437c 8400 ea00 ea84 8480 8f04 0012 ..C|............
│ │ │ │ -000044e0: 8182 8e86 93bd c781 c880 84c8 8486 cd05 ................
│ │ │ │ -000044f0: 002e 8300 f600 8281 a1a0 a286 c000 5283 ..............R.
│ │ │ │ -00004500: c343 7e84 00ea 00ea 8484 808f 0400 1381 .C~.............
│ │ │ │ -00004510: 828e 8693 bdc7 81c8 8084 c884 86cd 0500 ................
│ │ │ │ -00004520: 2f83 00f6 0082 81a1 a0a2 86c0 0054 83c3 /............T..
│ │ │ │ -00004530: 5850 0040 8180 4302 8500 ea00 ea82 8281 XP.@..C.........
│ │ │ │ -00004540: 8f00 a98f 0044 8182 003c 8193 9000 3281 .....D...<....2.
│ │ │ │ -00004550: 8200 3c81 9382 0048 81c4 5850 0028 8180 ..<....H..XP.(..
│ │ │ │ -00004560: 4302 8500 ea00 ea84 8481 8f00 c082 00aa C...............
│ │ │ │ -00004570: 0182 8493 8f00 b982 00eb 0182 048a 938a ................
│ │ │ │ -00004580: 1a81 4249 6620 7468 6520 3374 6820 6172 ..BIf the 3th ar
│ │ │ │ -00004590: 6775 6d65 6e74 206f 6620 7872 6566 5f64 gument of xref_d
│ │ │ │ -000045a0: 6566 696e 6564 2063 6f6e 7461 696e 7320 efined contains
│ │ │ │ -000045b0: 6c69 6e65 2069 6e66 6f2c 2072 6574 7572 line info, retur
│ │ │ │ -000045c0: 6e20 7468 6973 2069 6e20 4c69 6e65 2e8a n this in Line..
│ │ │ │ -000045d0: 7a81 4225 2120 2078 7265 665f 6465 6669 z.B%! xref_defi
│ │ │ │ -000045e0: 6e69 7469 6f6e 5f6c 696e 6528 2b48 6f77 nition_line(+How
│ │ │ │ -000045f0: 2c20 2d4c 696e 6529 0a25 0a25 2020 2049 , -Line).%.% I
│ │ │ │ -00004600: 6620 7468 6520 3374 6820 6172 6775 6d65 f the 3th argume
│ │ │ │ -00004610: 6e74 206f 6620 7872 6566 5f64 6566 696e nt of xref_defin
│ │ │ │ -00004620: 6564 2063 6f6e 7461 696e 7320 6c69 6e65 ed contains line
│ │ │ │ -00004630: 2069 6e66 6f2c 2072 6574 7572 6e0a 2520 info, return.%
│ │ │ │ -00004640: 2020 7468 6973 2069 6e20 4c69 6e65 2ec4 this in Line..
│ │ │ │ -00004650: 5850 00a9 8043 0785 00ea 00ea 8383 818f XP...C..........
│ │ │ │ -00004660: 004c 838e 8493 8d84 c443 0885 00ea 00ea .L.......C......
│ │ │ │ -00004670: 8383 818f 0008 818e 8493 8d84 c443 0985 .............C..
│ │ │ │ -00004680: 00ea 00ea 8383 818f 0072 818e 8493 8d84 .........r......
│ │ │ │ -00004690: c443 0a85 00ea 00ea 8383 818f 00ec 8e84 .C..............
│ │ │ │ -000046a0: 938d 84c4 430b 8500 ea00 ea83 8381 8f00 ....C...........
│ │ │ │ -000046b0: 3d81 8e84 938d 84c4 430c 8500 ea00 ea83 =.......C.......
│ │ │ │ -000046c0: 8381 8f00 5183 8e84 938d 84c4 430d 8500 ....Q.......C...
│ │ │ │ -000046d0: ea00 ea83 8381 8f00 4f83 8e84 938d 84c4 ........O.......
│ │ │ │ -000046e0: 5850 0040 8180 4310 8500 ea00 ea82 8281 XP.@..C.........
│ │ │ │ -000046f0: 8f00 9c8f 004c 8182 003c 8193 9000 4c81 .....L...<....L.
│ │ │ │ -00004700: 8200 3c81 9382 003b 83c4 5850 0028 8180 ..<....;..XP.(..
│ │ │ │ -00004710: 4310 8500 ea00 ea84 8481 8f00 c082 009d C...............
│ │ │ │ -00004720: 0182 8493 8f00 b982 00eb 0182 208a 938a ............ ...
│ │ │ │ -00004730: be42 5472 7565 2077 6865 6e20 536f 7572 .BTrue when Sour
│ │ │ │ -00004740: 6365 2065 7870 6f72 7473 2048 6561 642e ce exports Head.
│ │ │ │ -00004750: 8a24 8142 2521 2020 7872 6566 5f65 7870 .$.B%! xref_exp
│ │ │ │ -00004760: 6f72 7465 6428 3f53 6f75 7263 652c 203f orted(?Source, ?
│ │ │ │ -00004770: 4865 6164 2920 6973 206e 6f6e 6465 742e Head) is nondet.
│ │ │ │ -00004780: 0a25 0a25 2020 2054 7275 6520 7768 656e .%.% True when
│ │ │ │ -00004790: 2053 6f75 7263 6520 6578 706f 7274 7320 Source exports
│ │ │ │ -000047a0: 4865 6164 2ec4 5850 009c 8043 1485 00ea Head..XP...C....
│ │ │ │ -000047b0: 00ea 8383 80bd 9fb3 84bf 0078 81c7 81c8 ...........x....
│ │ │ │ -000047c0: 8082 c882 84cd 0500 3083 00f6 0082 81a0 ........0.......
│ │ │ │ -000047d0: a1c0 0055 83c3 5850 0040 8180 4318 8500 ...U..XP.@..C...
│ │ │ │ -000047e0: ea00 ea82 8281 8f00 8e8f 004c 8182 003c ...........L...<
│ │ │ │ -000047f0: 8193 9000 4c81 8200 3c81 9382 003b 83c4 ....L...<....;..
│ │ │ │ -00004800: 5850 0028 8180 4318 8500 ea00 ea84 8481 XP.(..C.........
│ │ │ │ -00004810: 8f00 c082 008f 0182 8493 8f00 b982 00eb ................
│ │ │ │ -00004820: 0182 308a 938a ca42 5472 7565 2069 6620 ..0....BTrue if
│ │ │ │ -00004830: 4d6f 6475 6c65 2069 7320 6465 6669 6e65 Module is define
│ │ │ │ -00004840: 6420 696e 2053 6f75 7263 652e 8a30 8142 d in Source..0.B
│ │ │ │ -00004850: 2521 2020 7872 6566 5f6d 6f64 756c 6528 %! xref_module(
│ │ │ │ -00004860: 3f53 6f75 7263 652c 203f 4d6f 6475 6c65 ?Source, ?Module
│ │ │ │ -00004870: 2920 6973 206e 6f6e 6465 742e 0a25 0a25 ) is nondet..%.%
│ │ │ │ -00004880: 2020 2054 7275 6520 6966 204d 6f64 756c True if Modul
│ │ │ │ -00004890: 6520 6973 2064 6566 696e 6564 2069 6e20 e is defined in
│ │ │ │ -000048a0: 536f 7572 6365 2ec4 5850 008e 8043 1c85 Source..XP...C..
│ │ │ │ -000048b0: 00ea 00ea 8383 80bd eb80 d09f b384 bf00 ................
│ │ │ │ -000048c0: 7881 c781 c880 82c8 8284 cd05 0032 8300 x............2..
│ │ │ │ -000048d0: f600 8281 a0a1 c000 5683 c343 2185 00ea ........V..C!...
│ │ │ │ -000048e0: 00ea 8383 80bd a0b3 84bf 0056 83c7 81c8 ...........V....
│ │ │ │ -000048f0: 8284 cd00 7881 0082 819f a1c0 0078 81c3 ....x........x..
│ │ │ │ -00004900: 5850 0040 8180 4325 8500 ea00 ea82 8281 XP.@..C%........
│ │ │ │ -00004910: 8f00 b28f 004c 8182 003c 8193 8f00 4c81 .....L...<....L.
│ │ │ │ -00004920: 8200 3c81 9390 004c 8182 003c 8193 8200 ..<....L...<....
│ │ │ │ -00004930: 3b83 c458 5000 2881 8043 2585 00ea 00ea ;..XP.(..C%.....
│ │ │ │ -00004940: 8484 818f 00c0 8200 b301 8286 938f 00b9 ................
│ │ │ │ -00004950: 8200 eb01 824a 8a93 8ae4 4254 7275 6520 .....J....BTrue
│ │ │ │ -00004960: 7768 656e 2053 6f75 7263 6520 7472 6965 when Source trie
│ │ │ │ -00004970: 7320 746f 206c 6f61 6420 6120 6669 6c65 s to load a file
│ │ │ │ -00004980: 2075 7369 6e67 2053 7065 632e 8a2c 8442 using Spec..,.B
│ │ │ │ -00004990: 2521 2020 7872 6566 5f75 7365 735f 6669 %! xref_uses_fi
│ │ │ │ -000049a0: 6c65 283f 536f 7572 6365 2c20 3f53 7065 le(?Source, ?Spe
│ │ │ │ -000049b0: 632c 203f 5061 7468 2920 6973 206e 6f6e c, ?Path) is non
│ │ │ │ -000049c0: 6465 742e 0a25 0a25 2020 2054 7275 6520 det..%.% True
│ │ │ │ -000049d0: 7768 656e 2053 6f75 7263 6520 7472 6965 when Source trie
│ │ │ │ -000049e0: 7320 746f 206c 6f61 6420 6120 6669 6c65 s to load a file
│ │ │ │ -000049f0: 2075 7369 6e67 2053 7065 632e 0a25 0a25 using Spec..%.%
│ │ │ │ -00004a00: 2020 2040 7061 7261 6d20 5370 6563 2069 @param Spec i
│ │ │ │ -00004a10: 7320 6120 7370 6563 6966 6963 6174 696f s a specificatio
│ │ │ │ -00004a20: 6e20 666f 7220 6162 736f 6c75 7465 5f66 n for absolute_f
│ │ │ │ -00004a30: 696c 655f 6e61 6d65 2f33 0a25 2020 2040 ile_name/3.% @
│ │ │ │ -00004a40: 7061 7261 6d20 5061 7468 2069 7320 6569 param Path is ei
│ │ │ │ -00004a50: 7468 6572 2061 6e20 6162 736f 6c75 7465 ther an absolute
│ │ │ │ -00004a60: 2066 696c 6520 6e61 6d65 206f 6620 7468 file name of th
│ │ │ │ -00004a70: 6520 7461 7267 6574 0a25 2020 2020 2020 e target.%
│ │ │ │ -00004a80: 2020 2020 6669 6c65 206f 7220 7468 6520 file or the
│ │ │ │ -00004a90: 6174 6f6d 203d 7c3c 6e6f 745f 666f 756e atom =|