Skip to content

Instantly share code, notes, and snippets.

@r-ryantm
Created April 10, 2021 06:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save r-ryantm/478990f0063dba94adc0a1ca319d2f8d to your computer and use it in GitHub Desktop.
Save r-ryantm/478990f0063dba94adc0a1ca319d2f8d to your computer and use it in GitHub Desktop.
/nix/store/i02vhqs0vn3h2cjyg2nplyfy315l8jp7-ciao-1.20.0
├── bin
│   ├── ciao -> ../ciao/1.20.0/build/bin/ciao
│   ├── ciao_builder -> ../ciao/1.20.0/build/bin/ciao_builder
│   ├── ciaoc -> ../ciao/1.20.0/build/bin/ciaoc
│   ├── ciaoc_sdyn -> ../ciao/1.20.0/build/bin/ciaoc_sdyn
│   ├── ciaodump -> ../ciao/1.20.0/build/bin/ciaodump
│   ├── ciao-env -> ../ciao/1.20.0/build/bin/ciao-env
│   ├── ciao_publish -> ../ciao/1.20.0/build/bin/ciao_publish
│   ├── ciao-serve -> ../ciao/1.20.0/build/bin/ciao-serve
│   ├── ciaosh -> ../ciao/1.20.0/build/bin/ciaosh
│   ├── ciao-shell -> ../ciao/1.20.0/build/bin/ciao-shell
│   ├── ciao_sysconf -> ../ciao/1.20.0/build/bin/ciao_sysconf
│   ├── pldiff -> ../ciao/1.20.0/build/bin/pldiff
│   └── prolog -> ../ciao/1.20.0/build/bin/ciao
└── ciao
└── 1.20.0
├── build
│   ├── bin
│   │   ├── ciao
│   │   ├── ciao_builder
│   │   ├── ciaoc
│   │   ├── ciaoc_sdyn
│   │   ├── ciaodump
│   │   ├── ciao-env
│   │   ├── ciao_publish
│   │   ├── ciao-serve
│   │   ├── ciaosh
│   │   ├── ciao-shell
│   │   ├── ciao_sysconf
│   │   └── pldiff
│   ├── bundlereg
│   │   ├── builder.bundlecfg
│   │   ├── builder.bundlereg
│   │   ├── core.bundlecfg
│   │   └── core.bundlereg
│   ├── cache
│   │   ├── builder.cmds.ciao_builder.itf
│   │   ├── builder.cmds.ciao_builder.po
│   │   ├── builder.cmds.ciao_publish.itf
│   │   ├── builder.cmds.ciao_publish.po
│   │   ├── builder.src.builder_aux.asr
│   │   ├── builder.src.builder_aux.itf
│   │   ├── builder.src.builder_aux.po
│   │   ├── builder.src.builder_cmds.asr
│   │   ├── builder.src.builder_cmds.itf
│   │   ├── builder.src.builder_cmds.po
│   │   ├── builder.src.builder_flags.asr
│   │   ├── builder.src.builder_flags.itf
│   │   ├── builder.src.builder_flags.po
│   │   ├── builder.src.builder_prim.asr
│   │   ├── builder.src.builder_prim.itf
│   │   ├── builder.src.builder_prim.po
│   │   ├── builder.src.builder_targets.asr
│   │   ├── builder.src.builder_targets.itf
│   │   ├── builder.src.builder_targets.po
│   │   ├── builder.src.bundle_configure.asr
│   │   ├── builder.src.bundle_configure.itf
│   │   ├── builder.src.bundle_configure.po
│   │   ├── builder.src.bundle_fetch.asr
│   │   ├── builder.src.bundle_fetch.itf
│   │   ├── builder.src.bundle_fetch.po
│   │   ├── builder.src.bundle_hash.asr
│   │   ├── builder.src.bundle_hash.itf
│   │   ├── builder.src.bundle_hash.po
│   │   ├── builder.src.bundlehooks.bundlehooks_rt.asr
│   │   ├── builder.src.bundlehooks.bundlehooks_rt.itf
│   │   ├── builder.src.bundlehooks.bundlehooks_rt.po
│   │   ├── builder.src.bundlehooks.bundlehooks_tr.asr
│   │   ├── builder.src.bundlehooks.bundlehooks_tr.itf
│   │   ├── builder.src.bundlehooks.bundlehooks_tr.po
│   │   ├── builder.src.bundlehooks_holder.asr
│   │   ├── builder.src.bundlehooks_holder.itf
│   │   ├── builder.src.bundlehooks_holder.po
│   │   ├── builder.src.bundle_scan.asr
│   │   ├── builder.src.bundle_scan.itf
│   │   ├── builder.src.bundle_scan.po
│   │   ├── builder.src.car_maker.asr
│   │   ├── builder.src.car_maker.itf
│   │   ├── builder.src.car_maker.po
│   │   ├── builder.src.ciaoc_aux.asr
│   │   ├── builder.src.ciaoc_aux.itf
│   │   ├── builder.src.ciaoc_aux.po
│   │   ├── builder.src.ciaoc_batch_call.asr
│   │   ├── builder.src.ciaoc_batch_call.itf
│   │   ├── builder.src.ciaoc_batch_call.po
│   │   ├── builder.src.ciaocl_help.asr
│   │   ├── builder.src.ciaocl_help.itf
│   │   ├── builder.src.ciaocl_help.po
│   │   ├── builder.src.ciaocl_parser.asr
│   │   ├── builder.src.ciaocl_parser.itf
│   │   ├── builder.src.ciaocl_parser.po
│   │   ├── builder.src.ciaopp_aux.asr
│   │   ├── builder.src.ciaopp_aux.itf
│   │   ├── builder.src.ciaopp_aux.po
│   │   ├── builder.src.cmake_aux.asr
│   │   ├── builder.src.cmake_aux.itf
│   │   ├── builder.src.cmake_aux.po
│   │   ├── builder.src.config_common.asr
│   │   ├── builder.src.config_common.itf
│   │   ├── builder.src.config_common.po
│   │   ├── builder.src.cpx_process.asr
│   │   ├── builder.src.cpx_process.itf
│   │   ├── builder.src.cpx_process.po
│   │   ├── builder.src.detcheader.asr
│   │   ├── builder.src.detcheader.itf
│   │   ├── builder.src.detcheader.po
│   │   ├── builder.src.eng_defs.asr
│   │   ├── builder.src.eng_defs.itf
│   │   ├── builder.src.eng_defs.po
│   │   ├── builder.src.git_extra.asr
│   │   ├── builder.src.git_extra.itf
│   │   ├── builder.src.git_extra.po
│   │   ├── builder.src.grade_analyze.asr
│   │   ├── builder.src.grade_analyze.itf
│   │   ├── builder.src.grade_analyze.po
│   │   ├── builder.src.grade_bin.asr
│   │   ├── builder.src.grade_bin.itf
│   │   ├── builder.src.grade_bin.po
│   │   ├── builder.src.grade_docs.asr
│   │   ├── builder.src.grade_docs.itf
│   │   ├── builder.src.grade_docs.po
│   │   ├── builder.src.grade_holder.asr
│   │   ├── builder.src.grade_holder.itf
│   │   ├── builder.src.grade_holder.po
│   │   ├── builder.src.info_installer.asr
│   │   ├── builder.src.info_installer.itf
│   │   ├── builder.src.info_installer.po
│   │   ├── builder.src.install_aux.asr
│   │   ├── builder.src.install_aux.itf
│   │   ├── builder.src.install_aux.po
│   │   ├── builder.src.interactive_aux.asr
│   │   ├── builder.src.interactive_aux.itf
│   │   ├── builder.src.interactive_aux.po
│   │   ├── builder.src.lpdoc_aux.asr
│   │   ├── builder.src.lpdoc_aux.itf
│   │   ├── builder.src.lpdoc_aux.po
│   │   ├── builder.src.manifest_compiler.asr
│   │   ├── builder.src.manifest_compiler.itf
│   │   ├── builder.src.manifest_compiler.po
│   │   ├── builder.src.messages_aux.asr
│   │   ├── builder.src.messages_aux.itf
│   │   ├── builder.src.messages_aux.po
│   │   ├── builder.src.pbundle_gen_bin.asr
│   │   ├── builder.src.pbundle_gen_bin.itf
│   │   ├── builder.src.pbundle_gen_bin.po
│   │   ├── builder.src.pbundle_generator.asr
│   │   ├── builder.src.pbundle_generator.itf
│   │   ├── builder.src.pbundle_generator.po
│   │   ├── builder.src.pbundle_gen_mac.asr
│   │   ├── builder.src.pbundle_gen_mac.itf
│   │   ├── builder.src.pbundle_gen_mac.po
│   │   ├── builder.src.pbundle_gen_rpm.asr
│   │   ├── builder.src.pbundle_gen_rpm.itf
│   │   ├── builder.src.pbundle_gen_rpm.po
│   │   ├── builder.src.pbundle_gen_src.asr
│   │   ├── builder.src.pbundle_gen_src.itf
│   │   ├── builder.src.pbundle_gen_src.po
│   │   ├── builder.src.pbundle_gen_win32.asr
│   │   ├── builder.src.pbundle_gen_win32.itf
│   │   ├── builder.src.pbundle_gen_win32.po
│   │   ├── builder.src.pbundle_meta.asr
│   │   ├── builder.src.pbundle_meta.itf
│   │   ├── builder.src.pbundle_meta.po
│   │   ├── builder.src.register_in_script.asr
│   │   ├── builder.src.register_in_script.itf
│   │   ├── builder.src.register_in_script.po
│   │   ├── builder.src.site_aux.asr
│   │   ├── builder.src.site_aux.itf
│   │   ├── builder.src.site_aux.po
│   │   ├── builder.src.tests_aux.asr
│   │   ├── builder.src.tests_aux.itf
│   │   ├── builder.src.tests_aux.po
│   │   ├── builder.src.third_party_config.asr
│   │   ├── builder.src.third_party_config.itf
│   │   ├── builder.src.third_party_config.po
│   │   ├── builder.src.third_party_custom.asr
│   │   ├── builder.src.third_party_custom.itf
│   │   ├── builder.src.third_party_custom.po
│   │   ├── builder.src.third_party_install.asr
│   │   ├── builder.src.third_party_install.itf
│   │   ├── builder.src.third_party_install.po
│   │   ├── core.cmds.ciaoc_sdyn.itf
│   │   ├── core.cmds.ciaoc_sdyn.po
│   │   ├── core.cmds.ciaodump.itf
│   │   ├── core.cmds.ciaodump.po
│   │   ├── core.cmds.ciao-serve.ciao-serve.itf
│   │   ├── core.cmds.ciao-serve.ciao-serve.po
│   │   ├── core.cmds.ciao-shell.itf
│   │   ├── core.cmds.ciao-shell.po
│   │   ├── core.cmds.ciaosh.itf
│   │   ├── core.cmds.ciaosh.po
│   │   ├── core.cmds.pldiff.itf
│   │   ├── core.cmds.pldiff.po
│   │   ├── core.engine.arithmetic.asr
│   │   ├── core.engine.arithmetic.itf
│   │   ├── core.engine.arithmetic.po
│   │   ├── core.engine.atomic_basic.asr
│   │   ├── core.engine.atomic_basic.itf
│   │   ├── core.engine.atomic_basic.po
│   │   ├── core.engine.atomic_basic..test.asr
│   │   ├── core.engine.atomic_basic..test.itf
│   │   ├── core.engine.atomic_basic..test.po
│   │   ├── core.engine.attributes.asr
│   │   ├── core.engine.attributes.itf
│   │   ├── core.engine.attributes.po
│   │   ├── core.engine.basiccontrol.asr
│   │   ├── core.engine.basiccontrol.itf
│   │   ├── core.engine.basiccontrol.po
│   │   ├── core.engine.basic_props.asr
│   │   ├── core.engine.basic_props.itf
│   │   ├── core.engine.basic_props.po
│   │   ├── core.engine.basic_props_rtc.asr
│   │   ├── core.engine.basic_props_rtc.itf
│   │   ├── core.engine.basic_props_rtc.po
│   │   ├── core.engine.ciaoengine.asr
│   │   ├── core.engine.ciaoengine.itf
│   │   ├── core.engine.ciaoengine.po
│   │   ├── core.engine.debugger_support.asr
│   │   ├── core.engine.debugger_support.itf
│   │   ├── core.engine.debugger_support.po
│   │   ├── core.engine.exceptions.asr
│   │   ├── core.engine.exceptions.itf
│   │   ├── core.engine.exceptions.po
│   │   ├── core.engine.hiord_rt.asr
│   │   ├── core.engine.hiord_rt.itf
│   │   ├── core.engine.hiord_rt.po
│   │   ├── core.engine.internals.asr
│   │   ├── core.engine.internals.itf
│   │   ├── core.engine.internals.po
│   │   ├── core.engine.io_basic.asr
│   │   ├── core.engine.io_basic.itf
│   │   ├── core.engine.io_basic.po
│   │   ├── core.engine.messages_basic.asr
│   │   ├── core.engine.messages_basic.itf
│   │   ├── core.engine.messages_basic.po
│   │   ├── core.engine.meta_inc.asr
│   │   ├── core.engine.meta_inc.itf
│   │   ├── core.engine.meta_inc.po
│   │   ├── core.engine.modules.asr
│   │   ├── core.engine.modules.itf
│   │   ├── core.engine.modules.po
│   │   ├── core.engine.packages.asr
│   │   ├── core.engine.packages.itf
│   │   ├── core.engine.packages.po
│   │   ├── core.engine.runtime_control.asr
│   │   ├── core.engine.runtime_control.itf
│   │   ├── core.engine.runtime_control.po
│   │   ├── core.engine.stream_basic.asr
│   │   ├── core.engine.stream_basic.itf
│   │   ├── core.engine.stream_basic.po
│   │   ├── core.engine.system_info.asr
│   │   ├── core.engine.system_info.itf
│   │   ├── core.engine.system_info.po
│   │   ├── core.engine.term_basic.asr
│   │   ├── core.engine.term_basic.itf
│   │   ├── core.engine.term_basic.po
│   │   ├── core.engine.term_compare.asr
│   │   ├── core.engine.term_compare.itf
│   │   ├── core.engine.term_compare.po
│   │   ├── core.engine.term_typing.asr
│   │   ├── core.engine.term_typing.itf
│   │   ├── core.engine.term_typing.po
│   │   ├── core.lib.aggregates.asr
│   │   ├── core.lib.aggregates.itf
│   │   ├── core.lib.aggregates.po
│   │   ├── core.lib.assertions.assertions_props.asr
│   │   ├── core.lib.assertions.assertions_props.itf
│   │   ├── core.lib.assertions.assertions_props.po
│   │   ├── core.lib.assertions.assrt_lib.asr
│   │   ├── core.lib.assertions.assrt_lib_extra.asr
│   │   ├── core.lib.assertions.assrt_lib_extra.itf
│   │   ├── core.lib.assertions.assrt_lib_extra.po
│   │   ├── core.lib.assertions.assrt_lib.itf
│   │   ├── core.lib.assertions.assrt_lib.po
│   │   ├── core.lib.assertions.assrt_write.asr
│   │   ├── core.lib.assertions.assrt_write.itf
│   │   ├── core.lib.assertions.assrt_write.po
│   │   ├── core.lib.assertions.c_itf_props.asr
│   │   ├── core.lib.assertions.c_itf_props.itf
│   │   ├── core.lib.assertions.c_itf_props.po
│   │   ├── core.lib.assertions.doc_props.asr
│   │   ├── core.lib.assertions.doc_props.itf
│   │   ├── core.lib.assertions.doc_props.po
│   │   ├── core.lib.assertions.native_props.asr
│   │   ├── core.lib.assertions.native_props.itf
│   │   ├── core.lib.assertions.native_props.po
│   │   ├── core.lib.assertions.native_props_rtc.asr
│   │   ├── core.lib.assertions.native_props_rtc.itf
│   │   ├── core.lib.assertions.native_props_rtc.po
│   │   ├── core.lib.assertions.pp.pp_tr.asr
│   │   ├── core.lib.assertions.pp.pp_tr.itf
│   │   ├── core.lib.assertions.pp.pp_tr.po
│   │   ├── core.lib.attr.attr_rt.asr
│   │   ├── core.lib.attr.attr_rt.itf
│   │   ├── core.lib.attr.attr_rt.po
│   │   ├── core.lib.attr.attr_tr.asr
│   │   ├── core.lib.attr.attr_tr.itf
│   │   ├── core.lib.attr.attr_tr.po
│   │   ├── core.lib.attrdump.asr
│   │   ├── core.lib.attrdump.itf
│   │   ├── core.lib.attrdump.po
│   │   ├── core.lib.attr.examples.attr_bench.asr
│   │   ├── core.lib.attr.examples.attr_bench.itf
│   │   ├── core.lib.attr.examples.attr_bench.po
│   │   ├── core.lib.attr.examples.myfreeze.asr
│   │   ├── core.lib.attr.examples.myfreeze.itf
│   │   ├── core.lib.attr.examples.myfreeze.po
│   │   ├── core.lib.between.asr
│   │   ├── core.lib.between.itf
│   │   ├── core.lib.between.po
│   │   ├── core.lib.bundle.bundle_flags.asr
│   │   ├── core.lib.bundle.bundle_flags.itf
│   │   ├── core.lib.bundle.bundle_flags.po
│   │   ├── core.lib.bundle.bundle_info.asr
│   │   ├── core.lib.bundle.bundle_info.itf
│   │   ├── core.lib.bundle.bundle_info.po
│   │   ├── core.lib.bundle.bundle_paths.asr
│   │   ├── core.lib.bundle.bundle_paths.itf
│   │   ├── core.lib.bundle.bundle_paths.po
│   │   ├── core.lib.compiler.build_foreign_interface.asr
│   │   ├── core.lib.compiler.build_foreign_interface.itf
│   │   ├── core.lib.compiler.build_foreign_interface.po
│   │   ├── core.lib.compiler.c_itf.asr
│   │   ├── core.lib.compiler.c_itf.itf
│   │   ├── core.lib.compiler.c_itf.po
│   │   ├── core.lib.compiler.compiler.asr
│   │   ├── core.lib.compiler.compiler.itf
│   │   ├── core.lib.compiler.compiler.po
│   │   ├── core.lib.compiler.emugen.emugen_errors.asr
│   │   ├── core.lib.compiler.emugen.emugen_errors.itf
│   │   ├── core.lib.compiler.emugen.emugen_errors.po
│   │   ├── core.lib.compiler.emugen.emugen_tr.asr
│   │   ├── core.lib.compiler.emugen.emugen_tr.itf
│   │   ├── core.lib.compiler.emugen.emugen_tr.po
│   │   ├── core.lib.compiler.engine_path.asr
│   │   ├── core.lib.compiler.engine_path.itf
│   │   ├── core.lib.compiler.engine_path.po
│   │   ├── core.lib.compiler.exemaker.asr
│   │   ├── core.lib.compiler.exemaker.itf
│   │   ├── core.lib.compiler.exemaker.po
│   │   ├── core.lib.compiler.file_buffer.asr
│   │   ├── core.lib.compiler.file_buffer.itf
│   │   ├── core.lib.compiler.file_buffer.po
│   │   ├── core.lib.compiler.foreign__gluecode.asr
│   │   ├── core.lib.compiler.foreign__gluecode.itf
│   │   ├── core.lib.compiler.foreign__gluecode.po
│   │   ├── core.lib.compiler.frontend_condcomp.asr
│   │   ├── core.lib.compiler.frontend_condcomp.itf
│   │   ├── core.lib.compiler.frontend_condcomp.po
│   │   ├── core.lib.compiler.global_module_options.asr
│   │   ├── core.lib.compiler.global_module_options.itf
│   │   ├── core.lib.compiler.global_module_options.po
│   │   ├── core.lib.compiler.pl2wam.asr
│   │   ├── core.lib.compiler.pl2wam.itf
│   │   ├── core.lib.compiler.pl2wam.po
│   │   ├── core.lib.compiler.pl2wam_tables.asr
│   │   ├── core.lib.compiler.pl2wam_tables.itf
│   │   ├── core.lib.compiler.pl2wam_tables.po
│   │   ├── core.lib.compiler.shell_itf.asr
│   │   ├── core.lib.compiler.shell_itf.itf
│   │   ├── core.lib.compiler.shell_itf.po
│   │   ├── core.lib.compiler.srcdbg.asr
│   │   ├── core.lib.compiler.srcdbg.itf
│   │   ├── core.lib.compiler.srcdbg.po
│   │   ├── core.lib.compiler.translation.asr
│   │   ├── core.lib.compiler.translation.itf
│   │   ├── core.lib.compiler.translation.po
│   │   ├── core.lib.compiler.up_to_date.asr
│   │   ├── core.lib.compiler.up_to_date.itf
│   │   ├── core.lib.compiler.up_to_date.po
│   │   ├── core.lib.concurrency.concurrency.asr
│   │   ├── core.lib.concurrency.concurrency.itf
│   │   ├── core.lib.concurrency.concurrency.po
│   │   ├── core.lib.ctrlcclean.asr
│   │   ├── core.lib.ctrlcclean.itf
│   │   ├── core.lib.ctrlcclean.po
│   │   ├── core.lib.cyclic_terms.asr
│   │   ├── core.lib.cyclic_terms.itf
│   │   ├── core.lib.cyclic_terms.po
│   │   ├── core.lib.datafacts.datafacts_rt.asr
│   │   ├── core.lib.datafacts.datafacts_rt.itf
│   │   ├── core.lib.datafacts.datafacts_rt.po
│   │   ├── core.lib.dcg.dcg_phrase_rt.asr
│   │   ├── core.lib.dcg.dcg_phrase_rt.itf
│   │   ├── core.lib.dcg.dcg_phrase_rt.po
│   │   ├── core.lib.dcg.dcg_tr.asr
│   │   ├── core.lib.dcg.dcg_tr.itf
│   │   ├── core.lib.dcg.dcg_tr.po
│   │   ├── core.lib.debugger.debugger.asr
│   │   ├── core.lib.debugger.debugger.itf
│   │   ├── core.lib.debugger.debugger_lib.asr
│   │   ├── core.lib.debugger.debugger_lib.itf
│   │   ├── core.lib.debugger.debugger_lib.po
│   │   ├── core.lib.debugger.debugger.po
│   │   ├── core.lib.debugger.debugger_tr.asr
│   │   ├── core.lib.debugger.debugger_tr.itf
│   │   ├── core.lib.debugger.debugger_tr.po
│   │   ├── core.lib.debugger.embedded_rt.asr
│   │   ├── core.lib.debugger.embedded_rt.itf
│   │   ├── core.lib.debugger.embedded_rt.po
│   │   ├── core.lib.debugger.embedded_tr.asr
│   │   ├── core.lib.debugger.embedded_tr.itf
│   │   ├── core.lib.debugger.embedded_tr.po
│   │   ├── core.lib.dec10_io.asr
│   │   ├── core.lib.dec10_io.itf
│   │   ├── core.lib.dec10_io.po
│   │   ├── core.lib.dict.asr
│   │   ├── core.lib.dict.itf
│   │   ├── core.lib.dict.po
│   │   ├── core.lib.dynamic_clauses.dynamic_clauses_rt.asr
│   │   ├── core.lib.dynamic_clauses.dynamic_clauses_rt.itf
│   │   ├── core.lib.dynamic_clauses.dynamic_clauses_rt.po
│   │   ├── core.lib.dynamic.dynamic_rt.asr
│   │   ├── core.lib.dynamic.dynamic_rt.itf
│   │   ├── core.lib.dynamic.dynamic_rt.po
│   │   ├── core.lib.errhandle.asr
│   │   ├── core.lib.errhandle.itf
│   │   ├── core.lib.errhandle.po
│   │   ├── core.lib.fastrw.asr
│   │   ├── core.lib.fastrw.itf
│   │   ├── core.lib.fastrw.po
│   │   ├── core.lib.foreign_compilation.asr
│   │   ├── core.lib.foreign_compilation.itf
│   │   ├── core.lib.foreign_compilation.po
│   │   ├── core.lib.foreign_interface.foreign_interface_properties.asr
│   │   ├── core.lib.foreign_interface.foreign_interface_properties.itf
│   │   ├── core.lib.foreign_interface.foreign_interface_properties_OC.asr
│   │   ├── core.lib.foreign_interface.foreign_interface_properties_OC.itf
│   │   ├── core.lib.foreign_interface.foreign_interface_properties_OC.po
│   │   ├── core.lib.foreign_interface.foreign_interface_properties.po
│   │   ├── core.lib.foreign_interface.foreign_interface_tr.asr
│   │   ├── core.lib.foreign_interface.foreign_interface_tr.itf
│   │   ├── core.lib.foreign_interface.foreign_interface_tr.po
│   │   ├── core.lib.format.asr
│   │   ├── core.lib.format.itf
│   │   ├── core.lib.format.po
│   │   ├── core.lib.format_to_string.asr
│   │   ├── core.lib.format_to_string.itf
│   │   ├── core.lib.format_to_string.po
│   │   ├── core.lib.fsmemo.fsmemo_rt.asr
│   │   ├── core.lib.fsmemo.fsmemo_rt.itf
│   │   ├── core.lib.fsmemo.fsmemo_rt.po
│   │   ├── core.lib.goal_trans.asr
│   │   ├── core.lib.goal_trans.itf
│   │   ├── core.lib.goal_trans.po
│   │   ├── core.lib.inliner.inliner_tr.asr
│   │   ├── core.lib.inliner.inliner_tr.itf
│   │   ├── core.lib.inliner.inliner_tr.po
│   │   ├── core.lib.io_port_reify.asr
│   │   ├── core.lib.io_port_reify.itf
│   │   ├── core.lib.io_port_reify.po
│   │   ├── core.lib.libpaths.asr
│   │   ├── core.lib.libpaths.itf
│   │   ├── core.lib.libpaths.po
│   │   ├── core.lib.lists.asr
│   │   ├── core.lib.lists.itf
│   │   ├── core.lib.lists.po
│   │   ├── core.lib.llists.asr
│   │   ├── core.lib.llists.itf
│   │   ├── core.lib.llists.po
│   │   ├── core.lib.messages.asr
│   │   ├── core.lib.messages.itf
│   │   ├── core.lib.messages.po
│   │   ├── core.lib.metaprops.meta_props.asr
│   │   ├── core.lib.metaprops.meta_props.itf
│   │   ├── core.lib.metaprops.meta_props.po
│   │   ├── core.lib.metatypes.metatypes_tr.asr
│   │   ├── core.lib.metatypes.metatypes_tr.itf
│   │   ├── core.lib.metatypes.metatypes_tr.po
│   │   ├── core.lib.miscprops.asr
│   │   ├── core.lib.miscprops.itf
│   │   ├── core.lib.miscprops.po
│   │   ├── core.lib.odd.asr
│   │   ├── core.lib.odd.itf
│   │   ├── core.lib.odd.po
│   │   ├── core.lib.old_database.asr
│   │   ├── core.lib.old_database.itf
│   │   ├── core.lib.old_database.po
│   │   ├── core.lib.operators.asr
│   │   ├── core.lib.operators.itf
│   │   ├── core.lib.operators.po
│   │   ├── core.lib.optparse.optparse_rt.asr
│   │   ├── core.lib.optparse.optparse_rt.itf
│   │   ├── core.lib.optparse.optparse_rt.po
│   │   ├── core.lib.optparse.optparse_tr.asr
│   │   ├── core.lib.optparse.optparse_tr.itf
│   │   ├── core.lib.optparse.optparse_tr.po
│   │   ├── core.lib.pathnames.asr
│   │   ├── core.lib.pathnames.itf
│   │   ├── core.lib.pathnames.po
│   │   ├── core.lib.port_reify.asr
│   │   ├── core.lib.port_reify.itf
│   │   ├── core.lib.port_reify.po
│   │   ├── core.lib.process.process.asr
│   │   ├── core.lib.process.process_channel.asr
│   │   ├── core.lib.process.process_channel.itf
│   │   ├── core.lib.process.process_channel.po
│   │   ├── core.lib.process.process.itf
│   │   ├── core.lib.process.process.po
│   │   ├── core.library.actmod.actmod_dist.asr
│   │   ├── core.library.actmod.actmod_dist.itf
│   │   ├── core.library.actmod.actmod_dist.po
│   │   ├── core.library.actmod.actmod_holder.asr
│   │   ├── core.library.actmod.actmod_holder.itf
│   │   ├── core.library.actmod.actmod_holder.po
│   │   ├── core.library.actmod.actmod_process.asr
│   │   ├── core.library.actmod.actmod_process.itf
│   │   ├── core.library.actmod.actmod_process.po
│   │   ├── core.library.actmod.actmod_rt.asr
│   │   ├── core.library.actmod.actmod_rt.itf
│   │   ├── core.library.actmod.actmod_rt.po
│   │   ├── core.library.actmod.actmod_tr.asr
│   │   ├── core.library.actmod.actmod_tr.itf
│   │   ├── core.library.actmod.actmod_tr.po
│   │   ├── core.library.actmod.examples.nameserver.nameserver.asr
│   │   ├── core.library.actmod.examples.nameserver.nameserver.itf
│   │   ├── core.library.actmod.examples.nameserver.nameserver.po
│   │   ├── core.library.actmod.examples.simple_client.asr
│   │   ├── core.library.actmod.examples.simple_client.itf
│   │   ├── core.library.actmod.examples.simple_client.po
│   │   ├── core.library.actmod.examples.simple_client_with_main.asr
│   │   ├── core.library.actmod.examples.simple_client_with_main.itf
│   │   ├── core.library.actmod.examples.simple_client_with_main.po
│   │   ├── core.library.actmod.examples.simple_server.asr
│   │   ├── core.library.actmod.examples.simple_server.itf
│   │   ├── core.library.actmod.examples.simple_server.po
│   │   ├── core.library.actmod.examples.webbased_simple_client.asr
│   │   ├── core.library.actmod.examples.webbased_simple_client.itf
│   │   ├── core.library.actmod.examples.webbased_simple_client.po
│   │   ├── core.library.actmod.filebased_common.asr
│   │   ├── core.library.actmod.filebased_common.itf
│   │   ├── core.library.actmod.filebased_common.po
│   │   ├── core.library.actmod_http.actmod_http.asr
│   │   ├── core.library.actmod_http.actmod_http.itf
│   │   ├── core.library.actmod_http.actmod_http.po
│   │   ├── core.library.actmod.regp_filebased.asr
│   │   ├── core.library.actmod.regp_filebased.itf
│   │   ├── core.library.actmod.regp_filebased.po
│   │   ├── core.library.actmod.regp_platformbased.asr
│   │   ├── core.library.actmod.regp_platformbased.itf
│   │   ├── core.library.actmod.regp_platformbased.po
│   │   ├── core.library.actmod.regp_platformserver.asr
│   │   ├── core.library.actmod.regp_platformserver.itf
│   │   ├── core.library.actmod.regp_platformserver.po
│   │   ├── core.library.actmod.regp_webbased.asr
│   │   ├── core.library.actmod.regp_webbased.itf
│   │   ├── core.library.actmod.regp_webbased.po
│   │   ├── core.library.actmod.regp_webserver.asr
│   │   ├── core.library.actmod.regp_webserver.itf
│   │   ├── core.library.actmod.regp_webserver.po
│   │   ├── core.library.actmod.rundaemon.asr
│   │   ├── core.library.actmod.rundaemon.itf
│   │   ├── core.library.actmod.rundaemon_LINUXx86_64.a
│   │   ├── core.library.actmod.rundaemon_LINUXx86_64_glue.c
│   │   ├── core.library.actmod.rundaemon_LINUXx86_64_glue.o
│   │   ├── core.library.actmod.rundaemon_LINUXx86_64.o
│   │   ├── core.library.actmod.rundaemon_LINUXx86_64.so
│   │   ├── core.library.actmod.rundaemon.po
│   │   ├── core.library.actmod.webbased_common.asr
│   │   ├── core.library.actmod.webbased_common.itf
│   │   ├── core.library.actmod.webbased_common.po
│   │   ├── core.library.andorra.andorra_builtins.asr
│   │   ├── core.library.andorra.andorra_builtins.itf
│   │   ├── core.library.andorra.andorra_builtins.po
│   │   ├── core.library.andorra.andorra_rt.asr
│   │   ├── core.library.andorra.andorra_rt.itf
│   │   ├── core.library.andorra.andorra_rt.po
│   │   ├── core.library.andorra.andorra_tr.asr
│   │   ├── core.library.andorra.andorra_tr.itf
│   │   ├── core.library.andorra.andorra_tr.po
│   │   ├── core.library.archive_files.asr
│   │   ├── core.library.archive_files.itf
│   │   ├── core.library.archive_files.po
│   │   ├── core.library.argnames.argnames_trans.asr
│   │   ├── core.library.argnames.argnames_trans.itf
│   │   ├── core.library.argnames.argnames_trans.po
│   │   ├── core.library.argnames.tests.argnames_test.asr
│   │   ├── core.library.argnames.tests.argnames_test.itf
│   │   ├── core.library.argnames.tests.argnames_test.po
│   │   ├── core.library.arithpreds.asr
│   │   ├── core.library.arithpreds.itf
│   │   ├── core.library.arithpreds.po
│   │   ├── core.library.arrays.asr
│   │   ├── core.library.arrays.itf
│   │   ├── core.library.arrays.po
│   │   ├── core.library.assoc.asr
│   │   ├── core.library.assoc.itf
│   │   ├── core.library.assoc.po
│   │   ├── core.library.bf.examples.chain.asr
│   │   ├── core.library.bf.examples.chain_bfall.asr
│   │   ├── core.library.bf.examples.chain_bfall.itf
│   │   ├── core.library.bf.examples.chain_bfall.po
│   │   ├── core.library.bf.examples.chain.itf
│   │   ├── core.library.bf.examples.chain.po
│   │   ├── core.library.bf.examples.sublistapp.asr
│   │   ├── core.library.bf.examples.sublistapp.itf
│   │   ├── core.library.bf.examples.sublistapp.po
│   │   ├── core.library.bf.sr_tr.asr
│   │   ├── core.library.bf.sr_tr.itf
│   │   ├── core.library.bf.sr_tr.po
│   │   ├── core.library.bitcodesets.asr
│   │   ├── core.library.bitcodesets.itf
│   │   ├── core.library.bitcodesets.po
│   │   ├── core.library.block.block_rt.asr
│   │   ├── core.library.block.block_rt.itf
│   │   ├── core.library.block.block_rt.po
│   │   ├── core.library.block.block_tr.asr
│   │   ├── core.library.block.block_tr.itf
│   │   ├── core.library.block.block_tr.po
│   │   ├── core.library.block.examples.block_example.asr
│   │   ├── core.library.block.examples.block_example.itf
│   │   ├── core.library.block.examples.block_example.po
│   │   ├── core.library.classic.classic_predicates.asr
│   │   ├── core.library.classic.classic_predicates.itf
│   │   ├── core.library.classic.classic_predicates.po
│   │   ├── core.library.clpfd.clpfd_debug_rt.asr
│   │   ├── core.library.clpfd.clpfd_debug_rt.itf
│   │   ├── core.library.clpfd.clpfd_debug_rt.po
│   │   ├── core.library.clpfd.clpfd_rt.asr
│   │   ├── core.library.clpfd.clpfd_rt.itf
│   │   ├── core.library.clpfd.clpfd_rt.po
│   │   ├── core.library.clpfd.clpfd_stats.asr
│   │   ├── core.library.clpfd.clpfd_stats.itf
│   │   ├── core.library.clpfd.clpfd_stats.po
│   │   ├── core.library.clpfd.clpfd_tr.asr
│   │   ├── core.library.clpfd.clpfd_tr.itf
│   │   ├── core.library.clpfd.clpfd_tr.po
│   │   ├── core.library.clpfd.fd_constraints.asr
│   │   ├── core.library.clpfd.fd_constraints.itf
│   │   ├── core.library.clpfd.fd_constraints.po
│   │   ├── core.library.clpfd.fd_labeling.asr
│   │   ├── core.library.clpfd.fd_labeling.itf
│   │   ├── core.library.clpfd.fd_labeling.po
│   │   ├── core.library.clpfd.fd_optim.asr
│   │   ├── core.library.clpfd.fd_optim.itf
│   │   ├── core.library.clpfd.fd_optim.po
│   │   ├── core.library.clpfd.fd_pchains.asr
│   │   ├── core.library.clpfd.fd_pchains.itf
│   │   ├── core.library.clpfd.fd_pchains.po
│   │   ├── core.library.clpfd.fd_range.asr
│   │   ├── core.library.clpfd.fd_range_bits_unsafe.asr
│   │   ├── core.library.clpfd.fd_range_bits_unsafe.itf
│   │   ├── core.library.clpfd.fd_range_bits_unsafe.po
│   │   ├── core.library.clpfd.fd_range_finite_intervals.asr
│   │   ├── core.library.clpfd.fd_range_finite_intervals.itf
│   │   ├── core.library.clpfd.fd_range_finite_intervals.po
│   │   ├── core.library.clpfd.fd_range_intervals.asr
│   │   ├── core.library.clpfd.fd_range_intervals.itf
│   │   ├── core.library.clpfd.fd_range_intervals.po
│   │   ├── core.library.clpfd.fd_range.itf
│   │   ├── core.library.clpfd.fd_range.po
│   │   ├── core.library.clpfd.fd_term.asr
│   │   ├── core.library.clpfd.fd_term.itf
│   │   ├── core.library.clpfd.fd_term.po
│   │   ├── core.library.clpfd.fd_utils.asr
│   │   ├── core.library.clpfd.fd_utils.itf
│   │   ├── core.library.clpfd.fd_utils.po
│   │   ├── core.library.clpfd.fd_var.asr
│   │   ├── core.library.clpfd.fd_var.itf
│   │   ├── core.library.clpfd.fd_var.po
│   │   ├── core.library.clpfd.indexicals_tr.asr
│   │   ├── core.library.clpfd.indexicals_tr.itf
│   │   ├── core.library.clpfd.indexicals_tr.po
│   │   ├── core.library.clpfd.int_extra.asr
│   │   ├── core.library.clpfd.int_extra.itf
│   │   ├── core.library.clpfd.int_extra_LINUXx86_64.a
│   │   ├── core.library.clpfd.int_extra_LINUXx86_64_glue.c
│   │   ├── core.library.clpfd.int_extra_LINUXx86_64_glue.o
│   │   ├── core.library.clpfd.int_extra_LINUXx86_64.o
│   │   ├── core.library.clpfd.int_extra_LINUXx86_64.so
│   │   ├── core.library.clpfd.int_extra.po
│   │   ├── core.library.clpq.clpq_attr.asr
│   │   ├── core.library.clpq.clpq_attr.itf
│   │   ├── core.library.clpq.clpq_attr.po
│   │   ├── core.library.clpq.clpq_compiler.asr
│   │   ├── core.library.clpq.clpq_compiler.itf
│   │   ├── core.library.clpq.clpq_compiler.po
│   │   ├── core.library.clpq.clpq_dump.asr
│   │   ├── core.library.clpq.clpq_dump.itf
│   │   ├── core.library.clpq.clpq_dump.po
│   │   ├── core.library.clpq.clpq_meta.asr
│   │   ├── core.library.clpq.clpq_meta.itf
│   │   ├── core.library.clpq.clpq_meta.po
│   │   ├── core.library.clpq.clpq_rt.asr
│   │   ├── core.library.clpq.clpq_rt.itf
│   │   ├── core.library.clpq.clpq_rt.po
│   │   ├── core.library.clpq.clpq_tr.asr
│   │   ├── core.library.clpq.clpq_tr.itf
│   │   ├── core.library.clpq.clpq_tr.po
│   │   ├── core.library.clpq.eval_q.asr
│   │   ├── core.library.clpq.eval_q.itf
│   │   ├── core.library.clpq.eval_q.po
│   │   ├── core.library.clpq.expand_q.asr
│   │   ├── core.library.clpq.expand_q.itf
│   │   ├── core.library.clpq.expand_q.po
│   │   ├── core.library.clpqr.arith_extra.asr
│   │   ├── core.library.clpqr.arith_extra.itf
│   │   ├── core.library.clpqr.arith_extra.po
│   │   ├── core.library.clpqr.examples.critical.asr
│   │   ├── core.library.clpqr.examples.critical.itf
│   │   ├── core.library.clpqr.examples.critical.po
│   │   ├── core.library.clpqr.examples.fib_q.asr
│   │   ├── core.library.clpqr.examples.fib_q.itf
│   │   ├── core.library.clpqr.examples.fib_q.po
│   │   ├── core.library.clpqr.examples.fib_r.asr
│   │   ├── core.library.clpqr.examples.fib_r.itf
│   │   ├── core.library.clpqr.examples.fib_r.po
│   │   ├── core.library.clpq.solver_q.asr
│   │   ├── core.library.clpq.solver_q.itf
│   │   ├── core.library.clpq.solver_q.po
│   │   ├── core.library.clpr.clpr_attr.asr
│   │   ├── core.library.clpr.clpr_attr.itf
│   │   ├── core.library.clpr.clpr_attr.po
│   │   ├── core.library.clpr.clpr_compiler.asr
│   │   ├── core.library.clpr.clpr_compiler.itf
│   │   ├── core.library.clpr.clpr_compiler.po
│   │   ├── core.library.clpr.clpr_dump.asr
│   │   ├── core.library.clpr.clpr_dump.itf
│   │   ├── core.library.clpr.clpr_dump.po
│   │   ├── core.library.clpr.clpr_meta.asr
│   │   ├── core.library.clpr.clpr_meta.itf
│   │   ├── core.library.clpr.clpr_meta.po
│   │   ├── core.library.clpr.clpr_rt.asr
│   │   ├── core.library.clpr.clpr_rt.itf
│   │   ├── core.library.clpr.clpr_rt.po
│   │   ├── core.library.clpr.clpr_tr.asr
│   │   ├── core.library.clpr.clpr_tr.itf
│   │   ├── core.library.clpr.clpr_tr.po
│   │   ├── core.library.clpr.eval_r.asr
│   │   ├── core.library.clpr.eval_r.itf
│   │   ├── core.library.clpr.eval_r.po
│   │   ├── core.library.clpr.expand_r.asr
│   │   ├── core.library.clpr.expand_r.itf
│   │   ├── core.library.clpr.expand_r.po
│   │   ├── core.library.clpr.solver_r.asr
│   │   ├── core.library.clpr.solver_r.itf
│   │   ├── core.library.clpr.solver_r.po
│   │   ├── core.library.clpr.tests.clprtests.asr
│   │   ├── core.library.clpr.tests.clprtests.itf
│   │   ├── core.library.clpr.tests.clprtests.po
│   │   ├── core.library.conc_aggregates.asr
│   │   ├── core.library.conc_aggregates.itf
│   │   ├── core.library.conc_aggregates.po
│   │   ├── core.library.counters.asr
│   │   ├── core.library.counters.itf
│   │   ├── core.library.counters.po
│   │   ├── core.library.datetime.asr
│   │   ├── core.library.datetime.itf
│   │   ├── core.library.datetime.po
│   │   ├── core.library.det_hook.det_hook_rt.asr
│   │   ├── core.library.det_hook.det_hook_rt.itf
│   │   ├── core.library.det_hook.det_hook_rt.po
│   │   ├── core.library.det_hook.det_hook_tr.asr
│   │   ├── core.library.det_hook.det_hook_tr.itf
│   │   ├── core.library.det_hook.det_hook_tr.po
│   │   ├── core.library.dialect.commons_compat_tr.asr
│   │   ├── core.library.dialect.commons_compat_tr.itf
│   │   ├── core.library.dialect.commons_compat_tr.po
│   │   ├── core.library.dialect.yap_compat_tr.asr
│   │   ├── core.library.dialect.yap_compat_tr.itf
│   │   ├── core.library.dialect.yap_compat_tr.po
│   │   ├── core.library.diff.asr
│   │   ├── core.library.diff.itf
│   │   ├── core.library.diff.po
│   │   ├── core.library.doccomments.doccomments_tr.asr
│   │   ├── core.library.doccomments.doccomments_tr.itf
│   │   ├── core.library.doccomments.doccomments_tr.po
│   │   ├── core.library.emacs.emacs.asr
│   │   ├── core.library.emacs.emacs_batch.asr
│   │   ├── core.library.emacs.emacs_batch.itf
│   │   ├── core.library.emacs.emacs_batch.po
│   │   ├── core.library.emacs.emacs.itf
│   │   ├── core.library.emacs.emacs.po
│   │   ├── core.library.expander.expander_tr.asr
│   │   ├── core.library.expander.expander_tr.itf
│   │   ├── core.library.expander.expander_tr.po
│   │   ├── core.library.factsdb.factsdb_rt.asr
│   │   ├── core.library.factsdb.factsdb_rt.itf
│   │   ├── core.library.factsdb.factsdb_rt.po
│   │   ├── core.library.factsdb.factsdb_tr.asr
│   │   ├── core.library.factsdb.factsdb_tr.itf
│   │   ├── core.library.factsdb.factsdb_tr.po
│   │   ├── core.library.fibers.fibers_blt.asr
│   │   ├── core.library.fibers.fibers_blt.itf
│   │   ├── core.library.fibers.fibers_blt.po
│   │   ├── core.library.fibers.fibers_data.asr
│   │   ├── core.library.fibers.fibers_data.itf
│   │   ├── core.library.fibers.fibers_data.po
│   │   ├── core.library.fibers.fibers_rt.asr
│   │   ├── core.library.fibers.fibers_rt.itf
│   │   ├── core.library.fibers.fibers_rt.po
│   │   ├── core.library.fibers.fibers_tr.asr
│   │   ├── core.library.fibers.fibers_tr.itf
│   │   ├── core.library.fibers.fibers_tr.po
│   │   ├── core.library.fibers.stream_watchdog.asr
│   │   ├── core.library.fibers.stream_watchdog.itf
│   │   ├── core.library.fibers.stream_watchdog.po
│   │   ├── core.library.file_locks.file_locks.asr
│   │   ├── core.library.file_locks.file_locks.itf
│   │   ├── core.library.file_locks.file_locks.po
│   │   ├── core.library.formulae.asr
│   │   ├── core.library.formulae.itf
│   │   ├── core.library.formulae.po
│   │   ├── core.library.freeze.examples.nreverse_freeze.asr
│   │   ├── core.library.freeze.examples.nreverse_freeze.itf
│   │   ├── core.library.freeze.examples.nreverse_freeze.po
│   │   ├── core.library.freeze.examples.queens_freeze.asr
│   │   ├── core.library.freeze.examples.queens_freeze.itf
│   │   ├── core.library.freeze.examples.queens_freeze.po
│   │   ├── core.library.freeze.examples.sendmoney_freeze.asr
│   │   ├── core.library.freeze.examples.sendmoney_freeze.itf
│   │   ├── core.library.freeze.examples.sendmoney_freeze.po
│   │   ├── core.library.freeze.examples.sort_freeze.asr
│   │   ├── core.library.freeze.examples.sort_freeze.itf
│   │   ├── core.library.freeze.examples.sort_freeze.po
│   │   ├── core.library.freeze.freeze.asr
│   │   ├── core.library.freeze.freeze.itf
│   │   ├── core.library.freeze.freeze.po
│   │   ├── core.library.fsyntax.functional_basics.asr
│   │   ├── core.library.fsyntax.functional_basics.itf
│   │   ├── core.library.fsyntax.functional_basics.po
│   │   ├── core.library.fsyntax.functionstr.asr
│   │   ├── core.library.fsyntax.functionstr.itf
│   │   ├── core.library.fsyntax.functionstr.po
│   │   ├── core.library.fuzzy_search.fuzzy_search.asr
│   │   ├── core.library.fuzzy_search.fuzzy_search.itf
│   │   ├── core.library.fuzzy_search.fuzzy_search.po
│   │   ├── core.library.getopts.asr
│   │   ├── core.library.getopts.itf
│   │   ├── core.library.getopts.po
│   │   ├── core.library.global_vars.asr
│   │   ├── core.library.global_vars.itf
│   │   ├── core.library.global_vars.po
│   │   ├── core.library.glob.asr
│   │   ├── core.library.glob.itf
│   │   ├── core.library.glob.po
│   │   ├── core.library.graphs.graphs.asr
│   │   ├── core.library.graphs.graphs.itf
│   │   ├── core.library.graphs.graphs.po
│   │   ├── core.library.graphs.lgraphs.asr
│   │   ├── core.library.graphs.lgraphs.itf
│   │   ├── core.library.graphs.lgraphs.po
│   │   ├── core.library.graphs.ugraphs.asr
│   │   ├── core.library.graphs.ugraphs.itf
│   │   ├── core.library.graphs.ugraphs.po
│   │   ├── core.library.hiordlib.asr
│   │   ├── core.library.hiordlib.itf
│   │   ├── core.library.hiordlib.po
│   │   ├── core.library.hrtime.hrtime.asr
│   │   ├── core.library.hrtime.hrtime.itf
│   │   ├── core.library.hrtime.hrtime_LINUXx86_64.a
│   │   ├── core.library.hrtime.hrtime_LINUXx86_64_glue.c
│   │   ├── core.library.hrtime.hrtime_LINUXx86_64_glue.o
│   │   ├── core.library.hrtime.hrtime_LINUXx86_64.o
│   │   ├── core.library.hrtime.hrtime_LINUXx86_64.so
│   │   ├── core.library.hrtime.hrtime.po
│   │   ├── core.library.http.cgi.asr
│   │   ├── core.library.http.cgi.itf
│   │   ├── core.library.http.cgi.po
│   │   ├── core.library.http_get.http_get.asr
│   │   ├── core.library.http_get.http_get.itf
│   │   ├── core.library.http_get.http_get.po
│   │   ├── core.library.http.http_client.asr
│   │   ├── core.library.http.http_client.itf
│   │   ├── core.library.http.http_client.po
│   │   ├── core.library.http.http_date.asr
│   │   ├── core.library.http.http_date.itf
│   │   ├── core.library.http.http_date.po
│   │   ├── core.library.http.http_forms.asr
│   │   ├── core.library.http.http_forms.itf
│   │   ├── core.library.http.http_forms.po
│   │   ├── core.library.http.http_grammar.asr
│   │   ├── core.library.http.http_grammar.itf
│   │   ├── core.library.http.http_grammar.po
│   │   ├── core.library.http.http_messages.asr
│   │   ├── core.library.http.http_messages.itf
│   │   ├── core.library.http.http_messages.po
│   │   ├── core.library.http.http_server.asr
│   │   ├── core.library.http.http_server.itf
│   │   ├── core.library.http.http_server.po
│   │   ├── core.library.http.http_service_rt.asr
│   │   ├── core.library.http.http_service_rt.itf
│   │   ├── core.library.http.http_service_rt.po
│   │   ├── core.library.http.mimetypes.asr
│   │   ├── core.library.http.mimetypes.itf
│   │   ├── core.library.http.mimetypes.po
│   │   ├── core.library.http.multipart_form_data.asr
│   │   ├── core.library.http.multipart_form_data.itf
│   │   ├── core.library.http.multipart_form_data.po
│   │   ├── core.library.http.url.asr
│   │   ├── core.library.http.url.itf
│   │   ├── core.library.http.url.po
│   │   ├── core.library.id.id_tr.asr
│   │   ├── core.library.id.id_tr.itf
│   │   ├── core.library.id.id_tr.po
│   │   ├── core.library.idlists.asr
│   │   ├── core.library.idlists.itf
│   │   ├── core.library.idlists.po
│   │   ├── core.library.indexer.examples.t.asr
│   │   ├── core.library.indexer.examples.t.itf
│   │   ├── core.library.indexer.examples.t.po
│   │   ├── core.library.indexer.goedel.asr
│   │   ├── core.library.indexer.goedel.itf
│   │   ├── core.library.indexer.goedel.po
│   │   ├── core.library.indexer.hash.asr
│   │   ├── core.library.indexer.hash.itf
│   │   ├── core.library.indexer.hash.po
│   │   ├── core.library.indexer.indexer_doc.asr
│   │   ├── core.library.indexer.indexer_doc.itf
│   │   ├── core.library.indexer.indexer_doc.po
│   │   ├── core.library.indexer.indexer_tr.asr
│   │   ├── core.library.indexer.indexer_tr.itf
│   │   ├── core.library.indexer.indexer_tr.po
│   │   ├── core.library.io_alias_redirection.asr
│   │   ├── core.library.io_alias_redirection.itf
│   │   ├── core.library.io_alias_redirection.po
│   │   ├── core.library.iso_char.asr
│   │   ├── core.library.iso_char.itf
│   │   ├── core.library.iso_char.po
│   │   ├── core.library.iso_incomplete.asr
│   │   ├── core.library.iso_incomplete.itf
│   │   ├── core.library.iso_incomplete.po
│   │   ├── core.library.iso_misc.asr
│   │   ├── core.library.iso_misc.itf
│   │   ├── core.library.iso_misc.po
│   │   ├── core.library.keys.asr
│   │   ├── core.library.keys.itf
│   │   ├── core.library.keys.po
│   │   ├── core.library.layout_dcg.layout_dcg_rt.asr
│   │   ├── core.library.layout_dcg.layout_dcg_rt.itf
│   │   ├── core.library.layout_dcg.layout_dcg_rt.po
│   │   ├── core.library.lazy.examples.ex.asr
│   │   ├── core.library.lazy.examples.ex_function.asr
│   │   ├── core.library.lazy.examples.ex_function.itf
│   │   ├── core.library.lazy.examples.ex_function.po
│   │   ├── core.library.lazy.examples.ex.itf
│   │   ├── core.library.lazy.examples.ex.po
│   │   ├── core.library.lazy.examples.fib_function.asr
│   │   ├── core.library.lazy.examples.fib_function.itf
│   │   ├── core.library.lazy.examples.fib_function.po
│   │   ├── core.library.lazy.examples.lqsort.asr
│   │   ├── core.library.lazy.examples.lqsort_function.asr
│   │   ├── core.library.lazy.examples.lqsort_function.itf
│   │   ├── core.library.lazy.examples.lqsort_function.po
│   │   ├── core.library.lazy.examples.lqsort.itf
│   │   ├── core.library.lazy.examples.lqsort.po
│   │   ├── core.library.lazy.examples.module1.asr
│   │   ├── core.library.lazy.examples.module1.itf
│   │   ├── core.library.lazy.examples.module1.po
│   │   ├── core.library.lazy.examples.module2.asr
│   │   ├── core.library.lazy.examples.module2.itf
│   │   ├── core.library.lazy.examples.module2.po
│   │   ├── core.library.lazy.examples.naturals.asr
│   │   ├── core.library.lazy.examples.naturals_function.asr
│   │   ├── core.library.lazy.examples.naturals_function.itf
│   │   ├── core.library.lazy.examples.naturals_function.po
│   │   ├── core.library.lazy.examples.naturals.itf
│   │   ├── core.library.lazy.examples.naturals.po
│   │   ├── core.library.lazy.examples.primes.asr
│   │   ├── core.library.lazy.examples.primes_function.asr
│   │   ├── core.library.lazy.examples.primes_function.itf
│   │   ├── core.library.lazy.examples.primes_function.po
│   │   ├── core.library.lazy.examples.primes.itf
│   │   ├── core.library.lazy.examples.primes.po
│   │   ├── core.library.lazy.examples.tetrahedral.asr
│   │   ├── core.library.lazy.examples.tetrahedral_function.asr
│   │   ├── core.library.lazy.examples.tetrahedral_function.itf
│   │   ├── core.library.lazy.examples.tetrahedral_function.po
│   │   ├── core.library.lazy.examples.tetrahedral.itf
│   │   ├── core.library.lazy.examples.tetrahedral.po
│   │   ├── core.library.lazy.lazy_lib.asr
│   │   ├── core.library.lazy.lazy_lib.itf
│   │   ├── core.library.lazy.lazy_lib.po
│   │   ├── core.library.lazy.lazytr.asr
│   │   ├── core.library.lazy.lazytr.itf
│   │   ├── core.library.lazy.lazytr.po
│   │   ├── core.library.librowser.librowser.asr
│   │   ├── core.library.librowser.librowser.itf
│   │   ├── core.library.librowser.librowser.po
│   │   ├── core.library.listing.asr
│   │   ├── core.library.listing.itf
│   │   ├── core.library.listing.po
│   │   ├── core.library.logged_process.asr
│   │   ├── core.library.logged_process.itf
│   │   ├── core.library.logged_process.po
│   │   ├── core.library.loops.asr
│   │   ├── core.library.loops.itf
│   │   ├── core.library.loops.po
│   │   ├── core.library.lsets.asr
│   │   ├── core.library.lsets.itf
│   │   ├── core.library.lsets.po
│   │   ├── core.library.markdown.markdown_parser.asr
│   │   ├── core.library.markdown.markdown_parser.itf
│   │   ├── core.library.markdown.markdown_parser.po
│   │   ├── core.library.markdown.markdown_syntax.asr
│   │   ├── core.library.markdown.markdown_syntax.itf
│   │   ├── core.library.markdown.markdown_syntax.po
│   │   ├── core.library.markdown.markdown_translate.asr
│   │   ├── core.library.markdown.markdown_translate.itf
│   │   ├── core.library.markdown.markdown_translate.po
│   │   ├── core.library.md5sum.md5sum.asr
│   │   ├── core.library.md5sum.md5sum.itf
│   │   ├── core.library.md5sum.md5sum.po
│   │   ├── core.library.menu.examples.menu_0.asr
│   │   ├── core.library.menu.examples.menu_0.itf
│   │   ├── core.library.menu.examples.menu_0.po
│   │   ├── core.library.menu.examples.menu_1.asr
│   │   ├── core.library.menu.examples.menu_1.itf
│   │   ├── core.library.menu.examples.menu_1.po
│   │   ├── core.library.menu.examples.menu_2.asr
│   │   ├── core.library.menu.examples.menu_2.itf
│   │   ├── core.library.menu.examples.menu_2.po
│   │   ├── core.library.menu.examples.menu_3.asr
│   │   ├── core.library.menu.examples.menu_3.itf
│   │   ├── core.library.menu.examples.menu_3.po
│   │   ├── core.library.menu.examples.menu_n.asr
│   │   ├── core.library.menu.examples.menu_n.itf
│   │   ├── core.library.menu.examples.menu_n.po
│   │   ├── core.library.menu.menu_generator.asr
│   │   ├── core.library.menu.menu_generator.itf
│   │   ├── core.library.menu.menu_generator.po
│   │   ├── core.library.menu.menu_rt.asr
│   │   ├── core.library.menu.menu_rt.itf
│   │   ├── core.library.menu.menu_rt.po
│   │   ├── core.library.menu.menu_tr.asr
│   │   ├── core.library.menu.menu_tr.itf
│   │   ├── core.library.menu.menu_tr.po
│   │   ├── core.library.menu.pattern_filler.asr
│   │   ├── core.library.menu.pattern_filler.itf
│   │   ├── core.library.menu.pattern_filler.po
│   │   ├── core.library.modblobs.modblobs.asr
│   │   ├── core.library.modblobs.modblobs.itf
│   │   ├── core.library.modblobs.modblobs.po
│   │   ├── core.library.mtarjan.asr
│   │   ├── core.library.mtarjan.itf
│   │   ├── core.library.mtarjan.po
│   │   ├── core.library.mutables.asr
│   │   ├── core.library.mutables.itf
│   │   ├── core.library.mutables.po
│   │   ├── core.library.numlists.asr
│   │   ├── core.library.numlists.itf
│   │   ├── core.library.numlists.po
│   │   ├── core.library.opendoc.asr
│   │   ├── core.library.opendoc.itf
│   │   ├── core.library.opendoc.po
│   │   ├── core.library.parse_shell_args.asr
│   │   ├── core.library.parse_shell_args.itf
│   │   ├── core.library.parse_shell_args.po
│   │   ├── core.library.parse_spec.asr
│   │   ├── core.library.parse_spec.itf
│   │   ├── core.library.parse_spec.po
│   │   ├── core.library.persdb.datadir.asr
│   │   ├── core.library.persdb.datadir.itf
│   │   ├── core.library.persdb.datadir.po
│   │   ├── core.library.persdb.persdb_cache.asr
│   │   ├── core.library.persdb.persdb_cache.itf
│   │   ├── core.library.persdb.persdb_cache.po
│   │   ├── core.library.persdb.persdb_rt.asr
│   │   ├── core.library.persdb.persdb_rt.itf
│   │   ├── core.library.persdb.persdb_rt.po
│   │   ├── core.library.persdb.persdb_tr.asr
│   │   ├── core.library.persdb.persdb_tr.itf
│   │   ├── core.library.persdb.persdb_tr.po
│   │   ├── core.library.persdb.tests.example_dynamic.asr
│   │   ├── core.library.persdb.tests.example_dynamic.itf
│   │   ├── core.library.persdb.tests.example_dynamic.po
│   │   ├── core.library.persdb.tests.example_static.asr
│   │   ├── core.library.persdb.tests.example_static.itf
│   │   ├── core.library.persdb.tests.example_static.po
│   │   ├── core.library.persdb.tests.persistentdb.asr
│   │   ├── core.library.persdb.tests.persistentdb.itf
│   │   ├── core.library.persdb.tests.persistentdb.po
│   │   ├── core.library.persdb.tests.queue.asr
│   │   ├── core.library.persdb.tests.queue.itf
│   │   ├── core.library.persdb.tests.queue.po
│   │   ├── core.library.pillow.color_space.asr
│   │   ├── core.library.pillow.color_space.itf
│   │   ├── core.library.pillow.color_space.po
│   │   ├── core.library.pillow.error_templates.asr
│   │   ├── core.library.pillow.error_templates.itf
│   │   ├── core.library.pillow.error_templates.po
│   │   ├── core.library.pillow.examples.check_links.asr
│   │   ├── core.library.pillow.examples.check_links.itf
│   │   ├── core.library.pillow.examples.check_links.po
│   │   ├── core.library.pillow.examples.cookies.asr
│   │   ├── core.library.pillow.examples.cookies.itf
│   │   ├── core.library.pillow.examples.cookies.po
│   │   ├── core.library.pillow.examples.html_forms.asr
│   │   ├── core.library.pillow.examples.html_forms.itf
│   │   ├── core.library.pillow.examples.html_forms.po
│   │   ├── core.library.pillow.examples.phones.asr
│   │   ├── core.library.pillow.examples.phones.itf
│   │   ├── core.library.pillow.examples.phones.po
│   │   ├── core.library.pillow.html.asr
│   │   ├── core.library.pillow.html.itf
│   │   ├── core.library.pillow.html.po
│   │   ├── core.library.pillow.json.asr
│   │   ├── core.library.pillow.json.itf
│   │   ├── core.library.pillow.json.po
│   │   ├── core.library.pillow.xmlterm.asr
│   │   ├── core.library.pillow.xmlterm.itf
│   │   ├── core.library.pillow.xmlterm.po
│   │   ├── core.library.pretty_print.asr
│   │   ├── core.library.pretty_print.itf
│   │   ├── core.library.pretty_print.po
│   │   ├── core.library.prompt.asr
│   │   ├── core.library.prompt.itf
│   │   ├── core.library.prompt.po
│   │   ├── core.library.queues.asr
│   │   ├── core.library.queues.itf
│   │   ├── core.library.queues.po
│   │   ├── core.library.random_aggregates.asr
│   │   ├── core.library.random_aggregates.itf
│   │   ├── core.library.random_aggregates.po
│   │   ├── core.library.random.random.asr
│   │   ├── core.library.random.random.itf
│   │   ├── core.library.random.random_LINUXx86_64.a
│   │   ├── core.library.random.random_LINUXx86_64_glue.c
│   │   ├── core.library.random.random_LINUXx86_64_glue.o
│   │   ├── core.library.random.random_LINUXx86_64.o
│   │   ├── core.library.random.random_LINUXx86_64.so
│   │   ├── core.library.random.random.po
│   │   ├── core.library.regexp.regexp_code.asr
│   │   ├── core.library.regexp.regexp_code.itf
│   │   ├── core.library.regexp.regexp_code.po
│   │   ├── core.library.regexp.regexp_flags.asr
│   │   ├── core.library.regexp.regexp_flags.itf
│   │   ├── core.library.regexp.regexp_flags.po
│   │   ├── core.library.regexp.regexp_trans.asr
│   │   ├── core.library.regexp.regexp_trans.itf
│   │   ├── core.library.regexp.regexp_trans.po
│   │   ├── core.library.runtime_ops.runtime_ops_tr.asr
│   │   ├── core.library.runtime_ops.runtime_ops_tr.itf
│   │   ├── core.library.runtime_ops.runtime_ops_tr.po
│   │   ├── core.library.service.actmod_ctl.asr
│   │   ├── core.library.service.actmod_ctl.itf
│   │   ├── core.library.service.actmod_ctl.po
│   │   ├── core.library.service.serve_http.asr
│   │   ├── core.library.service.serve_http.itf
│   │   ├── core.library.service.serve_http.po
│   │   ├── core.library.service.service_loader.asr
│   │   ├── core.library.service.service_loader.itf
│   │   ├── core.library.service.service_loader.po
│   │   ├── core.library.service.service_registry.asr
│   │   ├── core.library.service.service_registry.itf
│   │   ├── core.library.service.service_registry.po
│   │   ├── core.library.sha1.sha1.asr
│   │   ├── core.library.sha1.sha1_c_LINUXx86_64.o
│   │   ├── core.library.sha1.sha1.itf
│   │   ├── core.library.sha1.sha1_LINUXx86_64.a
│   │   ├── core.library.sha1.sha1_LINUXx86_64_glue.c
│   │   ├── core.library.sha1.sha1_LINUXx86_64_glue.o
│   │   ├── core.library.sha1.sha1_LINUXx86_64.so
│   │   ├── core.library.sha1.sha1.po
│   │   ├── core.library.sh_process.asr
│   │   ├── core.library.sh_process.itf
│   │   ├── core.library.sh_process.po
│   │   ├── core.library.sockets.sockets.asr
│   │   ├── core.library.sockets.sockets_c_LINUXx86_64.o
│   │   ├── core.library.sockets.sockets_io.asr
│   │   ├── core.library.sockets.sockets_io.itf
│   │   ├── core.library.sockets.sockets_io.po
│   │   ├── core.library.sockets.sockets.itf
│   │   ├── core.library.sockets.sockets_LINUXx86_64.a
│   │   ├── core.library.sockets.sockets_LINUXx86_64_glue.c
│   │   ├── core.library.sockets.sockets_LINUXx86_64_glue.o
│   │   ├── core.library.sockets.sockets_LINUXx86_64.so
│   │   ├── core.library.sockets.sockets.po
│   │   ├── core.library.sortnums.asr
│   │   ├── core.library.sortnums.itf
│   │   ├── core.library.sortnums.po
│   │   ├── core.library.source_tree.bundle_source_tree.asr
│   │   ├── core.library.source_tree.bundle_source_tree.itf
│   │   ├── core.library.source_tree.bundle_source_tree.po
│   │   ├── core.library.source_tree.source_tree.asr
│   │   ├── core.library.source_tree.source_tree.itf
│   │   ├── core.library.source_tree.source_tree.po
│   │   ├── core.library.stream_wait.stream_wait.asr
│   │   ├── core.library.stream_wait.stream_wait.itf
│   │   ├── core.library.stream_wait.stream_wait_LINUXx86_64.a
│   │   ├── core.library.stream_wait.stream_wait_LINUXx86_64_glue.c
│   │   ├── core.library.stream_wait.stream_wait_LINUXx86_64_glue.o
│   │   ├── core.library.stream_wait.stream_wait_LINUXx86_64.o
│   │   ├── core.library.stream_wait.stream_wait_LINUXx86_64.so
│   │   ├── core.library.stream_wait.stream_wait.po
│   │   ├── core.library.symfnames.examples.mm.asr
│   │   ├── core.library.symfnames.examples.mm.itf
│   │   ├── core.library.symfnames.examples.mm.po
│   │   ├── core.library.symfnames.symfnames.asr
│   │   ├── core.library.symfnames.symfnames.itf
│   │   ├── core.library.symfnames.symfnames.po
│   │   ├── core.library.symlink_locks.asr
│   │   ├── core.library.symlink_locks.itf
│   │   ├── core.library.symlink_locks.po
│   │   ├── core.library.syntax_highlight.syntax_highlight.asr
│   │   ├── core.library.syntax_highlight.syntax_highlight.itf
│   │   ├── core.library.syntax_highlight.syntax_highlight.po
│   │   ├── core.library.system_extra.asr
│   │   ├── core.library.system_extra.itf
│   │   ├── core.library.system_extra.po
│   │   ├── core.library.tabling.chat_tabling_LINUXx86_64.o
│   │   ├── core.library.tabling.debug_LINUXx86_64.o
│   │   ├── core.library.tabling.examples.path_tabling.asr
│   │   ├── core.library.tabling.examples.path_tabling.itf
│   │   ├── core.library.tabling.examples.path_tabling.po
│   │   ├── core.library.tabling.forward_trail.asr
│   │   ├── core.library.tabling.forward_trail.itf
│   │   ├── core.library.tabling.forward_trail.po
│   │   ├── core.library.tabling.tabling_rt.asr
│   │   ├── core.library.tabling.tabling_rt.itf
│   │   ├── core.library.tabling.tabling_rt_LINUXx86_64.a
│   │   ├── core.library.tabling.tabling_rt_LINUXx86_64_glue.c
│   │   ├── core.library.tabling.tabling_rt_LINUXx86_64_glue.o
│   │   ├── core.library.tabling.tabling_rt_LINUXx86_64.so
│   │   ├── core.library.tabling.tabling_rt.po
│   │   ├── core.library.tabling.tabling_tr.asr
│   │   ├── core.library.tabling.tabling_tr.itf
│   │   ├── core.library.tabling.tabling_tr.po
│   │   ├── core.library.terms_check.asr
│   │   ├── core.library.terms_check.itf
│   │   ├── core.library.terms_check.po
│   │   ├── core.library.terms_io.asr
│   │   ├── core.library.terms_io.itf
│   │   ├── core.library.terms_io.po
│   │   ├── core.library.terms_vars.asr
│   │   ├── core.library.terms_vars.itf
│   │   ├── core.library.terms_vars.po
│   │   ├── core.library.text_template.asr
│   │   ├── core.library.text_template.itf
│   │   ├── core.library.text_template.po
│   │   ├── core.library.timeout.alarm_LINUXx86_64.o
│   │   ├── core.library.timeout.timeout.asr
│   │   ├── core.library.timeout.timeout.itf
│   │   ├── core.library.timeout.timeout_LINUXx86_64.a
│   │   ├── core.library.timeout.timeout_LINUXx86_64_glue.c
│   │   ├── core.library.timeout.timeout_LINUXx86_64_glue.o
│   │   ├── core.library.timeout.timeout_LINUXx86_64.so
│   │   ├── core.library.timeout.timeout.po
│   │   ├── core.library.toplevel.prettysols.asr
│   │   ├── core.library.toplevel.prettysols.itf
│   │   ├── core.library.toplevel.prettysols.po
│   │   ├── core.library.toplevel_proc.toplevel_proc.asr
│   │   ├── core.library.toplevel_proc.toplevel_proc.itf
│   │   ├── core.library.toplevel_proc.toplevel_proc.po
│   │   ├── core.library.toplevel.toplevel.asr
│   │   ├── core.library.toplevel.toplevel_doc.asr
│   │   ├── core.library.toplevel.toplevel_doc.itf
│   │   ├── core.library.toplevel.toplevel_doc.po
│   │   ├── core.library.toplevel.toplevel_io.asr
│   │   ├── core.library.toplevel.toplevel_io.itf
│   │   ├── core.library.toplevel.toplevel_io.po
│   │   ├── core.library.toplevel.toplevel.itf
│   │   ├── core.library.toplevel.toplevel.po
│   │   ├── core.library.toplevel.toplevel_scope.asr
│   │   ├── core.library.toplevel.toplevel_scope.itf
│   │   ├── core.library.toplevel.toplevel_scope.po
│   │   ├── core.library.traits.examples.trait_orig.asr
│   │   ├── core.library.traits.examples.trait_orig.itf
│   │   ├── core.library.traits.examples.trait_orig.po
│   │   ├── core.library.traits.examples.trait_test2.asr
│   │   ├── core.library.traits.examples.trait_test2.itf
│   │   ├── core.library.traits.examples.trait_test2.po
│   │   ├── core.library.traits.examples.trait_test.asr
│   │   ├── core.library.traits.examples.trait_test.itf
│   │   ├── core.library.traits.examples.trait_test.po
│   │   ├── core.library.traits.traits_tr.asr
│   │   ├── core.library.traits.traits_tr.itf
│   │   ├── core.library.traits.traits_tr.po
│   │   ├── core.library.ttyout.asr
│   │   ├── core.library.ttyout.itf
│   │   ├── core.library.ttyout.po
│   │   ├── core.library.use_url.asr
│   │   ├── core.library.use_url.itf
│   │   ├── core.library.use_url.po
│   │   ├── core.library.vcs.vcs_git.asr
│   │   ├── core.library.vcs.vcs_git.itf
│   │   ├── core.library.vcs.vcs_git.po
│   │   ├── core.library.vcs.vcs_svn.asr
│   │   ├── core.library.vcs.vcs_svn.itf
│   │   ├── core.library.vcs.vcs_svn.po
│   │   ├── core.library.version_strings.asr
│   │   ├── core.library.version_strings.itf
│   │   ├── core.library.version_strings.po
│   │   ├── core.library.version_strings..test.asr
│   │   ├── core.library.version_strings..test.itf
│   │   ├── core.library.version_strings..test.po
│   │   ├── core.library.vndict.asr
│   │   ├── core.library.vndict.itf
│   │   ├── core.library.vndict.po
│   │   ├── core.library.when.max.asr
│   │   ├── core.library.when.max.itf
│   │   ├── core.library.when.max.po
│   │   ├── core.library.when.when.asr
│   │   ├── core.library.when.when.itf
│   │   ├── core.library.when.when.po
│   │   ├── core.library.xrefs.callgraph.asr
│   │   ├── core.library.xrefs.callgraph.itf
│   │   ├── core.library.xrefs.callgraph.po
│   │   ├── core.library.xrefs.mrefs.asr
│   │   ├── core.library.xrefs.mrefs.itf
│   │   ├── core.library.xrefs.mrefs.po
│   │   ├── core.library.xrefs.pxrefs.asr
│   │   ├── core.library.xrefs.pxrefs.itf
│   │   ├── core.library.xrefs.pxrefs.po
│   │   ├── core.library.xrefs.xrefs2graph.asr
│   │   ├── core.library.xrefs.xrefs2graph.itf
│   │   ├── core.library.xrefs.xrefs2graph.po
│   │   ├── core.library.xrefs.xrefs.asr
│   │   ├── core.library.xrefs.xrefsbuild.asr
│   │   ├── core.library.xrefs.xrefsbuild.itf
│   │   ├── core.library.xrefs.xrefsbuild.po
│   │   ├── core.library.xrefs.xrefs.itf
│   │   ├── core.library.xrefs.xrefs.po
│   │   ├── core.library.xrefs.xrefsread.asr
│   │   ├── core.library.xrefs.xrefsread.itf
│   │   ├── core.library.xrefs.xrefsread.po
│   │   ├── core.lib.read.asr
│   │   ├── core.lib.read_from_string.asr
│   │   ├── core.lib.read_from_string.itf
│   │   ├── core.lib.read_from_string.po
│   │   ├── core.lib.read.itf
│   │   ├── core.lib.read.po
│   │   ├── core.lib.regtypes.regtypes_tr.asr
│   │   ├── core.lib.regtypes.regtypes_tr.itf
│   │   ├── core.lib.regtypes.regtypes_tr.po
│   │   ├── core.lib.restricted_syntax.restricted_syntax_tr.asr
│   │   ├── core.lib.restricted_syntax.restricted_syntax_tr.itf
│   │   ├── core.lib.restricted_syntax.restricted_syntax_tr.po
│   │   ├── core.lib.rtchecks.rtchecks_basic.asr
│   │   ├── core.lib.rtchecks.rtchecks_basic.itf
│   │   ├── core.lib.rtchecks.rtchecks_basic.po
│   │   ├── core.lib.rtchecks.rtchecks_meta.asr
│   │   ├── core.lib.rtchecks.rtchecks_meta.itf
│   │   ├── core.lib.rtchecks.rtchecks_meta.po
│   │   ├── core.lib.rtchecks.rtchecks_pretty.asr
│   │   ├── core.lib.rtchecks.rtchecks_pretty.itf
│   │   ├── core.lib.rtchecks.rtchecks_pretty.po
│   │   ├── core.lib.rtchecks.rtchecks_rt.asr
│   │   ├── core.lib.rtchecks.rtchecks_rt.itf
│   │   ├── core.lib.rtchecks.rtchecks_rt.po
│   │   ├── core.lib.rtchecks.rtchecks_send.asr
│   │   ├── core.lib.rtchecks.rtchecks_send.itf
│   │   ├── core.lib.rtchecks.rtchecks_send.po
│   │   ├── core.lib.rtchecks.rtchecks_tr.asr
│   │   ├── core.lib.rtchecks.rtchecks_tr.itf
│   │   ├── core.lib.rtchecks.rtchecks_tr.po
│   │   ├── core.lib.rtchecks.term_list.asr
│   │   ├── core.lib.rtchecks.term_list.itf
│   │   ├── core.lib.rtchecks.term_list.po
│   │   ├── core.lib.sets.asr
│   │   ├── core.lib.sets.itf
│   │   ├── core.lib.sets.po
│   │   ├── core.lib.sort.asr
│   │   ├── core.lib.sort.itf
│   │   ├── core.lib.sort.po
│   │   ├── core.lib.streams.asr
│   │   ├── core.lib.streams.itf
│   │   ├── core.lib.streams.po
│   │   ├── core.lib.stream_utils.asr
│   │   ├── core.lib.stream_utils.itf
│   │   ├── core.lib.stream_utils.po
│   │   ├── core.lib.strings.asr
│   │   ├── core.lib.strings.itf
│   │   ├── core.lib.strings.po
│   │   ├── core.lib.string_type.string_type_rt.asr
│   │   ├── core.lib.string_type.string_type_rt.itf
│   │   ├── core.lib.string_type.string_type_rt.po
│   │   ├── core.lib.system.asr
│   │   ├── core.lib.system.itf
│   │   ├── core.lib.system.po
│   │   ├── core.lib.terms.asr
│   │   ├── core.lib.terms.itf
│   │   ├── core.lib.terms.po
│   │   ├── core.lib.tokenize.asr
│   │   ├── core.lib.tokenize.itf
│   │   ├── core.lib.tokenize.po
│   │   ├── core.lib.varnames.apply_dict.asr
│   │   ├── core.lib.varnames.apply_dict.itf
│   │   ├── core.lib.varnames.apply_dict.po
│   │   ├── core.lib.varnames.complete_dict.asr
│   │   ├── core.lib.varnames.complete_dict.itf
│   │   ├── core.lib.varnames.complete_dict.po
│   │   ├── core.lib.varnames.dict_types.asr
│   │   ├── core.lib.varnames.dict_types.itf
│   │   ├── core.lib.varnames.dict_types.po
│   │   ├── core.lib.varnames.pretty_names.asr
│   │   ├── core.lib.varnames.pretty_names.itf
│   │   ├── core.lib.varnames.pretty_names.po
│   │   ├── core.lib.write.asr
│   │   ├── core.lib.write_c.write_c.asr
│   │   ├── core.lib.write_c.write_c.itf
│   │   ├── core.lib.write_c.write_c.po
│   │   ├── core.lib.write_c.write_tokens.asr
│   │   ├── core.lib.write_c.write_tokens.itf
│   │   ├── core.lib.write_c.write_tokens.po
│   │   ├── core.lib.write.itf
│   │   └── core.lib.write.po
│   ├── eng
│   │   └── ciaoengine
│   │   ├── include
│   │   │   ├── ciao
│   │   │   │   ├── absmachdef.h
│   │   │   │   ├── atomic_basic.h
│   │   │   │   ├── attributes.h
│   │   │   │   ├── basiccontrol.h
│   │   │   │   ├── bc_aux.h
│   │   │   │   ├── ciao_gluecode.h
│   │   │   │   ├── ciao_prolog.h
│   │   │   │   ├── configure.h
│   │   │   │   ├── configure.LINUXx86_JS.h
│   │   │   │   ├── dtoa_ryu.h
│   │   │   │   ├── dynamic_rt.h
│   │   │   │   ├── eng_alloc.h
│   │   │   │   ├── eng_bignum.h
│   │   │   │   ├── eng_debug.h
│   │   │   │   ├── eng_gc.h
│   │   │   │   ├── eng.h
│   │   │   │   ├── eng_interrupt.h
│   │   │   │   ├── eng_predef.h
│   │   │   │   ├── eng_profile.h
│   │   │   │   ├── eng_registry.h
│   │   │   │   ├── eng_start.h
│   │   │   │   ├── gauge.h
│   │   │   │   ├── instrdefs.h
│   │   │   │   ├── internals.h
│   │   │   │   ├── io_basic.h
│   │   │   │   ├── modload.h
│   │   │   │   ├── os_signal.h
│   │   │   │   ├── os_threads.h
│   │   │   │   ├── own_mmap.h
│   │   │   │   ├── qread.h
│   │   │   │   ├── rt_exp.h
│   │   │   │   ├── rune.h
│   │   │   │   ├── runtime_control.h
│   │   │   │   ├── stream_basic.h
│   │   │   │   ├── support.h
│   │   │   │   ├── tabling.h
│   │   │   │   ├── timing.h
│   │   │   │   ├── unicode_tbl.h
│   │   │   │   ├── version.h
│   │   │   │   └── win32_mman.h
│   │   │   └── ciao_prolog.h
│   │   └── objs
│   │   ├── ciaoengine -> ciaoengine.LINUXx86_64
│   │   ├── ciaoengine.LINUXx86_64 -> LINUXx86_64/ciaoengine
│   │   └── LINUXx86_64
│   │   └── ciaoengine
│   └── libexec
│   └── rundaemon
├── builder
│   ├── sh_src
│   │   ├── build_car.sh
│   │   ├── clean_aux.sh
│   │   ├── config-sysdep
│   │   │   ├── available_processors
│   │   │   ├── cc_test_option
│   │   │   ├── ciao_sysconf
│   │   │   └── config-sysdep.sh
│   │   └── engine.mk
│   └── src
│   ├── archdump.bash
│   ├── bench.bash
│   ├── builder_aux.pl
│   ├── builder_cmds.pl
│   ├── builder_doc.pl
│   ├── builder_flags.pl
│   ├── builder_prim.pl
│   ├── builder_targets.pl
│   ├── bundle_configure.pl
│   ├── bundle_fetch.pl
│   ├── bundle_hash.pl
│   ├── bundlehooks
│   │   ├── bundlehooks_defs.pl
│   │   ├── bundlehooks.pl
│   │   ├── bundlehooks_rt.pl
│   │   └── bundlehooks_tr.pl
│   ├── bundlehooks_holder.pl
│   ├── BundleManagement.lpdoc
│   ├── bundle_scan.pl
│   ├── car.bash
│   ├── car_maker.pl
│   ├── ciaoc_aux.pl
│   ├── ciaoc_batch_call.pl
│   ├── ciaocl_help.pl
│   ├── ciaocl_parser.pl
│   ├── ciaopp_aux.pl
│   ├── cmake_aux.pl
│   ├── cmd_hooks.pl
│   ├── compare_files.bash
│   ├── compat.bash
│   ├── config.bash
│   ├── config_common.pl
│   ├── cpx_process.pl
│   ├── detcheader.pl
│   ├── eng_defs.pl
│   ├── git_extra.pl
│   ├── grade_analyze.pl
│   ├── grade_bin.pl
│   ├── grade_docs.pl
│   ├── grade_holder.pl
│   ├── infodir
│   ├── info_installer.pl
│   ├── install_aux.pl
│   ├── interactive_aux.pl
│   ├── lpdoc_aux.pl
│   ├── mac
│   │   ├── Ciao.applescript.skel
│   │   ├── ciao-icon.icns
│   │   ├── configure_dotemacs.pl.skel
│   │   ├── Info.plist.skel
│   │   └── Portfile.skel
│   ├── manifest_compiler.pl
│   ├── messages_aux.pl
│   ├── messages.bash
│   ├── oc_builder.bash
│   ├── pbundle_gen_bin.pl
│   ├── pbundle_generator.pl
│   ├── pbundle_gen_hookdefs.pl
│   ├── pbundle_gen_mac.pl
│   ├── pbundle_gen_rpm.pl
│   ├── pbundle_gen_src.pl
│   ├── pbundle_gen_win32.pl
│   ├── pbundle_meta.pl
│   ├── register_in_script.pl
│   ├── rpm
│   │   ├── Ciao.spec.skel
│   │   └── RPM-Ciao.bash
│   ├── site_aux.pl
│   ├── summary.py
│   ├── tests_aux.bash
│   ├── tests_aux.pl
│   ├── tests.bash
│   ├── tests_emugen.bash
│   ├── tests_improlog.bash
│   ├── tests_js_backend.bash
│   ├── tests_lpdoc.bash
│   ├── tests_mtsys.bash
│   ├── tests_mtypes.bash
│   ├── third_party_aux.bash
│   ├── third_party_config.pl
│   ├── third_party_custom.pl
│   ├── third_party_install.pl
│   └── win32
│   └── Ciao.iss.skel
└── core
├── engine
│   ├── absmach_def.pl
│   ├── arithmetic.c
│   ├── arithmetic.pl
│   ├── atomic_basic.c
│   ├── atomic_basic.h
│   ├── atomic_basic.pl
│   ├── atomic_basic.test.pl
│   ├── attributed_variables.pl
│   ├── attributes.c
│   ├── attributes.h
│   ├── attributes.pl
│   ├── basiccontrol.c
│   ├── basiccontrol.h
│   ├── basiccontrol.pl
│   ├── basic_props.pl
│   ├── basic_props_rtc.pl
│   ├── bc_aux.h
│   ├── bundles_doc.pl
│   ├── ciaoengine_common.pl
│   ├── ciaoengine_doc.pl
│   ├── ciaoengine.pl
│   ├── ciao_gluecode.h
│   ├── ciao_prolog.c
│   ├── ciao_prolog.h
│   ├── concurrency.c
│   ├── configure.c
│   ├── configure.LINUXx86_JS.h
│   ├── configure_main.c
│   ├── debugger_support.c
│   ├── debugger_support.pl
│   ├── dtoa_ryu.c
│   ├── dtoa_ryu.h
│   ├── dynamic_rt.c
│   ├── dynamic_rt.h
│   ├── eng_alloc.c
│   ├── eng_alloc.h
│   ├── eng_bignum.c
│   ├── eng_bignum.h
│   ├── eng_debug.c
│   ├── eng_debug.h
│   ├── eng_gc.c
│   ├── eng_gc.h
│   ├── eng.h
│   ├── eng_interrupt.c
│   ├── eng_interrupt.h
│   ├── eng_main.c
│   ├── eng_predef.h
│   ├── eng_profile.h
│   ├── eng_registry.c
│   ├── eng_registry.h
│   ├── eng_start.c
│   ├── eng_start.h
│   ├── exceptions.pl
│   ├── fix_size.c
│   ├── foreign_types.pl
│   ├── gauge.c
│   ├── gauge.h
│   ├── global_variables.pl
│   ├── hiord_rt.pl
│   ├── internals.c
│   ├── internals.h
│   ├── internals.pl
│   ├── internals.pl.new
│   ├── io_basic.c
│   ├── io_basic.h
│   ├── io_basic.pl
│   ├── messages_basic.pl
│   ├── meta_inc.pl
│   ├── modload.c
│   ├── modload.h
│   ├── modules.pl
│   ├── NOCOMPILE
│   ├── os_signal.h
│   ├── os_threads.h
│   ├── own_malloc.c
│   ├── own_mmap.c
│   ├── own_mmap.h
│   ├── packages.pl
│   ├── qread.c
│   ├── qread.h
│   ├── README.md
│   ├── rt_exp.c
│   ├── rt_exp.h
│   ├── rune.c
│   ├── rune.h
│   ├── runtime_control.c
│   ├── runtime_control.h
│   ├── runtime_control.pl
│   ├── stream_basic.c
│   ├── stream_basic.h
│   ├── stream_basic.pl
│   ├── support.h
│   ├── system.c
│   ├── system_info.c
│   ├── system_info.pl
│   ├── tabling.h
│   ├── term_basic.c
│   ├── term_basic.pl
│   ├── term_compare.c
│   ├── term_compare.pl
│   ├── terms_check.c
│   ├── term_typing.c
│   ├── term_typing.pl
│   ├── timing.c
│   ├── timing.h
│   ├── unicode_gen
│   │   ├── NOCOMPILE
│   │   ├── unicode_gen.c
│   │   ├── unicode_gen.pl
│   │   └── unicode_test.pl
│   ├── unicode_tbl.h
│   ├── win32_mman.c
│   └── win32_mman.h
├── examples
│   ├── hw.pl
│   ├── hw.pls
│   ├── misc
│   │   ├── bignums.pl
│   │   ├── fibonacci.pl
│   │   ├── guardians.pl
│   │   ├── jugs.pl
│   │   ├── knights.pl
│   │   ├── Makefile
│   │   ├── queens.pl
│   │   ├── robot.pl
│   │   ├── size.pl
│   │   ├── sudoku.pl
│   │   ├── suite.pl
│   │   ├── trie.pl
│   │   ├── world
│   │   ├── wumpus.pl
│   │   └── zebra_argnames.pl
│   └── README.md
├── lib
│   ├── aggregates.pl
│   ├── assertions
│   │   ├── assertions_basic.pl
│   │   ├── assertions_doc.pl
│   │   ├── assertions.pl
│   │   ├── assertions_props.pl
│   │   ├── assrt_lib_extra.pl
│   │   ├── assrt_lib.pl
│   │   ├── assrt_norm_common.pl
│   │   ├── assrt_write.pl
│   │   ├── c_itf_props.pl
│   │   ├── doc_props.pl
│   │   ├── native_props_cardinality_doc.pl
│   │   ├── native_props_cardinality.pl
│   │   ├── native_props_cost_doc.pl
│   │   ├── native_props_cost.pl
│   │   ├── native_props_exceptions_doc.pl
│   │   ├── native_props_exceptions.pl
│   │   ├── native_props_nfdet_doc.pl
│   │   ├── native_props_nfdet.pl
│   │   ├── native_props.pl
│   │   ├── native_props_polyhedral_doc.pl
│   │   ├── native_props_polyhedral.pl
│   │   ├── native_props_rtc.pl
│   │   ├── native_props_shfrg_doc.pl
│   │   ├── native_props_shfrg.pl
│   │   ├── native_props_sideff_doc.pl
│   │   ├── native_props_sideff.pl
│   │   ├── native_props_usage_doc.pl
│   │   └── pp
│   │   ├── dummy_end_of_file.pl
│   │   ├── examples
│   │   │   ├── ex1_check.pl
│   │   │   ├── ex2_check.pl
│   │   │   ├── ex3_ana.pl
│   │   │   └── NOCOMPILE
│   │   ├── pp.pl
│   │   └── pp_tr.pl
│   ├── attr
│   │   ├── attr_doc.pl
│   │   ├── attr_mono_compat.pl
│   │   ├── attr.pl
│   │   ├── attr_rt.pl
│   │   ├── attr_tr.pl
│   │   └── examples
│   │   ├── attr_bench.pl
│   │   └── myfreeze.pl
│   ├── attrdump.pl
│   ├── basicmodes
│   │   ├── basicmodes_doc.pl
│   │   └── basicmodes.pl
│   ├── between.pl
│   ├── bundle
│   │   ├── bundle_flags.pl
│   │   ├── bundle_info.pl
│   │   ├── bundle_paths.pl
│   │   ├── bundlereg_db.pl
│   │   └── bundlereg_load.pl
│   ├── cmdline
│   │   ├── cmdline_help.pl
│   │   └── cmdline_parser.pl
│   ├── compiler
│   │   ├── add_goal_trans.pl
│   │   ├── basic_compilation_modules.pl
│   │   ├── build_foreign_interface.pl
│   │   ├── callback.pl
│   │   ├── c_itf.pl
│   │   ├── clause_check.pl
│   │   ├── compiler.pl
│   │   ├── emugen
│   │   │   ├── emugen_doc.pl
│   │   │   ├── emugen_errors.pl
│   │   │   ├── emugen_ops.pl
│   │   │   ├── emugen.pl
│   │   │   └── emugen_tr.pl
│   │   ├── emulator_data.pl
│   │   ├── engine_path.pl
│   │   ├── exemaker.pl
│   │   ├── file_buffer.pl
│   │   ├── foreign__gluecode.pl
│   │   ├── frontend_condcomp.pl
│   │   ├── frontend_core.pl
│   │   ├── gauge_aux.pl
│   │   ├── global_module_options.pl
│   │   ├── header
│   │   ├── mexpand.pl
│   │   ├── NOTES
│   │   ├── pl2wam.pl
│   │   ├── pl2wam_tables.pl
│   │   ├── shell_itf.pl
│   │   ├── srcdbg.pl
│   │   ├── translation.pl
│   │   ├── up_to_date.pl
│   │   ├── WAM_compilation
│   │   ├── wamql.pl
│   │   └── win_exec_ext.pl
│   ├── concurrency
│   │   ├── concurrency.pl
│   │   └── examples
│   │   ├── Attic
│   │   │   ├── foo.pl
│   │   │   └── goo.pl
│   │   ├── e.pl
│   │   ├── examples.pl
│   │   └── NOCOMPILE
│   ├── condcomp
│   │   ├── condcomp_doc.pl
│   │   ├── condcomp.pl
│   │   └── examples
│   │   ├── NOCOMPILE
│   │   ├── test1.pl
│   │   ├── test2.pl
│   │   ├── test3.pl
│   │   └── test4.pl
│   ├── ctrlcclean.pl
│   ├── cyclic_terms.pl
│   ├── datafacts
│   │   ├── datafacts_doc.pl
│   │   ├── datafacts.pl
│   │   └── datafacts_rt.pl
│   ├── dcg
│   │   ├── dcg_doc.pl
│   │   ├── dcg_ops.pl
│   │   ├── dcg_phrase_doc.pl
│   │   ├── dcg_phrase.pl
│   │   ├── dcg_phrase_rt.pl
│   │   ├── dcg.pl
│   │   └── dcg_tr.pl
│   ├── debugger
│   │   ├── debugger_doc.pl
│   │   ├── debugger_lib.pl
│   │   ├── debugger.pl
│   │   ├── debugger_tr.pl
│   │   ├── debug_raw.pl
│   │   ├── debug_srcdbg.pl
│   │   ├── embedded.pl
│   │   ├── embedded_rt.pl
│   │   └── embedded_tr.pl
│   ├── debug.pl
│   ├── dec10_io.pl
│   ├── default_iso_strict.pl
│   ├── default.pl
│   ├── define_flag.pl
│   ├── dict.pl
│   ├── dynamic
│   │   ├── dynamic_doc.pl
│   │   ├── dynamic.pl
│   │   └── dynamic_rt.pl
│   ├── dynamic_clauses
│   │   ├── dynamic_clauses_doc.pl
│   │   ├── dynamic_clauses.pl
│   │   ├── dynamic_clauses_rt.pl
│   │   └── examples
│   │   ├── NOCOMPILE
│   │   └── selfmodif.pl
│   ├── dynmod_holder.pl
│   ├── errhandle.pl
│   ├── fastrw.pl
│   ├── foreign_compilation.pl
│   ├── foreign_interface
│   │   ├── embedding_example
│   │   │   ├── build.sh
│   │   │   ├── NOCOMPILE
│   │   │   ├── test.c
│   │   │   └── test.pl
│   │   ├── examples
│   │   │   ├── addresses
│   │   │   │   ├── objects_c.c
│   │   │   │   └── objects.pl
│   │   │   ├── any_term
│   │   │   │   ├── any_term_c.c
│   │   │   │   └── any_term.pl
│   │   │   ├── bignums
│   │   │   │   ├── bigints_c.c
│   │   │   │   └── bigints.pl
│   │   │   ├── byte_lists
│   │   │   │   ├── byte_lists.pl
│   │   │   │   └── bytes_op.c
│   │   │   ├── c++
│   │   │   │   ├── cc_stack.cc
│   │   │   │   └── cc_stack.pl
│   │   │   ├── exceptions
│   │   │   │   ├── exceptions_c.c
│   │   │   │   └── exceptions_example.pl
│   │   │   ├── foreign_init
│   │   │   │   ├── foreign.c
│   │   │   │   └── foreign_init.pl
│   │   │   ├── foreign_low
│   │   │   │   ├── random.c
│   │   │   │   └── random.pl
│   │   │   ├── int_lists
│   │   │   │   ├── int_lists.pl
│   │   │   │   └── ints_op.c
│   │   │   ├── math
│   │   │   │   ├── math.pl
│   │   │   │   └── math_user.pl
│   │   │   ├── NOCOMPILE
│   │   │   ├── strings_and_atoms
│   │   │   │   ├── strings_and_atoms.pl
│   │   │   │   └── str_op.c
│   │   │   └── test_all.pl
│   │   ├── foreign_interface_doc.pl
│   │   ├── foreign_interface.pl
│   │   ├── foreign_interface_properties_OC.pl
│   │   ├── foreign_interface_properties.pl
│   │   └── foreign_interface_tr.pl
│   ├── format.pl
│   ├── format_to_string.pl
│   ├── fsmemo
│   │   ├── fsmemo_defs.pl
│   │   ├── fsmemo_doc.pl
│   │   ├── fsmemo.pl
│   │   └── fsmemo_rt.pl
│   ├── goal_trans.pl
│   ├── hiord.pl
│   ├── initial.pl
│   ├── inliner
│   │   ├── examples
│   │   │   ├── complex.pl
│   │   │   ├── example_3.pl
│   │   │   ├── inliner_bench.pl
│   │   │   ├── inliner_example2.pl
│   │   │   ├── inliner_example3.pl
│   │   │   ├── inliner_example4.pl
│   │   │   ├── inliner_example_inc.pl
│   │   │   ├── inliner_example_meta.pl
│   │   │   ├── inliner_example_mod_2.pl
│   │   │   ├── inliner_example_mod.pl
│   │   │   ├── inliner_example.pl
│   │   │   ├── malf.pl
│   │   │   └── NOCOMPILE
│   │   ├── inliner_ops.pl
│   │   ├── inliner.pl
│   │   └── inliner_tr.pl
│   ├── io_port_reify.pl
│   ├── isomodes
│   │   ├── isomodes_doc.pl
│   │   └── isomodes.pl
│   ├── libpaths.pl
│   ├── lists.pl
│   ├── llists.pl
│   ├── messages.pl
│   ├── metaprops
│   │   ├── meta_props.pl
│   │   └── metaprops.pl
│   ├── metatypes
│   │   ├── metatypes.pl
│   │   └── metatypes_tr.pl
│   ├── miscprops.pl
│   ├── nodebug.pl
│   ├── noprelude
│   │   ├── noprelude_doc.pl
│   │   └── noprelude.pl
│   ├── nortchecks.pl
│   ├── odd.pl
│   ├── old_database.pl
│   ├── operators.pl
│   ├── optparse
│   │   ├── optparse.pl
│   │   ├── optparse_rt.pl
│   │   └── optparse_tr.pl
│   ├── pathnames_boot.pl
│   ├── pathnames.pl
│   ├── port_reify.pl
│   ├── prelude.pl
│   ├── process
│   │   ├── process_channel.pl
│   │   └── process.pl
│   ├── pure
│   │   ├── pure_doc.pl
│   │   └── pure.pl
│   ├── read_from_string.pl
│   ├── read.pl
│   ├── regtypes
│   │   ├── regtypes_doc.pl
│   │   ├── regtypes.pl
│   │   ├── regtypes_tr.pl
│   │   ├── regular_type_syntax.lpdoc
│   │   └── writing_props.lpdoc
│   ├── restricted_syntax
│   │   ├── restricted_syntax.pl
│   │   └── restricted_syntax_tr.pl
│   ├── rtchecks
│   │   ├── examples
│   │   │   ├── example_fullasr.pl
│   │   │   ├── NOCOMPILE
│   │   │   ├── rtc_external.pl
│   │   │   ├── rtchecks_constraints.pl
│   │   │   ├── rtchecks_disc.pl
│   │   │   ├── rtchecks_example2.pl
│   │   │   ├── rtchecks_example3.pl
│   │   │   └── rtchecks_example.pl
│   │   ├── rtchecks_basic.pl
│   │   ├── rtchecks_doc.pl
│   │   ├── rtchecks_meta.pl
│   │   ├── rtchecks.pl
│   │   ├── rtchecks_pretty.pl
│   │   ├── rtchecks_rt.pl
│   │   ├── rtchecks_rt_propimpl.pl
│   │   ├── rtchecks_send.pl
│   │   ├── rtchecks_tr_library.pl
│   │   ├── rtchecks_tr.pl
│   │   └── term_list.pl
│   ├── sets.pl
│   ├── sort.pl
│   ├── streams.pl
│   ├── stream_utils.pl
│   ├── strings.pl
│   ├── string_type
│   │   ├── string_type.pl
│   │   └── string_type_rt.pl
│   ├── system.pl
│   ├── terms.pl
│   ├── tokenize.pl
│   ├── trace.pl
│   ├── unittestdecls_doc.pl
│   ├── unittestdecls.pl
│   ├── varnames
│   │   ├── apply_dict.pl
│   │   ├── complete_dict.pl
│   │   ├── dict_types.pl
│   │   └── pretty_names.pl
│   ├── write_c
│   │   ├── write_c.pl
│   │   └── write_tokens.pl
│   └── write.pl
└── library
├── actmod
│   ├── actmod_dist.pl
│   ├── actmod_doc.pl
│   ├── actmod_holder.pl
│   ├── actmod_hooks.pl
│   ├── actmod.pl
│   ├── actmod_process.pl
│   ├── actmod_rt.pl
│   ├── actmod_tr.pl
│   ├── examples
│   │   ├── nameserver
│   │   │   └── nameserver.pl
│   │   ├── simple_client.pl
│   │   ├── simple_client_with_main.pl
│   │   ├── simple_server.pl
│   │   └── webbased_simple_client.pl
│   ├── filebased_common.pl
│   ├── README.md
│   ├── regp_filebased.pl
│   ├── regp_platformbased.pl
│   ├── regp_platformserver.pl
│   ├── regp_webbased.pl
│   ├── regp_webserver.pl
│   ├── rundaemon.c
│   ├── rundaemon.pl
│   └── webbased_common.pl
├── actmod_http
│   ├── actmod_http.pl
│   └── ciao-actmod.js
├── andorra
│   ├── andorra_builtins_exports.pl
│   ├── andorra_builtins.pl
│   ├── andorra_doc.pl
│   ├── andorraops.pl
│   ├── andorra.pl
│   ├── andorra_rt.pl
│   ├── andorra_tr.pl
│   └── examples
│   ├── crypt_and.pl
│   ├── crypt_and_user.pl
│   ├── crypt.pl
│   ├── map_and.pl
│   ├── map_and_user.pl
│   ├── map.pl
│   ├── money_and.pl
│   ├── money_and_user.pl
│   ├── money.pl
│   ├── mqu_and.pl
│   ├── mqu_and_user.pl
│   ├── mqu.pl
│   └── NOCOMPILE
├── archive_files.pl
├── argnames
│   ├── argnames_doc.pl
│   ├── argnames.pl
│   ├── argnames_trans.pl
│   ├── examples
│   │   ├── NOCOMPILE
│   │   ├── simple_db.pl
│   │   └── zebra_argnames.pl
│   └── tests
│   └── argnames_test.pl
├── argnames_fsyntax.pl
├── arithpreds.pl
├── arrays.pl
├── assoc.pl
├── bf
│   ├── afall.pl
│   ├── af.pl
│   ├── af_rt.pl
│   ├── bfall.pl
│   ├── bf_doc.pl
│   ├── bf.pl
│   ├── bf_rt.pl
│   ├── examples
│   │   ├── chain_bfall.pl
│   │   ├── chain.pl
│   │   └── sublistapp.pl
│   ├── ops.pl
│   ├── sr.pl
│   └── sr_tr.pl
├── bitcodesets.pl
├── block
│   ├── block_doc.pl
│   ├── block.pl
│   ├── block_rt.pl
│   ├── block_tr.pl
│   └── examples
│   └── block_example.pl
├── classic
│   ├── classic_doc.pl
│   ├── classic.pl
│   └── classic_predicates.pl
├── clpfd
│   ├── bench.org
│   ├── clpfd_debug.pl
│   ├── clpfd_debug_rt.pl
│   ├── clpfd_doc.pl
│   ├── clpfd_ops.pl
│   ├── clpfd_options.pl
│   ├── clpfd.org
│   ├── clpfd.pl
│   ├── clpfd_rt.pl
│   ├── clpfd_stats.pl
│   ├── clpfd_tr.pl
│   ├── fd_constraints.pl
│   ├── fd_labeling.pl
│   ├── fd_ops.pl
│   ├── fd_optim.pl
│   ├── fd_pchains.pl
│   ├── fd_range_bits_unsafe.pl
│   ├── fd_range_finite_intervals.pl
│   ├── fd_range_intervals.pl
│   ├── fd_range.pl
│   ├── fd_term.pl
│   ├── fd_utils.pl
│   ├── fd_var.pl
│   ├── indexicals_ops.pl
│   ├── indexicals.pl
│   ├── indexicals_tr.pl
│   ├── int_extra.c
│   ├── int_extra.pl
│   └── README
├── clp.pl
├── clpq
│   ├── clpq_attr.pl
│   ├── clpq_compiler.pl
│   ├── clpq_doc.pl
│   ├── clpq_dump.pl
│   ├── clpq_meta.pl
│   ├── clpq.pl
│   ├── clpq_rt.pl
│   ├── clpq_src.pl
│   ├── clpq_tr.pl
│   ├── eval_q.pl
│   ├── expand_q.pl
│   ├── NOCOMPILE
│   └── solver_q.pl
├── clpqr
│   ├── arith_extra.pl
│   ├── clpqr_attr_hooks.pl
│   ├── clpqr_compiler.pl
│   ├── clpqr_doc.pl.DMCAI
│   ├── clpqr_dump.pl
│   ├── clpqr_meta.pl
│   ├── clpqr_ops.pl
│   ├── clpqr_options.pl
│   ├── clpqr_rt.pl
│   ├── clpqr_tr.pl
│   ├── examples
│   │   ├── critical.clp
│   │   ├── critical.pl
│   │   ├── fibpl.pl
│   │   ├── fib_q.pl
│   │   ├── fib_r.pl
│   │   ├── laplace.clp
│   │   ├── laplace.pl
│   │   ├── mmatrix_q.pl
│   │   ├── mmatrix_r.pl
│   │   └── nqueens_q.pl
│   ├── fourier_motzkin.pl
│   ├── nf.pl
│   ├── nl_eval.pl
│   ├── simplex.pl
│   ├── solve.pl
│   └── TO-DO
├── clpr
│   ├── clpr_attr.pl
│   ├── clpr_compiler.pl
│   ├── clpr_doc.pl
│   ├── clpr_dump.pl
│   ├── clpr_meta.pl
│   ├── clpr.pl
│   ├── clpr_rt.pl
│   ├── clpr_src.pl
│   ├── clpr_tr.pl
│   ├── eval_r.pl
│   ├── expand_r.pl
│   ├── NOCOMPILE
│   ├── solver_r.pl
│   └── tests
│   └── clprtests.pl
├── conc_aggregates.pl
├── counters.pl
├── datetime.pl
├── det_hook
│   ├── det_hook_doc.pl
│   ├── det_hook.pl
│   ├── det_hook_rt.pl
│   ├── det_hook_tr.pl
│   └── examples
│   ├── enumerate.pl
│   ├── example2.pl
│   ├── example.pl
│   └── NOCOMPILE
├── dialect
│   ├── commons_compat_ops.pl
│   ├── commons_compat.pl
│   ├── commons_compat_tr.pl
│   ├── commons_modes.pl
│   ├── commons.pl
│   ├── hprolog_compat.pl
│   ├── hprolog.pl
│   ├── yap_compat_ops.pl
│   ├── yap_compat.pl
│   ├── yap_compat_tr.pl
│   └── yap.pl
├── diff.pl
├── doccomments
│   ├── doccomments_doc.pl
│   ├── doccomments.pl
│   ├── doccomments_tr.pl
│   └── examples
│   ├── foomodes.pl
│   ├── markdown_test.pl
│   ├── markup_test.pl
│   ├── more_markup.pl
│   ├── NOCOMPILE
│   ├── rbtrees.pl
│   ├── test_old.pl
│   ├── test.pl
│   ├── usagedoc_modes.pl
│   ├── usagedoc_types.pl
│   └── write_alt.pl
├── emacs
│   ├── emacs_batch.pl
│   ├── emacs.pl
│   └── start-ciao-toplevel
├── expander
│   ├── examples
│   │   ├── mio.pl
│   │   └── NOCOMPILE
│   ├── expander.pl
│   └── expander_tr.pl
├── factsdb
│   ├── examples
│   │   ├── dfib.pl
│   │   ├── ffib.pl
│   │   ├── fibdb.pl
│   │   ├── fib.pl
│   │   └── persdb
│   │   └── user
│   │   ├── fib0_2_ops.pl
│   │   └── fib0_2.pl
│   ├── factsdb_doc.pl
│   ├── factsdb.pl
│   ├── factsdb_rt.pl
│   └── factsdb_tr.pl
├── fibers
│   ├── fibers_blt.pl
│   ├── fibers_data.pl
│   ├── fibers_hooks.pl
│   ├── fibers.pl
│   ├── fibers_rt.pl
│   ├── fibers_tr.pl
│   ├── fnct_rt.pl
│   ├── mexpand_extra.pl
│   └── stream_watchdog.pl
├── file_locks
│   └── file_locks.pl
├── formulae.pl
├── freeze
│   ├── examples
│   │   ├── nreverse_freeze.pl
│   │   ├── queens_freeze.pl
│   │   ├── sendmoney_freeze.pl
│   │   └── sort_freeze.pl
│   ├── freeze__old.pl
│   └── freeze.pl
├── fsyntax
│   ├── examples
│   │   ├── append.pl
│   │   ├── arrays_ops.pl
│   │   ├── arrays.pl
│   │   ├── arrays_rt.pl
│   │   ├── arrays_test.pl
│   │   ├── clpqf.pl
│   │   ├── deriv.pl
│   │   ├── factf_assrt.pl
│   │   ├── factf_clpq_assrt.pl
│   │   ├── factf_fsyntax.pl
│   │   ├── factf.pl
│   │   ├── fib_fun.pl
│   │   ├── hiordfun.pl
│   │   ├── lazyex.pl
│   │   ├── lazy_simple.pl
│   │   ├── lazy_simpler.pl
│   │   ├── NOCOMPILE
│   │   ├── open_file_f_wide.pl
│   │   ├── propsf.pl
│   │   ├── revf_assrt_bug.pl
│   │   ├── revf_assrt_new.pl
│   │   └── revf.pl
│   ├── fsyntax_doc.pl
│   ├── fsyntax.pl
│   ├── functional_basics.pl
│   ├── functional_defs.pl
│   ├── functionstr.pl
│   └── ops.pl
├── functional.pl
├── functions.pl
├── fuzzy_search
│   └── fuzzy_search.pl
├── getopts.pl
├── global_vars.pl
├── glob.pl
├── graphs
│   ├── graphs.pl
│   ├── lgraphs.pl
│   └── ugraphs.pl
├── hiordlib.pl
├── hrtime
│   ├── examples
│   │   ├── NOCOMPILE
│   │   └── noise.pl
│   ├── hrtime.c
│   ├── hrtime.h
│   └── hrtime.pl
├── http
│   ├── cgi.pl
│   ├── http_client.pl
│   ├── http_date.pl
│   ├── http_doc.pl
│   ├── http_forms.pl
│   ├── http_grammar.pl
│   ├── http_messages.pl
│   ├── http_server_hooks.pl
│   ├── http_server.pl
│   ├── http_service.pl
│   ├── http_service_rt.pl
│   ├── mimetypes.pl
│   ├── multipart_form_data.pl
│   └── url.pl
├── http_get
│   └── http_get.pl
├── id
│   ├── examples
│   │   ├── example2.pl
│   │   ├── example_id.pl
│   │   ├── examplep.pl
│   │   ├── exampleq.pl
│   │   ├── NOCOMPILE
│   │   └── qsort.pl
│   ├── id_doc.pl
│   ├── id.pl
│   └── id_tr.pl
├── idlists.pl
├── indexer
│   ├── examples
│   │   ├── README
│   │   └── t.pl
│   ├── goedel.pl
│   ├── hash.pl
│   ├── indexer_doc.pl
│   ├── indexer.pl
│   ├── indexer_tr.pl
│   └── tests
│   ├── check_idx_test.bash
│   ├── idx_test_co.pl-ref
│   ├── idx_test.pl
│   ├── idx_test.wam-ref
│   └── NOCOMPILE
├── io_alias_redirection.pl
├── iso_char.pl
├── iso_incomplete.pl
├── iso_misc.pl
├── iso_strict
│   ├── iso_strict_doc.pl
│   └── iso_strict.pl
├── keys.pl
├── layout_dcg
│   ├── layout_dcg.pl
│   └── layout_dcg_rt.pl
├── lazy
│   ├── examples
│   │   ├── ex_function.pl
│   │   ├── ex.pl
│   │   ├── fib_function.pl
│   │   ├── fib.pl
│   │   ├── lqsort_function.pl
│   │   ├── lqsort.pl
│   │   ├── module1.pl
│   │   ├── module2.pl
│   │   ├── naturals_function.pl
│   │   ├── naturals.pl
│   │   ├── NOCOMPILEFILES
│   │   ├── primes_function.pl
│   │   ├── primes.pl
│   │   ├── tetrahedral_function.pl
│   │   └── tetrahedral.pl
│   ├── lazy_doc.pl
│   ├── lazy_lib.pl
│   ├── lazy.pl
│   ├── lazytr.pl
│   └── ops.pl
├── librowser
│   └── librowser.pl
├── listing.pl
├── logged_process.pl
├── loops.pl
├── lsets.pl
├── markdown
│   ├── examples
│   │   ├── markdown_simple.lpdoc
│   │   ├── markup_simple.lpdoc
│   │   ├── NOCOMPILE
│   │   └── README
│   ├── markdown_parser.pl
│   ├── markdown_syntax.pl
│   └── markdown_translate.pl
├── md5sum
│   └── md5sum.pl
├── menu
│   ├── examples
│   │   ├── menu_0.pl
│   │   ├── menu_1.pl
│   │   ├── menu_2.pl
│   │   ├── menu_3.pl
│   │   └── menu_n.pl
│   ├── menu_common.pl
│   ├── menu_doc.pl
│   ├── menu_generator.pl
│   ├── menu_op.pl
│   ├── menu.pl
│   ├── menu_rt.pl
│   ├── menu_tr.pl
│   └── pattern_filler.pl
├── modblobs
│   └── modblobs.pl
├── mtarjan.pl
├── mutables.pl
├── nativeprops.pl
├── numlists.pl
├── opendoc.pl
├── parse_shell_args.pl
├── parse_spec.pl
├── persdb
│   ├── datadir.pl
│   ├── examples
│   │   ├── example_dynamic.pl
│   │   ├── example_static.pl
│   │   ├── NOCOMPILE
│   │   ├── queuedy.pl
│   │   ├── queuell.pl
│   │   ├── queue.pl
│   │   └── README
│   ├── persdb_cache.pl
│   ├── persdb_decl.pl
│   ├── persdb_examples.pl
│   ├── persdb_ll.pl
│   ├── persdb.pl
│   ├── persdb_rt.pl
│   ├── persdb_tr.pl
│   └── tests
│   ├── example_dynamic.pl
│   ├── example_static.pl
│   ├── persistentdb.pl
│   └── queue.pl
├── pillow
│   ├── color_space.pl
│   ├── error_templates.pl
│   ├── examples
│   │   ├── check_links.pl
│   │   ├── cookies.pl
│   │   ├── html_demo.html
│   │   ├── html_demo.pl
│   │   ├── html_forms.pl
│   │   ├── phones.pl
│   │   └── template.html
│   ├── html.pl
│   ├── json.pl
│   ├── ops.pl
│   ├── pillow_doc.pl
│   ├── pillow.pl
│   └── xmlterm.pl
├── pretty_print.pl
├── prompt.pl
├── queues.pl
├── random
│   ├── random.c
│   └── random.pl
├── random_aggregates.pl
├── regexp
│   ├── regexp_code.pl
│   ├── regexp_doc.pl
│   ├── regexp_flags.pl
│   ├── regexp.pl
│   └── regexp_trans.pl
├── runtime_ops
│   ├── runtime_ops_doc.pl
│   ├── runtime_ops.pl
│   └── runtime_ops_tr.pl
├── service
│   ├── actmod_ctl.pl
│   ├── serve_http.pl
│   ├── service_loader.pl
│   └── service_registry.pl
├── sha1
│   ├── examples
│   │   └── example.pl
│   ├── sha1_c.c
│   └── sha1.pl
├── sh_process.pl
├── sockets
│   ├── examples
│   │   ├── client.pl
│   │   ├── Makefile
│   │   ├── NOCOMPILE
│   │   ├── README
│   │   ├── server.pl
│   │   └── socket_number.pl
│   ├── sockets_c.c
│   ├── sockets_io.pl
│   └── sockets.pl
├── sortnums.pl
├── source_tree
│   ├── bundle_source_tree.pl
│   └── source_tree.pl
├── stream_wait
│   ├── stream_wait.c
│   └── stream_wait.pl
├── symfnames
│   ├── examples
│   │   ├── main.pl
│   │   ├── mm.pl
│   │   └── myfiles.pl
│   ├── examples.lpdoc
│   └── symfnames.pl
├── symlink_locks.pl
├── syntax_highlight
│   ├── css
│   │   └── ciao-htmlfontify.css
│   ├── emacs-htmlfontify.el
│   └── syntax_highlight.pl
├── system_extra.pl
├── tabling
│   ├── benchmark
│   │   └── README
│   ├── chat_tabling.c
│   ├── chat_tabling.h
│   ├── chat_tabling_tab.c
│   ├── debug.c
│   ├── debug.h
│   ├── engine.h
│   ├── examples
│   │   └── path_tabling.pl
│   ├── exec_prolog_functions.c
│   ├── exec_prolog_functions.h
│   ├── forward_trail.pl
│   ├── Makefile
│   ├── memo_management.c
│   ├── print_st.c
│   ├── tabling_doc.pl
│   ├── tabling.pl
│   ├── tabling_rt.pl
│   ├── tabling_terms.h
│   ├── tabling_tr.pl
│   ├── terms.c
│   ├── terms.h
│   ├── tries.c
│   └── tries.h
├── terms_check.pl
├── terms_io.pl
├── terms_vars.pl
├── text_template.pl
├── timeout
│   ├── alarm.c
│   ├── tests
│   │   ├── NOCOMPILE
│   │   └── test_timeout.pl
│   └── timeout.pl
├── toplevel
│   ├── prettysols.pl
│   ├── toplevel_debugger.pl
│   ├── toplevel_doc.pl
│   ├── toplevel_io.pl
│   ├── toplevel.pl
│   ├── toplevel_prompt.pl
│   └── toplevel_scope.pl
├── toplevel_proc
│   └── toplevel_proc.pl
├── traits
│   ├── examples
│   │   ├── trait_orig.pl
│   │   ├── trait_test2.pl
│   │   └── trait_test.pl
│   ├── traits_doc.pl
│   ├── traits_ops.pl
│   ├── traits.pl
│   └── traits_tr.pl
├── ttyout.pl
├── use_url.pl
├── vcs
│   ├── vcs_git.pl
│   └── vcs_svn.pl
├── version_strings.pl
├── version_strings.test.pl
├── vndict.pl
├── when
│   ├── max.pl
│   ├── when__old.pl
│   └── when.pl
└── xrefs
├── callgraph.pl
├── mrefs.pl
├── pxrefs.pl
├── xfgraph.eps
├── xmgraph.eps
├── xrefs2graph.pl
├── xrefsbuild.pl
├── xrefs.pl
└── xrefsread.pl
172 directories, 2447 files
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment