kibi-swipl-linux-x64-gnu 1.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +29 -0
- package/bin/swipl +0 -0
- package/bin/swipl-win +0 -0
- package/build-manifest.json +70 -0
- package/lib/cmake/swipl/SWIPLConfig.cmake +21 -0
- package/lib/cmake/swipl/SWIPLConfigVersion.cmake +65 -0
- package/lib/cmake/swipl/SWIPLTargets-release.cmake +28 -0
- package/lib/cmake/swipl/SWIPLTargets.cmake +109 -0
- package/lib/swipl/ABI +1 -0
- package/lib/swipl/LICENSE +41 -0
- package/lib/swipl/README.md +116 -0
- package/lib/swipl/app/README.md +25 -0
- package/lib/swipl/app/app.pl +87 -0
- package/lib/swipl/app/pack.pl +350 -0
- package/lib/swipl/app/qlf.pl +521 -0
- package/lib/swipl/app/splfr.pl +177 -0
- package/lib/swipl/app/sys.pl +310 -0
- package/lib/swipl/bin/swipl.home +1 -0
- package/lib/swipl/boot/apply.pl +73 -0
- package/lib/swipl/boot/attvar.pl +344 -0
- package/lib/swipl/boot/autoload.pl +1226 -0
- package/lib/swipl/boot/bags.pl +283 -0
- package/lib/swipl/boot/dcg.pl +388 -0
- package/lib/swipl/boot/dicts.pl +193 -0
- package/lib/swipl/boot/dwim.pl +485 -0
- package/lib/swipl/boot/engines.pl +152 -0
- package/lib/swipl/boot/expand.pl +1628 -0
- package/lib/swipl/boot/gc.pl +65 -0
- package/lib/swipl/boot/history.pl +304 -0
- package/lib/swipl/boot/init.pl +4682 -0
- package/lib/swipl/boot/iri.pl +64 -0
- package/lib/swipl/boot/license.pl +390 -0
- package/lib/swipl/boot/load.pl +81 -0
- package/lib/swipl/boot/messages.pl +2521 -0
- package/lib/swipl/boot/packs.pl +306 -0
- package/lib/swipl/boot/predopts.pl +154 -0
- package/lib/swipl/boot/qlf.pl +141 -0
- package/lib/swipl/boot/rc.pl +263 -0
- package/lib/swipl/boot/syspred.pl +1634 -0
- package/lib/swipl/boot/tabling.pl +2321 -0
- package/lib/swipl/boot/threads.pl +42 -0
- package/lib/swipl/boot/toplevel.pl +2248 -0
- package/lib/swipl/boot/topvars.pl +261 -0
- package/lib/swipl/boot.prc +0 -0
- package/lib/swipl/cmake/swipl.cmake +131 -0
- package/lib/swipl/customize/README.md +23 -0
- package/lib/swipl/customize/edit +101 -0
- package/lib/swipl/customize/init.pl +164 -0
- package/lib/swipl/demo/README.md +33 -0
- package/lib/swipl/demo/likes.pl +44 -0
- package/lib/swipl/doc/packages/examples/chr/bool.chr +281 -0
- package/lib/swipl/doc/packages/examples/chr/chrdif.chr +87 -0
- package/lib/swipl/doc/packages/examples/chr/chrfreeze.chr +6 -0
- package/lib/swipl/doc/packages/examples/chr/family.chr +116 -0
- package/lib/swipl/doc/packages/examples/chr/fib.chr +24 -0
- package/lib/swipl/doc/packages/examples/chr/fibonacci.chr +31 -0
- package/lib/swipl/doc/packages/examples/chr/gcd.chr +28 -0
- package/lib/swipl/doc/packages/examples/chr/leq.chr +34 -0
- package/lib/swipl/doc/packages/examples/chr/listdom.chr +138 -0
- package/lib/swipl/doc/packages/examples/chr/primes.chr +29 -0
- package/lib/swipl/doc/packages/examples/http/README.md +98 -0
- package/lib/swipl/doc/packages/examples/http/calc.pl +92 -0
- package/lib/swipl/doc/packages/examples/http/demo_body.pl +232 -0
- package/lib/swipl/doc/packages/examples/http/demo_client.pl +165 -0
- package/lib/swipl/doc/packages/examples/http/demo_daemon.pl +38 -0
- package/lib/swipl/doc/packages/examples/http/demo_files.pl +50 -0
- package/lib/swipl/doc/packages/examples/http/demo_hello.pl +15 -0
- package/lib/swipl/doc/packages/examples/http/demo_login.pl +280 -0
- package/lib/swipl/doc/packages/examples/http/demo_openid.pl +177 -0
- package/lib/swipl/doc/packages/examples/http/demo_pwp.pl +20 -0
- package/lib/swipl/doc/packages/examples/http/demo_rest.pl +56 -0
- package/lib/swipl/doc/packages/examples/http/demo_threads.pl +52 -0
- package/lib/swipl/doc/packages/examples/http/linux-init-script +126 -0
- package/lib/swipl/doc/packages/examples/http/pwp/context.pwp +23 -0
- package/lib/swipl/doc/packages/examples/http/pwp/index.pwp +25 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp1.pwp +12 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp2.pwp +10 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp3.pwp +25 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp4.pwp +23 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp5.pwp +11 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp6.pwp +3 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp7.pwp +3 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp8.pwp +3 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwpdb.pl +12 -0
- package/lib/swipl/doc/packages/examples/http/systemd-script.service +18 -0
- package/lib/swipl/doc/packages/examples/http/upstart-script.conf +20 -0
- package/lib/swipl/doc/packages/examples/plunit/read.pl +17 -0
- package/lib/swipl/doc/packages/examples/plunit/simple.pl +33 -0
- package/lib/swipl/doc/packages/examples/ssl/client.pl +83 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/README +52 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.p12 +0 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/client/client-key.pem +30 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/cacert.pem +82 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/careq.pem +18 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/crlnumber +1 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt +3 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt.attr +1 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7C.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7D.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem +30 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/serial +1 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/server/server-cert.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/server/server-key.pem +30 -0
- package/lib/swipl/doc/packages/examples/ssl/https.pl +267 -0
- package/lib/swipl/doc/packages/examples/ssl/server.pl +106 -0
- package/lib/swipl/include/SWI-Prolog.h +1544 -0
- package/lib/swipl/include/SWI-Stream.h +537 -0
- package/lib/swipl/include/Yap/YapInterface.h +283 -0
- package/lib/swipl/include/sicstus/sicstus.h +452 -0
- package/lib/swipl/lib/x86_64-linux/cgi.so +0 -0
- package/lib/swipl/lib/x86_64-linux/crypt.so +0 -0
- package/lib/swipl/lib/x86_64-linux/crypto4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/double_metaphone.so +0 -0
- package/lib/swipl/lib/x86_64-linux/files.so +0 -0
- package/lib/swipl/lib/x86_64-linux/hashstream.so +0 -0
- package/lib/swipl/lib/x86_64-linux/http_stream.so +0 -0
- package/lib/swipl/lib/x86_64-linux/isub.so +0 -0
- package/lib/swipl/lib/x86_64-linux/json.so +0 -0
- package/lib/swipl/lib/x86_64-linux/libswipl.so.10 +0 -0
- package/lib/swipl/lib/x86_64-linux/mallocinfo.so +0 -0
- package/lib/swipl/lib/x86_64-linux/md54pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/memfile.so +0 -0
- package/lib/swipl/lib/x86_64-linux/ntriples.so +0 -0
- package/lib/swipl/lib/x86_64-linux/pcre4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/porter_stem.so +0 -0
- package/lib/swipl/lib/x86_64-linux/process.so +0 -0
- package/lib/swipl/lib/x86_64-linux/prolog_stream.so +0 -0
- package/lib/swipl/lib/x86_64-linux/rdf_db.so +0 -0
- package/lib/swipl/lib/x86_64-linux/readutil.so +0 -0
- package/lib/swipl/lib/x86_64-linux/rlimit.so +0 -0
- package/lib/swipl/lib/x86_64-linux/sched.so +0 -0
- package/lib/swipl/lib/x86_64-linux/sgml2pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/sha4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/snowball.so +0 -0
- package/lib/swipl/lib/x86_64-linux/socket.so +0 -0
- package/lib/swipl/lib/x86_64-linux/ssl4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/streaminfo.so +0 -0
- package/lib/swipl/lib/x86_64-linux/syslog.so +0 -0
- package/lib/swipl/lib/x86_64-linux/time.so +0 -0
- package/lib/swipl/lib/x86_64-linux/turtle.so +0 -0
- package/lib/swipl/lib/x86_64-linux/uid.so +0 -0
- package/lib/swipl/lib/x86_64-linux/unix.so +0 -0
- package/lib/swipl/lib/x86_64-linux/uri.so +0 -0
- package/lib/swipl/lib/x86_64-linux/websocket.so +0 -0
- package/lib/swipl/lib/x86_64-linux/zlib4pl.so +0 -0
- package/lib/swipl/library/INDEX.pl +1020 -0
- package/lib/swipl/library/aggregate.pl +755 -0
- package/lib/swipl/library/ansi_term.pl +653 -0
- package/lib/swipl/library/apply.pl +426 -0
- package/lib/swipl/library/apply_macros.pl +497 -0
- package/lib/swipl/library/arithmetic.pl +320 -0
- package/lib/swipl/library/assoc.pl +522 -0
- package/lib/swipl/library/atom.pl +169 -0
- package/lib/swipl/library/backcomp.pl +688 -0
- package/lib/swipl/library/base32.pl +291 -0
- package/lib/swipl/library/base64.pl +441 -0
- package/lib/swipl/library/broadcast.pl +161 -0
- package/lib/swipl/library/build/cmake.pl +137 -0
- package/lib/swipl/library/build/conan.pl +232 -0
- package/lib/swipl/library/build/make.pl +168 -0
- package/lib/swipl/library/build/tools.pl +825 -0
- package/lib/swipl/library/charsio.pl +195 -0
- package/lib/swipl/library/check.pl +1097 -0
- package/lib/swipl/library/check_installation.pl +912 -0
- package/lib/swipl/library/clp/INDEX.pl +157 -0
- package/lib/swipl/library/clp/bounds.pl +2036 -0
- package/lib/swipl/library/clp/clp_distinct.pl +263 -0
- package/lib/swipl/library/clp/clp_events.pl +92 -0
- package/lib/swipl/library/clp/clpb.pl +1896 -0
- package/lib/swipl/library/clp/clpfd.pl +7906 -0
- package/lib/swipl/library/clp/simplex.pl +1580 -0
- package/lib/swipl/library/codesio.pl +182 -0
- package/lib/swipl/library/coinduction.pl +183 -0
- package/lib/swipl/library/console_input.pl +289 -0
- package/lib/swipl/library/csv.pl +611 -0
- package/lib/swipl/library/ctypes.pl +161 -0
- package/lib/swipl/library/date.pl +370 -0
- package/lib/swipl/library/dcg/INDEX.pl +35 -0
- package/lib/swipl/library/dcg/basics.pl +514 -0
- package/lib/swipl/library/dcg/high_order.pl +227 -0
- package/lib/swipl/library/debug.pl +499 -0
- package/lib/swipl/library/dialect/bim.pl +186 -0
- package/lib/swipl/library/dialect/commons.pl +77 -0
- package/lib/swipl/library/dialect/eclipse/test_util_iso.pl +355 -0
- package/lib/swipl/library/dialect/hprolog/format.pl +44 -0
- package/lib/swipl/library/dialect/hprolog.pl +314 -0
- package/lib/swipl/library/dialect/ifprolog.pl +1317 -0
- package/lib/swipl/library/dialect/iso/iso_predicates.pl +277 -0
- package/lib/swipl/library/dialect/sicstus/README.TXT +1 -0
- package/lib/swipl/library/dialect/sicstus/arrays.pl +121 -0
- package/lib/swipl/library/dialect/sicstus/block.pl +278 -0
- package/lib/swipl/library/dialect/sicstus/lists.pl +167 -0
- package/lib/swipl/library/dialect/sicstus/ordsets.pl +52 -0
- package/lib/swipl/library/dialect/sicstus/sockets.pl +174 -0
- package/lib/swipl/library/dialect/sicstus/system.pl +262 -0
- package/lib/swipl/library/dialect/sicstus/terms.pl +57 -0
- package/lib/swipl/library/dialect/sicstus/timeout.pl +92 -0
- package/lib/swipl/library/dialect/sicstus.pl +582 -0
- package/lib/swipl/library/dialect/sicstus4/aggregate.pl +60 -0
- package/lib/swipl/library/dialect/sicstus4/between.pl +62 -0
- package/lib/swipl/library/dialect/sicstus4/clpfd.pl +75 -0
- package/lib/swipl/library/dialect/sicstus4/file_systems.pl +413 -0
- package/lib/swipl/library/dialect/sicstus4/lists.pl +274 -0
- package/lib/swipl/library/dialect/sicstus4/ordsets.pl +54 -0
- package/lib/swipl/library/dialect/sicstus4/samsort.pl +86 -0
- package/lib/swipl/library/dialect/sicstus4/sets.pl +124 -0
- package/lib/swipl/library/dialect/sicstus4/sockets.pl +164 -0
- package/lib/swipl/library/dialect/sicstus4/system.pl +80 -0
- package/lib/swipl/library/dialect/sicstus4/terms.pl +89 -0
- package/lib/swipl/library/dialect/sicstus4/timeout.pl +43 -0
- package/lib/swipl/library/dialect/sicstus4/types.pl +103 -0
- package/lib/swipl/library/dialect/sicstus4.pl +200 -0
- package/lib/swipl/library/dialect/swi/syspred_options.pl +250 -0
- package/lib/swipl/library/dialect/xsb/README.md +20 -0
- package/lib/swipl/library/dialect/xsb/basics.pl +318 -0
- package/lib/swipl/library/dialect/xsb/consult.pl +87 -0
- package/lib/swipl/library/dialect/xsb/curr_sym.pl +57 -0
- package/lib/swipl/library/dialect/xsb/error_handler.pl +111 -0
- package/lib/swipl/library/dialect/xsb/gensym.pl +53 -0
- package/lib/swipl/library/dialect/xsb/gpp.pl +138 -0
- package/lib/swipl/library/dialect/xsb/intern.pl +48 -0
- package/lib/swipl/library/dialect/xsb/lists.pl +47 -0
- package/lib/swipl/library/dialect/xsb/machine.pl +295 -0
- package/lib/swipl/library/dialect/xsb/ordsets.pl +53 -0
- package/lib/swipl/library/dialect/xsb/setof.pl +54 -0
- package/lib/swipl/library/dialect/xsb/source.pl +308 -0
- package/lib/swipl/library/dialect/xsb/standard.pl +169 -0
- package/lib/swipl/library/dialect/xsb/storage.pl +70 -0
- package/lib/swipl/library/dialect/xsb/string.pl +76 -0
- package/lib/swipl/library/dialect/xsb/thread.pl +62 -0
- package/lib/swipl/library/dialect/xsb/timed_call.pl +158 -0
- package/lib/swipl/library/dialect/xsb.pl +688 -0
- package/lib/swipl/library/dialect/yap/README.TXT +8 -0
- package/lib/swipl/library/dialect/yap.pl +283 -0
- package/lib/swipl/library/dialect.pl +123 -0
- package/lib/swipl/library/dicts.pl +399 -0
- package/lib/swipl/library/dif.pl +426 -0
- package/lib/swipl/library/edinburgh.pl +138 -0
- package/lib/swipl/library/edit.pl +783 -0
- package/lib/swipl/library/error.pl +495 -0
- package/lib/swipl/library/exceptions.pl +231 -0
- package/lib/swipl/library/explain.pl +543 -0
- package/lib/swipl/library/ext/RDF/INDEX.pl +25 -0
- package/lib/swipl/library/ext/RDF/rdf.pl +450 -0
- package/lib/swipl/library/ext/RDF/rdf_parser.pl +649 -0
- package/lib/swipl/library/ext/RDF/rdf_triple.pl +448 -0
- package/lib/swipl/library/ext/RDF/rdf_write.pl +701 -0
- package/lib/swipl/library/ext/RDF/rewrite_term.pl +177 -0
- package/lib/swipl/library/ext/chr/chr/a_star.pl +80 -0
- package/lib/swipl/library/ext/chr/chr/binomialheap.pl +142 -0
- package/lib/swipl/library/ext/chr/chr/builtins.pl +629 -0
- package/lib/swipl/library/ext/chr/chr/chr_compiler_errors.pl +179 -0
- package/lib/swipl/library/ext/chr/chr/chr_compiler_options.pl +382 -0
- package/lib/swipl/library/ext/chr/chr/chr_compiler_utility.pl +338 -0
- package/lib/swipl/library/ext/chr/chr/chr_debug.pl +59 -0
- package/lib/swipl/library/ext/chr/chr/chr_hashtable_store.pl +425 -0
- package/lib/swipl/library/ext/chr/chr/chr_integertable_store.pl +139 -0
- package/lib/swipl/library/ext/chr/chr/chr_messages.pl +176 -0
- package/lib/swipl/library/ext/chr/chr/chr_op.pl +53 -0
- package/lib/swipl/library/ext/chr/chr/chr_runtime.pl +1016 -0
- package/lib/swipl/library/ext/chr/chr/chr_translate.pl +25424 -0
- package/lib/swipl/library/ext/chr/chr/clean_code.pl +252 -0
- package/lib/swipl/library/ext/chr/chr/find.pl +78 -0
- package/lib/swipl/library/ext/chr/chr/guard_entailment.pl +19432 -0
- package/lib/swipl/library/ext/chr/chr/listmap.pl +108 -0
- package/lib/swipl/library/ext/chr/chr/pairlist.pl +78 -0
- package/lib/swipl/library/ext/chr/chr.pl +686 -0
- package/lib/swipl/library/ext/clib/INDEX.pl +158 -0
- package/lib/swipl/library/ext/clib/cgi.pl +86 -0
- package/lib/swipl/library/ext/clib/crypt.pl +44 -0
- package/lib/swipl/library/ext/clib/filesex.pl +644 -0
- package/lib/swipl/library/ext/clib/hash_stream.pl +119 -0
- package/lib/swipl/library/ext/clib/mallocinfo.pl +138 -0
- package/lib/swipl/library/ext/clib/md5.pl +68 -0
- package/lib/swipl/library/ext/clib/memfile.pl +61 -0
- package/lib/swipl/library/ext/clib/process.pl +573 -0
- package/lib/swipl/library/ext/clib/prolog_server.pl +157 -0
- package/lib/swipl/library/ext/clib/prolog_stream.pl +80 -0
- package/lib/swipl/library/ext/clib/rlimit.pl +54 -0
- package/lib/swipl/library/ext/clib/sched.pl +85 -0
- package/lib/swipl/library/ext/clib/sha.pl +162 -0
- package/lib/swipl/library/ext/clib/socket.pl +1102 -0
- package/lib/swipl/library/ext/clib/streaminfo.pl +103 -0
- package/lib/swipl/library/ext/clib/streampool.pl +136 -0
- package/lib/swipl/library/ext/clib/syslog.pl +180 -0
- package/lib/swipl/library/ext/clib/time.pl +194 -0
- package/lib/swipl/library/ext/clib/udp_broadcast.pl +975 -0
- package/lib/swipl/library/ext/clib/uid.pl +220 -0
- package/lib/swipl/library/ext/clib/unix.pl +317 -0
- package/lib/swipl/library/ext/clib/uri.pl +530 -0
- package/lib/swipl/library/ext/clib/uuid.pl +207 -0
- package/lib/swipl/library/ext/http/http/INDEX.pl +266 -0
- package/lib/swipl/library/ext/http/http/README.md +34 -0
- package/lib/swipl/library/ext/http/http/ax.pl +189 -0
- package/lib/swipl/library/ext/http/http/dcg_basics.pl +49 -0
- package/lib/swipl/library/ext/http/http/graphql.pl +1367 -0
- package/lib/swipl/library/ext/http/http/html_decl.pl +416 -0
- package/lib/swipl/library/ext/http/http/html_head.pl +654 -0
- package/lib/swipl/library/ext/http/http/html_quasiquotations.pl +120 -0
- package/lib/swipl/library/ext/http/http/html_write.pl +1425 -0
- package/lib/swipl/library/ext/http/http/htmx.pl +139 -0
- package/lib/swipl/library/ext/http/http/http_authenticate.pl +364 -0
- package/lib/swipl/library/ext/http/http/http_client.pl +412 -0
- package/lib/swipl/library/ext/http/http/http_cookie.pl +245 -0
- package/lib/swipl/library/ext/http/http/http_cors.pl +176 -0
- package/lib/swipl/library/ext/http/http/http_digest.pl +820 -0
- package/lib/swipl/library/ext/http/http/http_dirindex.pl +296 -0
- package/lib/swipl/library/ext/http/http/http_dispatch.pl +1552 -0
- package/lib/swipl/library/ext/http/http/http_dyn_workers.pl +214 -0
- package/lib/swipl/library/ext/http/http/http_error.pl +126 -0
- package/lib/swipl/library/ext/http/http/http_exception.pl +225 -0
- package/lib/swipl/library/ext/http/http/http_files.pl +163 -0
- package/lib/swipl/library/ext/http/http/http_header.pl +2820 -0
- package/lib/swipl/library/ext/http/http/http_hook.pl +106 -0
- package/lib/swipl/library/ext/http/http/http_host.pl +204 -0
- package/lib/swipl/library/ext/http/http/http_load.pl +113 -0
- package/lib/swipl/library/ext/http/http/http_log.pl +738 -0
- package/lib/swipl/library/ext/http/http/http_multipart_plugin.pl +232 -0
- package/lib/swipl/library/ext/http/http/http_open.pl +1821 -0
- package/lib/swipl/library/ext/http/http/http_openid.pl +1561 -0
- package/lib/swipl/library/ext/http/http/http_parameters.pl +504 -0
- package/lib/swipl/library/ext/http/http/http_path.pl +380 -0
- package/lib/swipl/library/ext/http/http/http_proxy.pl +80 -0
- package/lib/swipl/library/ext/http/http/http_pwp.pl +351 -0
- package/lib/swipl/library/ext/http/http/http_redis_plugin.pl +332 -0
- package/lib/swipl/library/ext/http/http/http_server.pl +105 -0
- package/lib/swipl/library/ext/http/http/http_server_files.pl +126 -0
- package/lib/swipl/library/ext/http/http/http_server_health.pl +186 -0
- package/lib/swipl/library/ext/http/http/http_session.pl +1040 -0
- package/lib/swipl/library/ext/http/http/http_sgml_plugin.pl +137 -0
- package/lib/swipl/library/ext/http/http/http_stream.pl +376 -0
- package/lib/swipl/library/ext/http/http/http_unix_daemon.pl +989 -0
- package/lib/swipl/library/ext/http/http/http_wrapper.pl +559 -0
- package/lib/swipl/library/ext/http/http/hub.pl +600 -0
- package/lib/swipl/library/ext/http/http/js_write.pl +461 -0
- package/lib/swipl/library/ext/http/http/mimepack.pl +224 -0
- package/lib/swipl/library/ext/http/http/mimetype.pl +276 -0
- package/lib/swipl/library/ext/http/http/term_html.pl +797 -0
- package/lib/swipl/library/ext/http/http/thread_httpd.pl +1181 -0
- package/lib/swipl/library/ext/http/http/web/css/dirindex.css +24 -0
- package/lib/swipl/library/ext/http/http/web/css/openid.css +57 -0
- package/lib/swipl/library/ext/http/http/web/icons/back.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/c.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/compressed.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/folder.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/generic.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/layout.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/openid-logo-square.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/openid-logo-tiny.png +0 -0
- package/lib/swipl/library/ext/http/http/websocket.pl +729 -0
- package/lib/swipl/library/ext/http/http/yadis.pl +205 -0
- package/lib/swipl/library/ext/json/INDEX.pl +36 -0
- package/lib/swipl/library/ext/json/http/INDEX.pl +16 -0
- package/lib/swipl/library/ext/json/http/http_json.pl +490 -0
- package/lib/swipl/library/ext/json/http/js_grammar.pl +53 -0
- package/lib/swipl/library/ext/json/http/json.pl +48 -0
- package/lib/swipl/library/ext/json/http/json_convert.pl +48 -0
- package/lib/swipl/library/ext/json/json.pl +1215 -0
- package/lib/swipl/library/ext/json/json_convert.pl +681 -0
- package/lib/swipl/library/ext/json/json_grammar.pl +349 -0
- package/lib/swipl/library/ext/json/json_rpc_client.pl +423 -0
- package/lib/swipl/library/ext/json/json_rpc_common.pl +104 -0
- package/lib/swipl/library/ext/json/json_rpc_server.pl +489 -0
- package/lib/swipl/library/ext/json/json_schema.pl +2111 -0
- package/lib/swipl/library/ext/nlp/INDEX.pl +15 -0
- package/lib/swipl/library/ext/nlp/double_metaphone.pl +86 -0
- package/lib/swipl/library/ext/nlp/isub.pl +162 -0
- package/lib/swipl/library/ext/nlp/porter_stem.pl +50 -0
- package/lib/swipl/library/ext/nlp/snowball.pl +97 -0
- package/lib/swipl/library/ext/pcre/INDEX.pl +17 -0
- package/lib/swipl/library/ext/pcre/pcre.pl +974 -0
- package/lib/swipl/library/ext/plunit/INDEX.pl +20 -0
- package/lib/swipl/library/ext/plunit/plunit.pl +2631 -0
- package/lib/swipl/library/ext/plunit/test_wizard.pl +249 -0
- package/lib/swipl/library/ext/semweb/semweb/INDEX.pl +288 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf11.pl +2106 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf11_containers.pl +299 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_cache.pl +278 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_compare.pl +132 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_db.pl +3468 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_edit.pl +1145 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_http_plugin.pl +274 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_library.pl +1021 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_litindex.pl +1035 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_ntriples.pl +422 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_persistency.pl +1576 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_portray.pl +182 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_prefixes.pl +681 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_sandbox.pl +153 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_turtle.pl +54 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_turtle_write.pl +1587 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_zlib_plugin.pl +52 -0
- package/lib/swipl/library/ext/semweb/semweb/rdfa.pl +1510 -0
- package/lib/swipl/library/ext/semweb/semweb/rdfs.pl +475 -0
- package/lib/swipl/library/ext/semweb/semweb/sparql_client.pl +643 -0
- package/lib/swipl/library/ext/semweb/semweb/turtle.pl +455 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML4.dcl +88 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML4.dtd +1092 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML4.soc +6 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML5.dtd +906 -0
- package/lib/swipl/library/ext/sgml/DTD/HTMLlat1.ent +195 -0
- package/lib/swipl/library/ext/sgml/DTD/HTMLspec.ent +77 -0
- package/lib/swipl/library/ext/sgml/DTD/HTMLsym.ent +241 -0
- package/lib/swipl/library/ext/sgml/INDEX.pl +64 -0
- package/lib/swipl/library/ext/sgml/c14n2.pl +203 -0
- package/lib/swipl/library/ext/sgml/iso_639.pl +631 -0
- package/lib/swipl/library/ext/sgml/pwp.pl +705 -0
- package/lib/swipl/library/ext/sgml/sgml.pl +815 -0
- package/lib/swipl/library/ext/sgml/sgml_write.pl +1003 -0
- package/lib/swipl/library/ext/sgml/xpath.pl +620 -0
- package/lib/swipl/library/ext/sgml/xsdp_types.pl +232 -0
- package/lib/swipl/library/ext/ssl/INDEX.pl +60 -0
- package/lib/swipl/library/ext/ssl/crypto.pl +1015 -0
- package/lib/swipl/library/ext/ssl/http/INDEX.pl +5 -0
- package/lib/swipl/library/ext/ssl/http/http_ssl_plugin.pl +296 -0
- package/lib/swipl/library/ext/ssl/saml.pl +609 -0
- package/lib/swipl/library/ext/ssl/ssl.pl +647 -0
- package/lib/swipl/library/ext/ssl/xmldsig.pl +391 -0
- package/lib/swipl/library/ext/ssl/xmlenc.pl +354 -0
- package/lib/swipl/library/ext/zlib/INDEX.pl +8 -0
- package/lib/swipl/library/ext/zlib/zlib.pl +112 -0
- package/lib/swipl/library/fastrw.pl +105 -0
- package/lib/swipl/library/files.pl +80 -0
- package/lib/swipl/library/gensym.pl +111 -0
- package/lib/swipl/library/git.pl +1027 -0
- package/lib/swipl/library/hashtable.pl +365 -0
- package/lib/swipl/library/heaps.pl +252 -0
- package/lib/swipl/library/hotfix.pl +239 -0
- package/lib/swipl/library/http/jquery.pl +103 -0
- package/lib/swipl/library/http/web/js/jquery-3.6.0.min.js +2 -0
- package/lib/swipl/library/increval.pl +217 -0
- package/lib/swipl/library/intercept.pl +263 -0
- package/lib/swipl/library/iostream.pl +237 -0
- package/lib/swipl/library/iri_scheme/file.pl +70 -0
- package/lib/swipl/library/lazy_lists.pl +481 -0
- package/lib/swipl/library/listing.pl +1362 -0
- package/lib/swipl/library/lists.pl +860 -0
- package/lib/swipl/library/lynx/INDEX.pl +14 -0
- package/lib/swipl/library/lynx/format.pl +380 -0
- package/lib/swipl/library/lynx/html_style.pl +129 -0
- package/lib/swipl/library/lynx/html_text.pl +865 -0
- package/lib/swipl/library/lynx/pldoc_style.pl +87 -0
- package/lib/swipl/library/macros.pl +451 -0
- package/lib/swipl/library/main.pl +1200 -0
- package/lib/swipl/library/make.pl +197 -0
- package/lib/swipl/library/modules.pl +129 -0
- package/lib/swipl/library/nb_rbtrees.pl +267 -0
- package/lib/swipl/library/nb_set.pl +203 -0
- package/lib/swipl/library/obfuscate.pl +115 -0
- package/lib/swipl/library/occurs.pl +241 -0
- package/lib/swipl/library/operators.pl +182 -0
- package/lib/swipl/library/option.pl +388 -0
- package/lib/swipl/library/optparse.pl +966 -0
- package/lib/swipl/library/ordsets.pl +518 -0
- package/lib/swipl/library/oset.pl +160 -0
- package/lib/swipl/library/pairs.pl +187 -0
- package/lib/swipl/library/persistency.pl +713 -0
- package/lib/swipl/library/pio.pl +47 -0
- package/lib/swipl/library/portray_text.pl +277 -0
- package/lib/swipl/library/pprint.pl +940 -0
- package/lib/swipl/library/predicate_options.pl +975 -0
- package/lib/swipl/library/prolog_autoload.pl +233 -0
- package/lib/swipl/library/prolog_breakpoints.pl +396 -0
- package/lib/swipl/library/prolog_clause.pl +1104 -0
- package/lib/swipl/library/prolog_code.pl +416 -0
- package/lib/swipl/library/prolog_codewalk.pl +1248 -0
- package/lib/swipl/library/prolog_colour.pl +3301 -0
- package/lib/swipl/library/prolog_colour.qlf +0 -0
- package/lib/swipl/library/prolog_config.pl +154 -0
- package/lib/swipl/library/prolog_coverage.pl +1333 -0
- package/lib/swipl/library/prolog_debug.pl +404 -0
- package/lib/swipl/library/prolog_deps.pl +675 -0
- package/lib/swipl/library/prolog_evaluable.pl +234 -0
- package/lib/swipl/library/prolog_format.pl +219 -0
- package/lib/swipl/library/prolog_history.pl +161 -0
- package/lib/swipl/library/prolog_jiti.pl +333 -0
- package/lib/swipl/library/prolog_locale.pl +61 -0
- package/lib/swipl/library/prolog_metainference.pl +307 -0
- package/lib/swipl/library/prolog_pack.pl +3906 -0
- package/lib/swipl/library/prolog_profile.pl +346 -0
- package/lib/swipl/library/prolog_qlfmake.pl +533 -0
- package/lib/swipl/library/prolog_source.pl +1188 -0
- package/lib/swipl/library/prolog_stack.pl +794 -0
- package/lib/swipl/library/prolog_trace.pl +365 -0
- package/lib/swipl/library/prolog_versions.pl +347 -0
- package/lib/swipl/library/prolog_wrap.pl +164 -0
- package/lib/swipl/library/prolog_xref.pl +3090 -0
- package/lib/swipl/library/prolog_xref.qlf +0 -0
- package/lib/swipl/library/pure_input.pl +266 -0
- package/lib/swipl/library/qpforeign.pl +695 -0
- package/lib/swipl/library/qsave.pl +1516 -0
- package/lib/swipl/library/quasi_quotations.pl +300 -0
- package/lib/swipl/library/quintus.pl +437 -0
- package/lib/swipl/library/random.pl +459 -0
- package/lib/swipl/library/rbtrees.pl +1153 -0
- package/lib/swipl/library/readln.pl +256 -0
- package/lib/swipl/library/readutil.pl +304 -0
- package/lib/swipl/library/record.pl +544 -0
- package/lib/swipl/library/rwlocks.pl +172 -0
- package/lib/swipl/library/sandbox.pl +1384 -0
- package/lib/swipl/library/semweb/dc.rdfs +198 -0
- package/lib/swipl/library/semweb/eor.rdfs +95 -0
- package/lib/swipl/library/semweb/owl.owl +287 -0
- package/lib/swipl/library/semweb/rdf_library.ttl +90 -0
- package/lib/swipl/library/semweb/rdfs.rdfs +251 -0
- package/lib/swipl/library/settings.pl +755 -0
- package/lib/swipl/library/shell.pl +462 -0
- package/lib/swipl/library/shlib.pl +670 -0
- package/lib/swipl/library/solution_sequences.pl +439 -0
- package/lib/swipl/library/sort.pl +119 -0
- package/lib/swipl/library/statistics.pl +541 -0
- package/lib/swipl/library/streams.pl +118 -0
- package/lib/swipl/library/strings.pl +469 -0
- package/lib/swipl/library/system.pl +95 -0
- package/lib/swipl/library/tables.pl +381 -0
- package/lib/swipl/library/tableutil.pl +771 -0
- package/lib/swipl/library/tabling.pl +42 -0
- package/lib/swipl/library/terms.pl +457 -0
- package/lib/swipl/library/theme/auto.pl +61 -0
- package/lib/swipl/library/theme/dark.pl +455 -0
- package/lib/swipl/library/theme/light.pl +45 -0
- package/lib/swipl/library/thread.pl +810 -0
- package/lib/swipl/library/thread_pool.pl +508 -0
- package/lib/swipl/library/threadutil.pl +574 -0
- package/lib/swipl/library/tty.pl +316 -0
- package/lib/swipl/library/ugraphs.pl +644 -0
- package/lib/swipl/library/unicode/INDEX.pl +6 -0
- package/lib/swipl/library/unicode/blocks.pl +414 -0
- package/lib/swipl/library/url.pl +1129 -0
- package/lib/swipl/library/utf8.pl +145 -0
- package/lib/swipl/library/varnumbers.pl +221 -0
- package/lib/swipl/library/vm.pl +251 -0
- package/lib/swipl/library/wfs.pl +205 -0
- package/lib/swipl/library/when.pl +263 -0
- package/lib/swipl/library/writef.pl +278 -0
- package/lib/swipl/library/www_browser.pl +251 -0
- package/lib/swipl/library/yall.pl +574 -0
- package/lib/swipl/library/zip.pl +211 -0
- package/lib/swipl/swipl.home +1 -0
- package/lib/vendor/libcrypto.so.3 +0 -0
- package/lib/vendor/libpcre2-8.so.0 +0 -0
- package/lib/vendor/libssl.so.3 +0 -0
- package/lib/vendor/libz.so.1 +0 -0
- package/licenses/OpenSSL-LICENSE.txt +177 -0
- package/licenses/PCRE2-COPYING +5 -0
- package/licenses/README.md +12 -0
- package/licenses/SWI-Prolog-LICENSE +41 -0
- package/licenses/zlib-LICENSE +22 -0
- package/package.json +27 -0
|
@@ -0,0 +1,1020 @@
|
|
|
1
|
+
/* Creator: make/0
|
|
2
|
+
|
|
3
|
+
Purpose: Provide index for autoload
|
|
4
|
+
*/
|
|
5
|
+
|
|
6
|
+
index(aggregate(?,^,-), aggregate, aggregate).
|
|
7
|
+
index(aggregate(?,?,^,-), aggregate, aggregate).
|
|
8
|
+
index(aggregate_all(?,0,-), aggregate, aggregate).
|
|
9
|
+
index(aggregate_all(?,?,0,-), aggregate, aggregate).
|
|
10
|
+
index(foldall(2,0,+,-), aggregate, aggregate).
|
|
11
|
+
index(foreach(0,0), aggregate, aggregate).
|
|
12
|
+
index(free_variables(?,?,?,?), aggregate, aggregate).
|
|
13
|
+
index(ansi_format(?,?,?), ansi_term, ansi_term).
|
|
14
|
+
index(ansi_format(?,?,?,?), ansi_term, ansi_term).
|
|
15
|
+
index(ansi_get_color(?,?), ansi_term, ansi_term).
|
|
16
|
+
index(ansi_hyperlink(?,?), ansi_term, ansi_term).
|
|
17
|
+
index(ansi_hyperlink(?,?,?), ansi_term, ansi_term).
|
|
18
|
+
index(include(1,+,-), apply, apply).
|
|
19
|
+
index(exclude(1,+,-), apply, apply).
|
|
20
|
+
index(partition(1,+,-,-), apply, apply).
|
|
21
|
+
index(partition(2,+,-,-,-), apply, apply).
|
|
22
|
+
index(maplist(1,?), apply, apply).
|
|
23
|
+
index(maplist(2,?,?), apply, apply).
|
|
24
|
+
index(maplist(3,?,?,?), apply, apply).
|
|
25
|
+
index(maplist(4,?,?,?,?), apply, apply).
|
|
26
|
+
index(convlist(2,+,-), apply, apply).
|
|
27
|
+
index(foldl(3,+,+,-), apply, apply).
|
|
28
|
+
index(foldl(4,+,+,+,-), apply, apply).
|
|
29
|
+
index(foldl(5,+,+,+,+,-), apply, apply).
|
|
30
|
+
index(foldl(6,+,+,+,+,+,-), apply, apply).
|
|
31
|
+
index(scanl(3,+,+,-), apply, apply).
|
|
32
|
+
index(scanl(4,+,+,+,-), apply, apply).
|
|
33
|
+
index(scanl(5,+,+,+,+,-), apply, apply).
|
|
34
|
+
index(scanl(6,+,+,+,+,+,-), apply, apply).
|
|
35
|
+
index(expand_phrase(?,?), apply_macros, apply_macros).
|
|
36
|
+
index(expand_phrase(?,?,?,?), apply_macros, apply_macros).
|
|
37
|
+
index(apply_macros_sentinel, apply_macros, apply_macros).
|
|
38
|
+
index(arithmetic_function(:), arithmetic, arithmetic).
|
|
39
|
+
index(arithmetic_expression_value(:,-), arithmetic, arithmetic).
|
|
40
|
+
index(empty_assoc(?), assoc, assoc).
|
|
41
|
+
index(is_assoc(?), assoc, assoc).
|
|
42
|
+
index(assoc_to_list(?,?), assoc, assoc).
|
|
43
|
+
index(assoc_to_keys(?,?), assoc, assoc).
|
|
44
|
+
index(assoc_to_values(?,?), assoc, assoc).
|
|
45
|
+
index(gen_assoc(?,?,?), assoc, assoc).
|
|
46
|
+
index(get_assoc(?,?,?), assoc, assoc).
|
|
47
|
+
index(get_assoc(?,?,?,?,?), assoc, assoc).
|
|
48
|
+
index(list_to_assoc(?,?), assoc, assoc).
|
|
49
|
+
index(map_assoc(1,?), assoc, assoc).
|
|
50
|
+
index(map_assoc(2,?,?), assoc, assoc).
|
|
51
|
+
index(max_assoc(?,?,?), assoc, assoc).
|
|
52
|
+
index(min_assoc(?,?,?), assoc, assoc).
|
|
53
|
+
index(ord_list_to_assoc(?,?), assoc, assoc).
|
|
54
|
+
index(put_assoc(?,?,?,?), assoc, assoc).
|
|
55
|
+
index(del_assoc(?,?,?,?), assoc, assoc).
|
|
56
|
+
index(del_min_assoc(?,?,?,?), assoc, assoc).
|
|
57
|
+
index(del_max_assoc(?,?,?,?), assoc, assoc).
|
|
58
|
+
index(restyle_identifier(?,?,?), atom, atom).
|
|
59
|
+
index(identifier_parts(?,?), atom, atom).
|
|
60
|
+
index(join_identifier_parts(?,?,?), atom, atom).
|
|
61
|
+
index('$arch'(?,?), backward_compatibility, backcomp).
|
|
62
|
+
index('$version'(?), backward_compatibility, backcomp).
|
|
63
|
+
index('$home'(?), backward_compatibility, backcomp).
|
|
64
|
+
index('$argv'(?), backward_compatibility, backcomp).
|
|
65
|
+
index('$set_prompt'(?), backward_compatibility, backcomp).
|
|
66
|
+
index('$strip_module'(?,?,?), backward_compatibility, backcomp).
|
|
67
|
+
index('$declare_module'(?,?,?), backward_compatibility, backcomp).
|
|
68
|
+
index('$module'(?,?), backward_compatibility, backcomp).
|
|
69
|
+
index(at_initialization(0), backward_compatibility, backcomp).
|
|
70
|
+
index(displayq(?), backward_compatibility, backcomp).
|
|
71
|
+
index(displayq(?,?), backward_compatibility, backcomp).
|
|
72
|
+
index(sformat(?,?), backward_compatibility, backcomp).
|
|
73
|
+
index(sformat(?,?,?), backward_compatibility, backcomp).
|
|
74
|
+
index(concat(?,?,?), backward_compatibility, backcomp).
|
|
75
|
+
index(concat_atom(?,?), backward_compatibility, backcomp).
|
|
76
|
+
index(concat_atom(?,?,?), backward_compatibility, backcomp).
|
|
77
|
+
index('$apropos_match'(?,?), backward_compatibility, backcomp).
|
|
78
|
+
index(read_clause(?), backward_compatibility, backcomp).
|
|
79
|
+
index(read_clause(?,?), backward_compatibility, backcomp).
|
|
80
|
+
index(read_variables(?,?), backward_compatibility, backcomp).
|
|
81
|
+
index(read_variables(?,?,?), backward_compatibility, backcomp).
|
|
82
|
+
index(read_pending_input(?,?,?), backward_compatibility, backcomp).
|
|
83
|
+
index(feature(?,?), backward_compatibility, backcomp).
|
|
84
|
+
index(set_feature(?,?), backward_compatibility, backcomp).
|
|
85
|
+
index(substring(?,?,?,?), backward_compatibility, backcomp).
|
|
86
|
+
index(string_to_list(?,?), backward_compatibility, backcomp).
|
|
87
|
+
index(string_to_atom(?,?), backward_compatibility, backcomp).
|
|
88
|
+
index(flush, backward_compatibility, backcomp).
|
|
89
|
+
index(write_ln(?), backward_compatibility, backcomp).
|
|
90
|
+
index(proper_list(?), backward_compatibility, backcomp).
|
|
91
|
+
index(free_variables(?,?), backward_compatibility, backcomp).
|
|
92
|
+
index(hash_term(?,?), backward_compatibility, backcomp).
|
|
93
|
+
index(checklist(1,+), backward_compatibility, backcomp).
|
|
94
|
+
index(sublist(1,+,?), backward_compatibility, backcomp).
|
|
95
|
+
index(sumlist(?,?), backward_compatibility, backcomp).
|
|
96
|
+
index(convert_time(?,?), backward_compatibility, backcomp).
|
|
97
|
+
index(convert_time(?,?,?,?,?,?,?,?), backward_compatibility, backcomp).
|
|
98
|
+
index('C'(?,?,?), backward_compatibility, backcomp).
|
|
99
|
+
index(current_thread(?,?), backward_compatibility, backcomp).
|
|
100
|
+
index(current_mutex(?,?,?), backward_compatibility, backcomp).
|
|
101
|
+
index(message_queue_size(?,?), backward_compatibility, backcomp).
|
|
102
|
+
index(lock_predicate(?,?), backward_compatibility, backcomp).
|
|
103
|
+
index(unlock_predicate(?,?), backward_compatibility, backcomp).
|
|
104
|
+
index(current_module(?,?), backward_compatibility, backcomp).
|
|
105
|
+
index(export_list(?,?), backward_compatibility, backcomp).
|
|
106
|
+
index(call_cleanup(0,?,0), backward_compatibility, backcomp).
|
|
107
|
+
index(setup_and_call_cleanup(0,0,0), backward_compatibility, backcomp).
|
|
108
|
+
index(setup_and_call_cleanup(0,0,?,0), backward_compatibility, backcomp).
|
|
109
|
+
index(merge(?,?,?), backward_compatibility, backcomp).
|
|
110
|
+
index(merge_set(?,?,?), backward_compatibility, backcomp).
|
|
111
|
+
index(index(:), backward_compatibility, backcomp).
|
|
112
|
+
index(hash(:), backward_compatibility, backcomp).
|
|
113
|
+
index(set_base_module(:), backward_compatibility, backcomp).
|
|
114
|
+
index(eval_license, backward_compatibility, backcomp).
|
|
115
|
+
index(trie_insert_new(?,?,?), backward_compatibility, backcomp).
|
|
116
|
+
index(thread_at_exit(0), backward_compatibility, backcomp).
|
|
117
|
+
index(read_history(?,?,?,?,?,?), backward_compatibility, backcomp).
|
|
118
|
+
index('$sig_atomic'(0), backward_compatibility, backcomp).
|
|
119
|
+
index(base32(?,?), base32, base32).
|
|
120
|
+
index(base32(?,?,?), base32, base32).
|
|
121
|
+
index(base64_encoded(?,?,?), base64, base64).
|
|
122
|
+
index(base64_encoded(?,?,?,?), base64, base64).
|
|
123
|
+
index(base64(?,?), base64, base64).
|
|
124
|
+
index(base64(?,?,?), base64, base64).
|
|
125
|
+
index(base64url(?,?), base64, base64).
|
|
126
|
+
index(base64url(?,?,?), base64, base64).
|
|
127
|
+
index(listen(+,+,0), broadcast, broadcast).
|
|
128
|
+
index(listen(+,0), broadcast, broadcast).
|
|
129
|
+
index(unlisten(?), broadcast, broadcast).
|
|
130
|
+
index(unlisten(?,?), broadcast, broadcast).
|
|
131
|
+
index(unlisten(+,+,0), broadcast, broadcast).
|
|
132
|
+
index(listening(?,?,?), broadcast, broadcast).
|
|
133
|
+
index(broadcast(?), broadcast, broadcast).
|
|
134
|
+
index(broadcast_request(?), broadcast, broadcast).
|
|
135
|
+
index(format_to_chars(?,?,?), charsio, charsio).
|
|
136
|
+
index(format_to_chars(?,?,?,?), charsio, charsio).
|
|
137
|
+
index(write_to_chars(?,?), charsio, charsio).
|
|
138
|
+
index(write_to_chars(?,?,?), charsio, charsio).
|
|
139
|
+
index(atom_to_chars(?,?), charsio, charsio).
|
|
140
|
+
index(atom_to_chars(?,?,?), charsio, charsio).
|
|
141
|
+
index(number_to_chars(?,?), charsio, charsio).
|
|
142
|
+
index(number_to_chars(?,?,?), charsio, charsio).
|
|
143
|
+
index(read_from_chars(?,?), charsio, charsio).
|
|
144
|
+
index(read_term_from_chars(?,?,?), charsio, charsio).
|
|
145
|
+
index(open_chars_stream(?,?), charsio, charsio).
|
|
146
|
+
index(with_output_to_chars(0,-), charsio, charsio).
|
|
147
|
+
index(with_output_to_chars(0,-,?), charsio, charsio).
|
|
148
|
+
index(with_output_to_chars(0,-,-,?), charsio, charsio).
|
|
149
|
+
index(check, check, check).
|
|
150
|
+
index(list_undefined, check, check).
|
|
151
|
+
index(list_undefined(?), check, check).
|
|
152
|
+
index(list_autoload, check, check).
|
|
153
|
+
index(list_redefined, check, check).
|
|
154
|
+
index(list_cross_module_calls, check, check).
|
|
155
|
+
index(list_cross_module_calls(?), check, check).
|
|
156
|
+
index(list_void_declarations, check, check).
|
|
157
|
+
index(list_trivial_fails, check, check).
|
|
158
|
+
index(list_trivial_fails(?), check, check).
|
|
159
|
+
index(list_format_errors, check, check).
|
|
160
|
+
index(list_format_errors(?), check, check).
|
|
161
|
+
index(list_strings, check, check).
|
|
162
|
+
index(list_strings(?), check, check).
|
|
163
|
+
index(list_rationals, check, check).
|
|
164
|
+
index(list_rationals(?), check, check).
|
|
165
|
+
index(check_installation, check_installation, check_installation).
|
|
166
|
+
index(check_installation(?), check_installation, check_installation).
|
|
167
|
+
index(check_config_files, check_installation, check_installation).
|
|
168
|
+
index(update_config_files, check_installation, check_installation).
|
|
169
|
+
index(test_installation, check_installation, check_installation).
|
|
170
|
+
index(test_installation(?), check_installation, check_installation).
|
|
171
|
+
index(format_to_codes(?,?,?), codesio, codesio).
|
|
172
|
+
index(format_to_codes(?,?,?,?), codesio, codesio).
|
|
173
|
+
index(write_to_codes(?,?), codesio, codesio).
|
|
174
|
+
index(write_to_codes(?,?,?), codesio, codesio).
|
|
175
|
+
index(write_term_to_codes(?,?,?), codesio, codesio).
|
|
176
|
+
index(write_term_to_codes(?,?,?,?), codesio, codesio).
|
|
177
|
+
index(read_from_codes(?,?), codesio, codesio).
|
|
178
|
+
index(read_term_from_codes(?,?,?), codesio, codesio).
|
|
179
|
+
index(open_codes_stream(?,?), codesio, codesio).
|
|
180
|
+
index(with_output_to_codes(0,-), codesio, codesio).
|
|
181
|
+
index(with_output_to_codes(0,-,?), codesio, codesio).
|
|
182
|
+
index(with_output_to_codes(0,-,-,?), codesio, codesio).
|
|
183
|
+
index(coinductive(?), coinduction, coinduction).
|
|
184
|
+
index(:(op,op(1150,fx,coinductive)), coinduction, coinduction).
|
|
185
|
+
index(csv(?,?,?), csv, csv).
|
|
186
|
+
index(csv(?,?,?,?), csv, csv).
|
|
187
|
+
index(csv_read_file(?,?), csv, csv).
|
|
188
|
+
index(csv_read_file(?,?,?), csv, csv).
|
|
189
|
+
index(csv_read_stream(?,?,?), csv, csv).
|
|
190
|
+
index(csv_read_file_row(?,?,?), csv, csv).
|
|
191
|
+
index(csv_read_row(?,?,?), csv, csv).
|
|
192
|
+
index(csv_options(?,?), csv, csv).
|
|
193
|
+
index(csv_write_file(?,?), csv, csv).
|
|
194
|
+
index(csv_write_file(?,?,?), csv, csv).
|
|
195
|
+
index(csv_write_stream(?,?,?), csv, csv).
|
|
196
|
+
index(is_alnum(?), ctypes, ctypes).
|
|
197
|
+
index(is_alpha(?), ctypes, ctypes).
|
|
198
|
+
index(is_ascii(?), ctypes, ctypes).
|
|
199
|
+
index(is_cntrl(?), ctypes, ctypes).
|
|
200
|
+
index(is_csym(?), ctypes, ctypes).
|
|
201
|
+
index(is_csymf(?), ctypes, ctypes).
|
|
202
|
+
index(is_digit(?), ctypes, ctypes).
|
|
203
|
+
index(is_digit(?,?,?), ctypes, ctypes).
|
|
204
|
+
index(is_endfile(?), ctypes, ctypes).
|
|
205
|
+
index(is_endline(?), ctypes, ctypes).
|
|
206
|
+
index(is_graph(?), ctypes, ctypes).
|
|
207
|
+
index(is_lower(?), ctypes, ctypes).
|
|
208
|
+
index(is_newline(?), ctypes, ctypes).
|
|
209
|
+
index(is_newpage(?), ctypes, ctypes).
|
|
210
|
+
index(is_paren(?,?), ctypes, ctypes).
|
|
211
|
+
index(is_period(?), ctypes, ctypes).
|
|
212
|
+
index(is_print(?), ctypes, ctypes).
|
|
213
|
+
index(is_punct(?), ctypes, ctypes).
|
|
214
|
+
index(is_quote(?), ctypes, ctypes).
|
|
215
|
+
index(is_space(?), ctypes, ctypes).
|
|
216
|
+
index(is_upper(?), ctypes, ctypes).
|
|
217
|
+
index(is_white(?), ctypes, ctypes).
|
|
218
|
+
index(to_lower(?,?), ctypes, ctypes).
|
|
219
|
+
index(to_upper(?,?), ctypes, ctypes).
|
|
220
|
+
index(upper_lower(?,?), ctypes, ctypes).
|
|
221
|
+
index(date_time_value(?,?,?), date, date).
|
|
222
|
+
index(parse_time(?,?), date, date).
|
|
223
|
+
index(parse_time(?,?,?), date, date).
|
|
224
|
+
index(day_of_the_week(?,?), date, date).
|
|
225
|
+
index(day_of_the_year(?,?), date, date).
|
|
226
|
+
index(debug(+,+,:), prolog_debug, debug).
|
|
227
|
+
index(debug(?), prolog_debug, debug).
|
|
228
|
+
index(nodebug(?), prolog_debug, debug).
|
|
229
|
+
index(debugging(?), prolog_debug, debug).
|
|
230
|
+
index(debugging(?,?), prolog_debug, debug).
|
|
231
|
+
index(list_debug_topics, prolog_debug, debug).
|
|
232
|
+
index(list_debug_topics(?), prolog_debug, debug).
|
|
233
|
+
index(debug_message_context(?), prolog_debug, debug).
|
|
234
|
+
index(assertion(0), prolog_debug, debug).
|
|
235
|
+
index(expects_dialect(?), prolog_dialect, dialect).
|
|
236
|
+
index(exists_source(?), prolog_dialect, dialect).
|
|
237
|
+
index(source_exports(?,?), prolog_dialect, dialect).
|
|
238
|
+
index(mapdict(2,+), dicts, dicts).
|
|
239
|
+
index(mapdict(3,?,?), dicts, dicts).
|
|
240
|
+
index(mapdict(4,?,?,?), dicts, dicts).
|
|
241
|
+
index(dicts_same_tag(?,?), dicts, dicts).
|
|
242
|
+
index(dict_size(?,?), dicts, dicts).
|
|
243
|
+
index(dict_keys(?,?), dicts, dicts).
|
|
244
|
+
index(dicts_same_keys(?,?), dicts, dicts).
|
|
245
|
+
index(dicts_to_same_keys(+,3,-), dicts, dicts).
|
|
246
|
+
index(dict_fill(?,?,?,?), dicts, dicts).
|
|
247
|
+
index(dict_no_fill(?,?,?), dicts, dicts).
|
|
248
|
+
index(dicts_join(?,?,?), dicts, dicts).
|
|
249
|
+
index(dicts_join(?,?,?,?), dicts, dicts).
|
|
250
|
+
index(dicts_slice(?,?,?), dicts, dicts).
|
|
251
|
+
index(dicts_to_compounds(?,+,3,?), dicts, dicts).
|
|
252
|
+
index(dif(?,?), dif, dif).
|
|
253
|
+
index(display(?), edinburgh, edinburgh).
|
|
254
|
+
index(display(?,?), edinburgh, edinburgh).
|
|
255
|
+
index(unknown(:,:), edinburgh, edinburgh).
|
|
256
|
+
index(reconsult(:), edinburgh, edinburgh).
|
|
257
|
+
index(debug, edinburgh, edinburgh).
|
|
258
|
+
index(nodebug, edinburgh, edinburgh).
|
|
259
|
+
index(fileerrors(?,?), edinburgh, edinburgh).
|
|
260
|
+
index(edit(?), prolog_edit, edit).
|
|
261
|
+
index(edit, prolog_edit, edit).
|
|
262
|
+
index(:(public,predicate_location(_,_)), prolog_edit, edit).
|
|
263
|
+
index(instantiation_error(?), error, error).
|
|
264
|
+
index(uninstantiation_error(?), error, error).
|
|
265
|
+
index(type_error(?,?), error, error).
|
|
266
|
+
index(domain_error(?,?), error, error).
|
|
267
|
+
index(existence_error(?,?), error, error).
|
|
268
|
+
index(existence_error(?,?,?), error, error).
|
|
269
|
+
index(permission_error(?,?,?), error, error).
|
|
270
|
+
index(representation_error(?), error, error).
|
|
271
|
+
index(resource_error(?), error, error).
|
|
272
|
+
index(syntax_error(?), error, error).
|
|
273
|
+
index(must_be(?,?), error, error).
|
|
274
|
+
index(is_of_type(?,?), error, error).
|
|
275
|
+
index(current_type(?,?,?), error, error).
|
|
276
|
+
index(catch(0,:,?,0), exceptions, exceptions).
|
|
277
|
+
index(exception(:,?), exceptions, exceptions).
|
|
278
|
+
index(exception_type(?,?), exceptions, exceptions).
|
|
279
|
+
index(explain(?), prolog_explain, explain).
|
|
280
|
+
index(explain(?,?), prolog_explain, explain).
|
|
281
|
+
index(fast_read(?), fastrw, fastrw).
|
|
282
|
+
index(fast_write(?), fastrw, fastrw).
|
|
283
|
+
index(fast_read(?,?), fastrw, fastrw).
|
|
284
|
+
index(fast_write(?,?), fastrw, fastrw).
|
|
285
|
+
index(fast_write_to_string(?,?,?), fastrw, fastrw).
|
|
286
|
+
index(can_open_file(?,?), files, files).
|
|
287
|
+
index(chdir(?), files, files).
|
|
288
|
+
index(reset_gensym, gensym, gensym).
|
|
289
|
+
index(reset_gensym(?), gensym, gensym).
|
|
290
|
+
index(gensym(?,?), gensym, gensym).
|
|
291
|
+
index(git(?,?), git, git).
|
|
292
|
+
index(git_process_output(+,1,+), git, git).
|
|
293
|
+
index(git_open_file(?,?,?,?), git, git).
|
|
294
|
+
index(is_git_directory(?), git, git).
|
|
295
|
+
index(git_describe(?,?), git, git).
|
|
296
|
+
index(git_hash(?,?), git, git).
|
|
297
|
+
index(git_ls_tree(?,?), git, git).
|
|
298
|
+
index(git_remote_url(?,?,?), git, git).
|
|
299
|
+
index(git_ls_remote(?,?,?), git, git).
|
|
300
|
+
index(git_branches(?,?), git, git).
|
|
301
|
+
index(git_remote_branches(?,?), git, git).
|
|
302
|
+
index(git_default_branch(?,?), git, git).
|
|
303
|
+
index(git_current_branch(?,?), git, git).
|
|
304
|
+
index(git_tags(?,?), git, git).
|
|
305
|
+
index(git_tags_on_branch(?,?,?), git, git).
|
|
306
|
+
index(git_shortlog(?,?,?), git, git).
|
|
307
|
+
index(git_log_data(?,?,?), git, git).
|
|
308
|
+
index(git_show(?,?,?,?), git, git).
|
|
309
|
+
index(git_commit_data(?,?,?), git, git).
|
|
310
|
+
index(is_git_hash(?), git, git).
|
|
311
|
+
index(ht_new(?), hashtable, hashtable).
|
|
312
|
+
index(ht_is_hashtable(?), hashtable, hashtable).
|
|
313
|
+
index(ht_size(?,?), hashtable, hashtable).
|
|
314
|
+
index(ht_put(?,?,?), hashtable, hashtable).
|
|
315
|
+
index(ht_update(?,?,?,?), hashtable, hashtable).
|
|
316
|
+
index(ht_put_new(?,?,?), hashtable, hashtable).
|
|
317
|
+
index(ht_put(?,?,?,?,?), hashtable, hashtable).
|
|
318
|
+
index(ht_del(?,?,?), hashtable, hashtable).
|
|
319
|
+
index(ht_get(?,?,?), hashtable, hashtable).
|
|
320
|
+
index(ht_gen(?,?,?), hashtable, hashtable).
|
|
321
|
+
index(ht_pairs(?,?), hashtable, hashtable).
|
|
322
|
+
index(ht_keys(?,?), hashtable, hashtable).
|
|
323
|
+
index(add_to_heap(?,?,?,?), heaps, heaps).
|
|
324
|
+
index(delete_from_heap(?,?,?,?), heaps, heaps).
|
|
325
|
+
index(empty_heap(?), heaps, heaps).
|
|
326
|
+
index(get_from_heap(?,?,?,?), heaps, heaps).
|
|
327
|
+
index(heap_size(?,?), heaps, heaps).
|
|
328
|
+
index(heap_to_list(?,?), heaps, heaps).
|
|
329
|
+
index(is_heap(?), heaps, heaps).
|
|
330
|
+
index(list_to_heap(?,?), heaps, heaps).
|
|
331
|
+
index(merge_heaps(?,?,?), heaps, heaps).
|
|
332
|
+
index(min_of_heap(?,?,?), heaps, heaps).
|
|
333
|
+
index(min_of_heap(?,?,?,?,?), heaps, heaps).
|
|
334
|
+
index(singleton_heap(?,?,?), heaps, heaps).
|
|
335
|
+
index(load_hotfixes(?), prolog_hotfix, hotfix).
|
|
336
|
+
index(incr_assert(:), increval, increval).
|
|
337
|
+
index(incr_asserta(:), increval, increval).
|
|
338
|
+
index(incr_assertz(:), increval, increval).
|
|
339
|
+
index(incr_retractall(:), increval, increval).
|
|
340
|
+
index(incr_retract(:), increval, increval).
|
|
341
|
+
index(is_incremental_subgoal(:), increval, increval).
|
|
342
|
+
index(incr_directly_depends(:,:), increval, increval).
|
|
343
|
+
index(incr_trans_depends(:,:), increval, increval).
|
|
344
|
+
index(incr_invalid_subgoals(?), increval, increval).
|
|
345
|
+
index(incr_is_invalid(:), increval, increval).
|
|
346
|
+
index(incr_invalidate_call(:), increval, increval).
|
|
347
|
+
index(incr_invalidate_calls(:), increval, increval).
|
|
348
|
+
index(incr_table_update, increval, increval).
|
|
349
|
+
index(incr_propagate_calls(:), increval, increval).
|
|
350
|
+
index(intercept(0,?,0), intercept, intercept).
|
|
351
|
+
index(intercept(0,?,1,?), intercept, intercept).
|
|
352
|
+
index(intercept_all(?,0,?,-), intercept, intercept).
|
|
353
|
+
index(nb_intercept_all(?,0,?,-), intercept, intercept).
|
|
354
|
+
index(send_signal(?), intercept, intercept).
|
|
355
|
+
index(send_silent_signal(?), intercept, intercept).
|
|
356
|
+
index(open_any(?,?,?,?,?), iostream, iostream).
|
|
357
|
+
index(close_any(?), iostream, iostream).
|
|
358
|
+
index(lazy_list(2,-), lazy_lists, lazy_lists).
|
|
359
|
+
index(lazy_list(3,+,-), lazy_lists, lazy_lists).
|
|
360
|
+
index(lazy_list_materialize(?), lazy_lists, lazy_lists).
|
|
361
|
+
index(lazy_list_length(?,?), lazy_lists, lazy_lists).
|
|
362
|
+
index(lazy_findall(?,0,-), lazy_lists, lazy_lists).
|
|
363
|
+
index(lazy_findall(+,?,0,-), lazy_lists, lazy_lists).
|
|
364
|
+
index(lazy_get_codes(?,?,?,?), lazy_lists, lazy_lists).
|
|
365
|
+
index(lazy_read_terms(?,?,?,?), lazy_lists, lazy_lists).
|
|
366
|
+
index(lazy_read_lines(?,?,?,?), lazy_lists, lazy_lists).
|
|
367
|
+
index(lazy_message_queue(?,?,?,?), lazy_lists, lazy_lists).
|
|
368
|
+
index(lazy_engine_next(?,?,?,?), lazy_lists, lazy_lists).
|
|
369
|
+
index(lazy_list_iterator(?,?,?,?), lazy_lists, lazy_lists).
|
|
370
|
+
index(listing, prolog_listing, listing).
|
|
371
|
+
index(listing(:), prolog_listing, listing).
|
|
372
|
+
index(listing(:,+), prolog_listing, listing).
|
|
373
|
+
index(portray_clause(?), prolog_listing, listing).
|
|
374
|
+
index(portray_clause(?,?), prolog_listing, listing).
|
|
375
|
+
index(portray_clause(+,+,:), prolog_listing, listing).
|
|
376
|
+
index(member(?,?), lists, lists).
|
|
377
|
+
index(memberchk(?,?), lists, lists).
|
|
378
|
+
index(append(?,?), lists, lists).
|
|
379
|
+
index(append(?,?,?), lists, lists).
|
|
380
|
+
index(prefix(?,?), lists, lists).
|
|
381
|
+
index(select(?,?,?), lists, lists).
|
|
382
|
+
index(selectchk(?,?,?), lists, lists).
|
|
383
|
+
index(select(?,?,?,?), lists, lists).
|
|
384
|
+
index(selectchk(?,?,?,?), lists, lists).
|
|
385
|
+
index(nextto(?,?,?), lists, lists).
|
|
386
|
+
index(delete(?,?,?), lists, lists).
|
|
387
|
+
index(nth0(?,?,?), lists, lists).
|
|
388
|
+
index(nth1(?,?,?), lists, lists).
|
|
389
|
+
index(nth0(?,?,?,?), lists, lists).
|
|
390
|
+
index(nth1(?,?,?,?), lists, lists).
|
|
391
|
+
index(last(?,?), lists, lists).
|
|
392
|
+
index(proper_length(?,?), lists, lists).
|
|
393
|
+
index(same_length(?,?), lists, lists).
|
|
394
|
+
index(reverse(?,?), lists, lists).
|
|
395
|
+
index(permutation(?,?), lists, lists).
|
|
396
|
+
index(flatten(?,?), lists, lists).
|
|
397
|
+
index(clumped(?,?), lists, lists).
|
|
398
|
+
index(subseq(?,?,?), lists, lists).
|
|
399
|
+
index(max_member(?,?), lists, lists).
|
|
400
|
+
index(min_member(?,?), lists, lists).
|
|
401
|
+
index(max_member(2,-,+), lists, lists).
|
|
402
|
+
index(min_member(2,-,+), lists, lists).
|
|
403
|
+
index(sum_list(?,?), lists, lists).
|
|
404
|
+
index(max_list(?,?), lists, lists).
|
|
405
|
+
index(min_list(?,?), lists, lists).
|
|
406
|
+
index(numlist(?,?,?), lists, lists).
|
|
407
|
+
index(is_set(?), lists, lists).
|
|
408
|
+
index(list_to_set(?,?), lists, lists).
|
|
409
|
+
index(intersection(?,?,?), lists, lists).
|
|
410
|
+
index(union(?,?,?), lists, lists).
|
|
411
|
+
index(subset(?,?), lists, lists).
|
|
412
|
+
index(subtract(?,?,?), lists, lists).
|
|
413
|
+
index(macro_position(?), macros, macros).
|
|
414
|
+
index(expand_macros(?,?,?,?,?), macros, macros).
|
|
415
|
+
index(include_macros(?,?,?), macros, macros).
|
|
416
|
+
index(:(op,op(10,fx,#)), macros, macros).
|
|
417
|
+
index(main, prolog_main, main).
|
|
418
|
+
index(argv_options(:,-,-), prolog_main, main).
|
|
419
|
+
index(argv_options(:,-,-,+), prolog_main, main).
|
|
420
|
+
index(argv_usage(:), prolog_main, main).
|
|
421
|
+
index(cli_parse_debug_options(?,?), prolog_main, main).
|
|
422
|
+
index(cli_debug_opt_type(?,?,?), prolog_main, main).
|
|
423
|
+
index(cli_debug_opt_help(?,?), prolog_main, main).
|
|
424
|
+
index(cli_debug_opt_meta(?,?), prolog_main, main).
|
|
425
|
+
index(cli_enable_development_system, prolog_main, main).
|
|
426
|
+
index(make, make, make).
|
|
427
|
+
index(make_reload_file(?), make, make).
|
|
428
|
+
index(in_temporary_module(?,0,0), modules, modules).
|
|
429
|
+
index(current_temporary_module(?), modules, modules).
|
|
430
|
+
index(nb_rb_insert(?,?,?), nb_rbtrees, nb_rbtrees).
|
|
431
|
+
index(nb_rb_get_node(?,?,?), nb_rbtrees, nb_rbtrees).
|
|
432
|
+
index(nb_rb_node_value(?,?), nb_rbtrees, nb_rbtrees).
|
|
433
|
+
index(nb_rb_set_node_value(?,?), nb_rbtrees, nb_rbtrees).
|
|
434
|
+
index(empty_nb_set(?), nb_set, nb_set).
|
|
435
|
+
index(add_nb_set(?,?), nb_set, nb_set).
|
|
436
|
+
index(add_nb_set(?,?,?), nb_set, nb_set).
|
|
437
|
+
index(size_nb_set(?,?), nb_set, nb_set).
|
|
438
|
+
index(nb_set_to_list(?,?), nb_set, nb_set).
|
|
439
|
+
index(gen_nb_set(?,?), nb_set, nb_set).
|
|
440
|
+
index(contains_term(?,?), occurs, occurs).
|
|
441
|
+
index(contains_var(?,?), occurs, occurs).
|
|
442
|
+
index(free_of_term(?,?), occurs, occurs).
|
|
443
|
+
index(free_of_var(?,?), occurs, occurs).
|
|
444
|
+
index(occurrences_of_term(?,?,?), occurs, occurs).
|
|
445
|
+
index(occurrences_of_var(?,?,?), occurs, occurs).
|
|
446
|
+
index(sub_term(?,?), occurs, occurs).
|
|
447
|
+
index(sub_var(?,?), occurs, occurs).
|
|
448
|
+
index(sub_term_shared_variables(?,?,?), occurs, occurs).
|
|
449
|
+
index(push_operators(:), prolog_operator, operators).
|
|
450
|
+
index(push_operators(:,-), prolog_operator, operators).
|
|
451
|
+
index(pop_operators, prolog_operator, operators).
|
|
452
|
+
index(pop_operators(?), prolog_operator, operators).
|
|
453
|
+
index(push_op(+,+,:), prolog_operator, operators).
|
|
454
|
+
index(option(?,?), swi_option, option).
|
|
455
|
+
index(option(?,?,?), swi_option, option).
|
|
456
|
+
index(select_option(?,?,?), swi_option, option).
|
|
457
|
+
index(select_option(?,?,?,?), swi_option, option).
|
|
458
|
+
index(merge_options(?,?,?), swi_option, option).
|
|
459
|
+
index(meta_options(1,:,-), swi_option, option).
|
|
460
|
+
index(dict_options(?,?), swi_option, option).
|
|
461
|
+
index(opt_parse(?,?,?,?,?), optparse, optparse).
|
|
462
|
+
index(opt_parse(?,?,?,?), optparse, optparse).
|
|
463
|
+
index(opt_arguments(?,?,?), optparse, optparse).
|
|
464
|
+
index(opt_help(?,?), optparse, optparse).
|
|
465
|
+
index(is_ordset(?), ordsets, ordsets).
|
|
466
|
+
index(list_to_ord_set(?,?), ordsets, ordsets).
|
|
467
|
+
index(ord_add_element(?,?,?), ordsets, ordsets).
|
|
468
|
+
index(ord_del_element(?,?,?), ordsets, ordsets).
|
|
469
|
+
index(ord_selectchk(?,?,?), ordsets, ordsets).
|
|
470
|
+
index(ord_intersect(?,?), ordsets, ordsets).
|
|
471
|
+
index(ord_intersect(?,?,?), ordsets, ordsets).
|
|
472
|
+
index(ord_intersection(?,?,?), ordsets, ordsets).
|
|
473
|
+
index(ord_intersection(?,?,?,?), ordsets, ordsets).
|
|
474
|
+
index(ord_disjoint(?,?), ordsets, ordsets).
|
|
475
|
+
index(ord_subtract(?,?,?), ordsets, ordsets).
|
|
476
|
+
index(ord_union(?,?), ordsets, ordsets).
|
|
477
|
+
index(ord_union(?,?,?), ordsets, ordsets).
|
|
478
|
+
index(ord_union(?,?,?,?), ordsets, ordsets).
|
|
479
|
+
index(ord_subset(?,?), ordsets, ordsets).
|
|
480
|
+
index(ord_empty(?), ordsets, ordsets).
|
|
481
|
+
index(ord_memberchk(?,?), ordsets, ordsets).
|
|
482
|
+
index(ord_symdiff(?,?,?), ordsets, ordsets).
|
|
483
|
+
index(ord_seteq(?,?), ordsets, ordsets).
|
|
484
|
+
index(ord_intersection(?,?), ordsets, ordsets).
|
|
485
|
+
index(oset_is(?), oset, oset).
|
|
486
|
+
index(oset_union(?,?,?), oset, oset).
|
|
487
|
+
index(oset_int(?,?,?), oset, oset).
|
|
488
|
+
index(oset_diff(?,?,?), oset, oset).
|
|
489
|
+
index(oset_dint(?,?), oset, oset).
|
|
490
|
+
index(oset_dunion(?,?), oset, oset).
|
|
491
|
+
index(oset_addel(?,?,?), oset, oset).
|
|
492
|
+
index(oset_delel(?,?,?), oset, oset).
|
|
493
|
+
index(oset_power(?,?), oset, oset).
|
|
494
|
+
index(pairs_keys_values(?,?,?), pairs, pairs).
|
|
495
|
+
index(pairs_values(?,?), pairs, pairs).
|
|
496
|
+
index(pairs_keys(?,?), pairs, pairs).
|
|
497
|
+
index(group_pairs_by_key(?,?), pairs, pairs).
|
|
498
|
+
index(transpose_pairs(?,?), pairs, pairs).
|
|
499
|
+
index(map_list_to_pairs(2,+,-), pairs, pairs).
|
|
500
|
+
index(persistent(?), persistency, persistency).
|
|
501
|
+
index(current_persistent_predicate(?), persistency, persistency).
|
|
502
|
+
index(db_attach(?,?), persistency, persistency).
|
|
503
|
+
index(db_detach, persistency, persistency).
|
|
504
|
+
index(db_attached(?), persistency, persistency).
|
|
505
|
+
index(db_sync(?), persistency, persistency).
|
|
506
|
+
index(db_sync_all(?), persistency, persistency).
|
|
507
|
+
index(:(op,op(1150,fx,persistent)), persistency, persistency).
|
|
508
|
+
index(portray_text(?), portray_text, portray_text).
|
|
509
|
+
index(set_portray_text(?,?), portray_text, portray_text).
|
|
510
|
+
index(set_portray_text(?,?,?), portray_text, portray_text).
|
|
511
|
+
index(print_term(?,?), prolog_pretty_print, pprint).
|
|
512
|
+
index(predicate_options(:,+,+), predicate_options, predicate_options).
|
|
513
|
+
index(assert_predicate_options(:,+,+,?), predicate_options, predicate_options).
|
|
514
|
+
index(current_option_arg(:,?), predicate_options, predicate_options).
|
|
515
|
+
index(current_predicate_option(:,?,?), predicate_options, predicate_options).
|
|
516
|
+
index(check_predicate_option(:,?,?), predicate_options, predicate_options).
|
|
517
|
+
index(current_predicate_options(:,?,?), predicate_options, predicate_options).
|
|
518
|
+
index(retractall_predicate_options, predicate_options, predicate_options).
|
|
519
|
+
index(derived_predicate_options(:,?,?), predicate_options, predicate_options).
|
|
520
|
+
index(derived_predicate_options(?), predicate_options, predicate_options).
|
|
521
|
+
index(check_predicate_options, predicate_options, predicate_options).
|
|
522
|
+
index(derive_predicate_options, predicate_options, predicate_options).
|
|
523
|
+
index(check_predicate_options(:), predicate_options, predicate_options).
|
|
524
|
+
index(autoload_all, prolog_autoload, prolog_autoload).
|
|
525
|
+
index(autoload_all(?), prolog_autoload, prolog_autoload).
|
|
526
|
+
index(set_breakpoint(?,?,?,?), prolog_breakpoints, prolog_breakpoints).
|
|
527
|
+
index(set_breakpoint(?,?,?,?,?), prolog_breakpoints, prolog_breakpoints).
|
|
528
|
+
index(set_breakpoint_condition(?,?), prolog_breakpoints, prolog_breakpoints).
|
|
529
|
+
index(delete_breakpoint(?), prolog_breakpoints, prolog_breakpoints).
|
|
530
|
+
index(breakpoint_property(?,?), prolog_breakpoints, prolog_breakpoints).
|
|
531
|
+
index(clause_info(?,?,?,?), prolog_clause, prolog_clause).
|
|
532
|
+
index(clause_info(?,?,?,?,?), prolog_clause, prolog_clause).
|
|
533
|
+
index(initialization_layout(?,?,?,?), prolog_clause, prolog_clause).
|
|
534
|
+
index(predicate_name(?,?), prolog_clause, prolog_clause).
|
|
535
|
+
index(clause_name(?,?), prolog_clause, prolog_clause).
|
|
536
|
+
index(:(public,unify_term(_,_)), prolog_clause, prolog_clause).
|
|
537
|
+
index(:(public,make_varnames(_,_,_,_,_)), prolog_clause, prolog_clause).
|
|
538
|
+
index(:(public,do_make_varnames(_,_,_)), prolog_clause, prolog_clause).
|
|
539
|
+
index(comma_list(?,?), prolog_code, prolog_code).
|
|
540
|
+
index(semicolon_list(?,?), prolog_code, prolog_code).
|
|
541
|
+
index(mkconj(?,?,?), prolog_code, prolog_code).
|
|
542
|
+
index(mkdisj(?,?,?), prolog_code, prolog_code).
|
|
543
|
+
index(pi_head(?,?), prolog_code, prolog_code).
|
|
544
|
+
index(head_name_arity(?,?,?), prolog_code, prolog_code).
|
|
545
|
+
index(most_general_goal(?,?), prolog_code, prolog_code).
|
|
546
|
+
index(extend_goal(?,?,?), prolog_code, prolog_code).
|
|
547
|
+
index(predicate_label(?,?), prolog_code, prolog_code).
|
|
548
|
+
index(predicate_sort_key(?,?), prolog_code, prolog_code).
|
|
549
|
+
index(is_control_goal(?), prolog_code, prolog_code).
|
|
550
|
+
index(is_predicate_indicator(?), prolog_code, prolog_code).
|
|
551
|
+
index(body_term_calls(:,-), prolog_code, prolog_code).
|
|
552
|
+
index(prolog_walk_code(:), prolog_codewalk, prolog_codewalk).
|
|
553
|
+
index(prolog_program_clause(?,?), prolog_codewalk, prolog_codewalk).
|
|
554
|
+
index(prolog_colourise_stream(+,+,3), prolog_colour, prolog_colour).
|
|
555
|
+
index(prolog_colourise_stream(+,+,3,+), prolog_colour, prolog_colour).
|
|
556
|
+
index(prolog_colourise_term(+,+,3,+), prolog_colour, prolog_colour).
|
|
557
|
+
index(prolog_colourise_query(+,+,3), prolog_colour, prolog_colour).
|
|
558
|
+
index(syntax_colour(?,?), prolog_colour, prolog_colour).
|
|
559
|
+
index(syntax_message(?,?,?), prolog_colour, prolog_colour).
|
|
560
|
+
index(prolog_dump_runtime_variables, prolog_config, prolog_config).
|
|
561
|
+
index(prolog_config(?,?), prolog_config, prolog_config).
|
|
562
|
+
index(coverage(0), prolog_coverage, prolog_coverage).
|
|
563
|
+
index(coverage(0,+), prolog_coverage, prolog_coverage).
|
|
564
|
+
index(show_coverage(:), prolog_coverage, prolog_coverage).
|
|
565
|
+
index(show_coverage(0,+), prolog_coverage, prolog_coverage).
|
|
566
|
+
index(cov_save_data(?,?), prolog_coverage, prolog_coverage).
|
|
567
|
+
index(cov_load_data(?,?), prolog_coverage, prolog_coverage).
|
|
568
|
+
index(cov_reset, prolog_coverage, prolog_coverage).
|
|
569
|
+
index(cov_property(?), prolog_coverage, prolog_coverage).
|
|
570
|
+
index(spy(:), prolog_debug_tools, prolog_debug).
|
|
571
|
+
index(nospy(:), prolog_debug_tools, prolog_debug).
|
|
572
|
+
index(nospyall, prolog_debug_tools, prolog_debug).
|
|
573
|
+
index(debugging, prolog_debug_tools, prolog_debug).
|
|
574
|
+
index(trap(?), prolog_debug_tools, prolog_debug).
|
|
575
|
+
index(notrap(?), prolog_debug_tools, prolog_debug).
|
|
576
|
+
index(file_autoload_directives(?,?,?), prolog_deps, prolog_deps).
|
|
577
|
+
index(file_auto_import(?,?), prolog_deps, prolog_deps).
|
|
578
|
+
index(evaluable_property(?,?), prolog_evaluable, prolog_evaluable).
|
|
579
|
+
index(format_spec(?,?), prolog_format, prolog_format).
|
|
580
|
+
index(format_spec(?,?,?), prolog_format, prolog_format).
|
|
581
|
+
index(format_types(?,?), prolog_format, prolog_format).
|
|
582
|
+
index(prolog_history(?), prolog_history, prolog_history).
|
|
583
|
+
index(jiti_list, prolog_jiti, prolog_jiti).
|
|
584
|
+
index(jiti_list(:), prolog_jiti, prolog_jiti).
|
|
585
|
+
index(jiti_suggest_modes(:), prolog_jiti, prolog_jiti).
|
|
586
|
+
index(jiti_suggest_modes, prolog_jiti, prolog_jiti).
|
|
587
|
+
index(setup_prolog_integer_grouping, prolog_locale, prolog_locale).
|
|
588
|
+
index(infer_meta_predicate(:,-), prolog_metainference, prolog_metainference).
|
|
589
|
+
index(inferred_meta_predicate(:,?), prolog_metainference, prolog_metainference).
|
|
590
|
+
index(pack_list_installed, prolog_pack, prolog_pack).
|
|
591
|
+
index(pack_info(?), prolog_pack, prolog_pack).
|
|
592
|
+
index(pack_list(?), prolog_pack, prolog_pack).
|
|
593
|
+
index(pack_list(?,?), prolog_pack, prolog_pack).
|
|
594
|
+
index(pack_search(?), prolog_pack, prolog_pack).
|
|
595
|
+
index(pack_install(?), prolog_pack, prolog_pack).
|
|
596
|
+
index(pack_install(?,?), prolog_pack, prolog_pack).
|
|
597
|
+
index(pack_install_local(2,+,+), prolog_pack, prolog_pack).
|
|
598
|
+
index(pack_upgrade(?), prolog_pack, prolog_pack).
|
|
599
|
+
index(pack_rebuild(?), prolog_pack, prolog_pack).
|
|
600
|
+
index(pack_rebuild, prolog_pack, prolog_pack).
|
|
601
|
+
index(pack_remove(?), prolog_pack, prolog_pack).
|
|
602
|
+
index(pack_remove(?,?), prolog_pack, prolog_pack).
|
|
603
|
+
index(pack_publish(?,?), prolog_pack, prolog_pack).
|
|
604
|
+
index(pack_property(?,?), prolog_pack, prolog_pack).
|
|
605
|
+
index(profile(0), prolog_profile, prolog_profile).
|
|
606
|
+
index(profile(0,+), prolog_profile, prolog_profile).
|
|
607
|
+
index(show_profile(?), prolog_profile, prolog_profile).
|
|
608
|
+
index(profile_data(?), prolog_profile, prolog_profile).
|
|
609
|
+
index(profile_procedure_data(:,-), prolog_profile, prolog_profile).
|
|
610
|
+
index(qlf_make, prolog_qlfmake, prolog_qlfmake).
|
|
611
|
+
index(qlf_make(?), prolog_qlfmake, prolog_qlfmake).
|
|
612
|
+
index(prolog_read_source_term(?,?,?,?), prolog_source, prolog_source).
|
|
613
|
+
index(read_source_term_at_location(?,?,?), prolog_source, prolog_source).
|
|
614
|
+
index(prolog_file_directives(?,?,?), prolog_source, prolog_source).
|
|
615
|
+
index(prolog_open_source(?,?), prolog_source, prolog_source).
|
|
616
|
+
index(prolog_close_source(?), prolog_source, prolog_source).
|
|
617
|
+
index(prolog_canonical_source(?,?), prolog_source, prolog_source).
|
|
618
|
+
index(load_quasi_quotation_syntax(?,?), prolog_source, prolog_source).
|
|
619
|
+
index(file_name_on_path(?,?), prolog_source, prolog_source).
|
|
620
|
+
index(file_alias_path(?,?), prolog_source, prolog_source).
|
|
621
|
+
index(path_segments_atom(?,?), prolog_source, prolog_source).
|
|
622
|
+
index(directory_source_files(?,?,?), prolog_source, prolog_source).
|
|
623
|
+
index(valid_term_position(?,?), prolog_source, prolog_source).
|
|
624
|
+
index(get_prolog_backtrace(?,?), prolog_stack, prolog_stack).
|
|
625
|
+
index(get_prolog_backtrace(?,?,?), prolog_stack, prolog_stack).
|
|
626
|
+
index(prolog_stack_frame_property(?,?), prolog_stack, prolog_stack).
|
|
627
|
+
index(print_prolog_backtrace(?,?), prolog_stack, prolog_stack).
|
|
628
|
+
index(print_prolog_backtrace(?,?,?), prolog_stack, prolog_stack).
|
|
629
|
+
index(backtrace(?), prolog_stack, prolog_stack).
|
|
630
|
+
index(print_last_choicepoint, prolog_stack, prolog_stack).
|
|
631
|
+
index(print_last_choicepoint(?,?), prolog_stack, prolog_stack).
|
|
632
|
+
index(trace(:), prolog_trace, prolog_trace).
|
|
633
|
+
index(trace(:,+), prolog_trace, prolog_trace).
|
|
634
|
+
index(tracing(:,-), prolog_trace, prolog_trace).
|
|
635
|
+
index(list_tracing, prolog_trace, prolog_trace).
|
|
636
|
+
index(notraceall, prolog_trace, prolog_trace).
|
|
637
|
+
index(require_prolog_version(?,?), prolog_versions, prolog_versions).
|
|
638
|
+
index(require_version(?,?,?), prolog_versions, prolog_versions).
|
|
639
|
+
index(cmp_versions(?,?,?), prolog_versions, prolog_versions).
|
|
640
|
+
index(wrap_predicate(:,+,-,0), prolog_wrap, prolog_wrap).
|
|
641
|
+
index(unwrap_predicate(?,?), prolog_wrap, prolog_wrap).
|
|
642
|
+
index(current_predicate_wrapper(:,-,-,-), prolog_wrap, prolog_wrap).
|
|
643
|
+
index(xref_source(?), prolog_xref, prolog_xref).
|
|
644
|
+
index(xref_source(?,?), prolog_xref, prolog_xref).
|
|
645
|
+
index(xref_called(?,?,?), prolog_xref, prolog_xref).
|
|
646
|
+
index(xref_called(?,?,?,?), prolog_xref, prolog_xref).
|
|
647
|
+
index(xref_called(?,?,?,?,?), prolog_xref, prolog_xref).
|
|
648
|
+
index(xref_defined(?,?,?), prolog_xref, prolog_xref).
|
|
649
|
+
index(xref_definition_line(?,?), prolog_xref, prolog_xref).
|
|
650
|
+
index(xref_exported(?,?), prolog_xref, prolog_xref).
|
|
651
|
+
index(xref_module(?,?), prolog_xref, prolog_xref).
|
|
652
|
+
index(xref_uses_file(?,?,?), prolog_xref, prolog_xref).
|
|
653
|
+
index(xref_op(?,?), prolog_xref, prolog_xref).
|
|
654
|
+
index(xref_prolog_flag(?,?,?,?), prolog_xref, prolog_xref).
|
|
655
|
+
index(xref_comment(?,?,?), prolog_xref, prolog_xref).
|
|
656
|
+
index(xref_comment(?,?,?,?), prolog_xref, prolog_xref).
|
|
657
|
+
index(xref_mode(?,?,?), prolog_xref, prolog_xref).
|
|
658
|
+
index(xref_option(?,?), prolog_xref, prolog_xref).
|
|
659
|
+
index(xref_clean(?), prolog_xref, prolog_xref).
|
|
660
|
+
index(xref_current_source(?), prolog_xref, prolog_xref).
|
|
661
|
+
index(xref_done(?,?), prolog_xref, prolog_xref).
|
|
662
|
+
index(xref_built_in(?), prolog_xref, prolog_xref).
|
|
663
|
+
index(xref_source_file(?,?,?), prolog_xref, prolog_xref).
|
|
664
|
+
index(xref_source_file(?,?,?,?), prolog_xref, prolog_xref).
|
|
665
|
+
index(xref_public_list(?,?,?), prolog_xref, prolog_xref).
|
|
666
|
+
index(xref_public_list(?,?,?,?), prolog_xref, prolog_xref).
|
|
667
|
+
index(xref_public_list(?,?,?,?,?,?), prolog_xref, prolog_xref).
|
|
668
|
+
index(xref_public_list(?,?,?,?,?,?,?), prolog_xref, prolog_xref).
|
|
669
|
+
index(xref_meta(?,?,?), prolog_xref, prolog_xref).
|
|
670
|
+
index(xref_meta(?,?), prolog_xref, prolog_xref).
|
|
671
|
+
index(xref_hook(?), prolog_xref, prolog_xref).
|
|
672
|
+
index(xref_used_class(?,?), prolog_xref, prolog_xref).
|
|
673
|
+
index(xref_defined_class(?,?,?), prolog_xref, prolog_xref).
|
|
674
|
+
index(phrase_from_file(?,?), pure_input, pure_input).
|
|
675
|
+
index(phrase_from_file(?,?,?), pure_input, pure_input).
|
|
676
|
+
index(phrase_from_stream(?,?), pure_input, pure_input).
|
|
677
|
+
index(stream_to_lazy_list(?,?), pure_input, pure_input).
|
|
678
|
+
index(syntax_error(?,?,?), pure_input, pure_input).
|
|
679
|
+
index(lazy_list_location(?,?,?), pure_input, pure_input).
|
|
680
|
+
index(lazy_list_character_count(?,?,?), pure_input, pure_input).
|
|
681
|
+
index(load_foreign_files, qp_foreign, qpforeign).
|
|
682
|
+
index(load_foreign_files(:,+), qp_foreign, qpforeign).
|
|
683
|
+
index(load_foreign_files(+,:,+), qp_foreign, qpforeign).
|
|
684
|
+
index(make_shared_object(+,:,+), qp_foreign, qpforeign).
|
|
685
|
+
index(make_foreign_wrapper_file(:), qp_foreign, qpforeign).
|
|
686
|
+
index(make_foreign_wrapper_file(:,+), qp_foreign, qpforeign).
|
|
687
|
+
index(make_foreign_resource_wrapper(:,+,+), qp_foreign, qpforeign).
|
|
688
|
+
index(load_foreign_resource(:,+), qp_foreign, qpforeign).
|
|
689
|
+
index(qsave_program(?), qsave, qsave).
|
|
690
|
+
index(qsave_program(+,:), qsave, qsave).
|
|
691
|
+
index(with_quasi_quotation_input(+,-,0), quasi_quotations, quasi_quotations).
|
|
692
|
+
index(phrase_from_quasi_quotation(//,+), quasi_quotations, quasi_quotations).
|
|
693
|
+
index(quasi_quotation_syntax_error(?), quasi_quotations, quasi_quotations).
|
|
694
|
+
index(quasi_quotation_syntax(4), quasi_quotations, quasi_quotations).
|
|
695
|
+
index(unix(?), quintus, quintus).
|
|
696
|
+
index(abs(?,?), quintus, quintus).
|
|
697
|
+
index(sin(?,?), quintus, quintus).
|
|
698
|
+
index(cos(?,?), quintus, quintus).
|
|
699
|
+
index(tan(?,?), quintus, quintus).
|
|
700
|
+
index(log(?,?), quintus, quintus).
|
|
701
|
+
index(log10(?,?), quintus, quintus).
|
|
702
|
+
index(pow(?,?,?), quintus, quintus).
|
|
703
|
+
index(ceiling(?,?), quintus, quintus).
|
|
704
|
+
index(floor(?,?), quintus, quintus).
|
|
705
|
+
index(round(?,?), quintus, quintus).
|
|
706
|
+
index(acos(?,?), quintus, quintus).
|
|
707
|
+
index(asin(?,?), quintus, quintus).
|
|
708
|
+
index(atan(?,?), quintus, quintus).
|
|
709
|
+
index(atan2(?,?,?), quintus, quintus).
|
|
710
|
+
index(sign(?,?), quintus, quintus).
|
|
711
|
+
index(sqrt(?,?), quintus, quintus).
|
|
712
|
+
index(genarg(?,?,?), quintus, quintus).
|
|
713
|
+
index(no_style_check(?), quintus, quintus).
|
|
714
|
+
index(otherwise, quintus, quintus).
|
|
715
|
+
index(simple(?), quintus, quintus).
|
|
716
|
+
index(prolog_flag(?,?), quintus, quintus).
|
|
717
|
+
index(date(?), quintus, quintus).
|
|
718
|
+
index(current_stream(?,?,?), quintus, quintus).
|
|
719
|
+
index(stream_position(?,?,?), quintus, quintus).
|
|
720
|
+
index(skip_line, quintus, quintus).
|
|
721
|
+
index(skip_line(?), quintus, quintus).
|
|
722
|
+
index(compile(?), quintus, quintus).
|
|
723
|
+
index(atom_char(?,?), quintus, quintus).
|
|
724
|
+
index(midstring(?,?,?), quintus, quintus).
|
|
725
|
+
index(midstring(?,?,?,?), quintus, quintus).
|
|
726
|
+
index(midstring(?,?,?,?,?), quintus, quintus).
|
|
727
|
+
index(midstring(?,?,?,?,?,?), quintus, quintus).
|
|
728
|
+
index(raise_exception(?), quintus, quintus).
|
|
729
|
+
index(on_exception(?,?,?), quintus, quintus).
|
|
730
|
+
index(random(?), random, random).
|
|
731
|
+
index(random_between(?,?,?), random, random).
|
|
732
|
+
index(getrand(?), random, random).
|
|
733
|
+
index(setrand(?), random, random).
|
|
734
|
+
index(maybe, random, random).
|
|
735
|
+
index(maybe(?), random, random).
|
|
736
|
+
index(maybe(?,?), random, random).
|
|
737
|
+
index(random_perm2(?,?,?,?), random, random).
|
|
738
|
+
index(random_member(?,?), random, random).
|
|
739
|
+
index(random_select(?,?,?), random, random).
|
|
740
|
+
index(random_subseq(?,?,?), random, random).
|
|
741
|
+
index(randseq(?,?,?), random, random).
|
|
742
|
+
index(randset(?,?,?), random, random).
|
|
743
|
+
index(random_permutation(?,?), random, random).
|
|
744
|
+
index(random_numlist(?,?,?,?), random, random).
|
|
745
|
+
index(random(?,?,?), random, random).
|
|
746
|
+
index(rb_new(?), rbtrees, rbtrees).
|
|
747
|
+
index(rb_empty(?), rbtrees, rbtrees).
|
|
748
|
+
index(rb_lookup(?,?,?), rbtrees, rbtrees).
|
|
749
|
+
index(rb_update(?,?,?,?), rbtrees, rbtrees).
|
|
750
|
+
index(rb_update(?,?,?,?,?), rbtrees, rbtrees).
|
|
751
|
+
index(rb_apply(+,+,2,-), rbtrees, rbtrees).
|
|
752
|
+
index(rb_insert(?,?,?,?), rbtrees, rbtrees).
|
|
753
|
+
index(rb_insert_new(?,?,?,?), rbtrees, rbtrees).
|
|
754
|
+
index(rb_delete(?,?,?), rbtrees, rbtrees).
|
|
755
|
+
index(rb_delete(?,?,?,?), rbtrees, rbtrees).
|
|
756
|
+
index(rb_visit(?,?), rbtrees, rbtrees).
|
|
757
|
+
index(rb_keys(?,?), rbtrees, rbtrees).
|
|
758
|
+
index(rb_map(?,1), rbtrees, rbtrees).
|
|
759
|
+
index(rb_map(+,2,-), rbtrees, rbtrees).
|
|
760
|
+
index(rb_partial_map(+,+,2,-), rbtrees, rbtrees).
|
|
761
|
+
index(rb_fold(3,+,+,-), rbtrees, rbtrees).
|
|
762
|
+
index(rb_clone(?,?,?), rbtrees, rbtrees).
|
|
763
|
+
index(rb_min(?,?,?), rbtrees, rbtrees).
|
|
764
|
+
index(rb_max(?,?,?), rbtrees, rbtrees).
|
|
765
|
+
index(rb_del_min(?,?,?,?), rbtrees, rbtrees).
|
|
766
|
+
index(rb_del_max(?,?,?,?), rbtrees, rbtrees).
|
|
767
|
+
index(rb_next(?,?,?,?), rbtrees, rbtrees).
|
|
768
|
+
index(rb_previous(?,?,?,?), rbtrees, rbtrees).
|
|
769
|
+
index(list_to_rbtree(?,?), rbtrees, rbtrees).
|
|
770
|
+
index(ord_list_to_rbtree(?,?), rbtrees, rbtrees).
|
|
771
|
+
index(is_rbtree(?), rbtrees, rbtrees).
|
|
772
|
+
index(rb_size(?,?), rbtrees, rbtrees).
|
|
773
|
+
index(rb_in(?,?,?), rbtrees, rbtrees).
|
|
774
|
+
index(readln(?), readln, readln).
|
|
775
|
+
index(readln(?,?), readln, readln).
|
|
776
|
+
index(readln(?,?,?,?,?), readln, readln).
|
|
777
|
+
index(read_line_to_codes(?,?), read_util, readutil).
|
|
778
|
+
index(read_line_to_codes(?,?,?), read_util, readutil).
|
|
779
|
+
index(read_stream_to_codes(?,?), read_util, readutil).
|
|
780
|
+
index(read_stream_to_codes(?,?,?), read_util, readutil).
|
|
781
|
+
index(read_file_to_codes(?,?,?), read_util, readutil).
|
|
782
|
+
index(read_line_to_string(?,?), read_util, readutil).
|
|
783
|
+
index(read_file_to_string(?,?,?), read_util, readutil).
|
|
784
|
+
index(read_file_to_terms(?,?,?), read_util, readutil).
|
|
785
|
+
index(record(?), record, record).
|
|
786
|
+
index(current_record(?,?), record, record).
|
|
787
|
+
index(current_record_predicate(?,?), record, record).
|
|
788
|
+
index(:(op,op(1150,fx,record)), record, record).
|
|
789
|
+
index(with_rwlock(+,0,+), rwlocks, rwlocks).
|
|
790
|
+
index(with_rwlock(+,0,+,+), rwlocks, rwlocks).
|
|
791
|
+
index(safe_goal(:), sandbox, sandbox).
|
|
792
|
+
index(safe_call(0), sandbox, sandbox).
|
|
793
|
+
index(setting(:,+,+,+), settings, settings).
|
|
794
|
+
index(setting(:,?), settings, settings).
|
|
795
|
+
index(set_setting(:,+), settings, settings).
|
|
796
|
+
index(set_setting_default(:,+), settings, settings).
|
|
797
|
+
index(restore_setting(:), settings, settings).
|
|
798
|
+
index(load_settings(?), settings, settings).
|
|
799
|
+
index(load_settings(?,?), settings, settings).
|
|
800
|
+
index(save_settings, settings, settings).
|
|
801
|
+
index(save_settings(?), settings, settings).
|
|
802
|
+
index(current_setting(:), settings, settings).
|
|
803
|
+
index(setting_property(?,?), settings, settings).
|
|
804
|
+
index(list_settings, settings, settings).
|
|
805
|
+
index(list_settings(?), settings, settings).
|
|
806
|
+
index(convert_setting_text(?,?,?), settings, settings).
|
|
807
|
+
index(shell, shell, shell).
|
|
808
|
+
index(ls, shell, shell).
|
|
809
|
+
index(ls(?), shell, shell).
|
|
810
|
+
index(cd, shell, shell).
|
|
811
|
+
index(cd(?), shell, shell).
|
|
812
|
+
index(pushd, shell, shell).
|
|
813
|
+
index(pushd(?), shell, shell).
|
|
814
|
+
index(dirs, shell, shell).
|
|
815
|
+
index(pwd, shell, shell).
|
|
816
|
+
index(popd, shell, shell).
|
|
817
|
+
index(mv(?,?), shell, shell).
|
|
818
|
+
index(rm(?), shell, shell).
|
|
819
|
+
index(load_foreign_library(:), shlib, shlib).
|
|
820
|
+
index(load_foreign_library(:,+), shlib, shlib).
|
|
821
|
+
index(unload_foreign_library(?), shlib, shlib).
|
|
822
|
+
index(unload_foreign_library(?,?), shlib, shlib).
|
|
823
|
+
index(current_foreign_library(?,?), shlib, shlib).
|
|
824
|
+
index(reload_foreign_libraries, shlib, shlib).
|
|
825
|
+
index(use_foreign_library(?), shlib, shlib).
|
|
826
|
+
index(use_foreign_library(?,?), shlib, shlib).
|
|
827
|
+
index(distinct(0), solution_sequences, solution_sequences).
|
|
828
|
+
index(distinct(?,0), solution_sequences, solution_sequences).
|
|
829
|
+
index(reduced(0), solution_sequences, solution_sequences).
|
|
830
|
+
index(reduced(?,0,+), solution_sequences, solution_sequences).
|
|
831
|
+
index(limit(+,0), solution_sequences, solution_sequences).
|
|
832
|
+
index(offset(+,0), solution_sequences, solution_sequences).
|
|
833
|
+
index(call_nth(0,?), solution_sequences, solution_sequences).
|
|
834
|
+
index(order_by(+,0), solution_sequences, solution_sequences).
|
|
835
|
+
index(group_by(?,?,0,-), solution_sequences, solution_sequences).
|
|
836
|
+
index(predsort(3,+,-), sort, sort).
|
|
837
|
+
index(locale_sort(?,?), sort, sort).
|
|
838
|
+
index(statistics, prolog_statistics, statistics).
|
|
839
|
+
index(statistics(?), prolog_statistics, statistics).
|
|
840
|
+
index(thread_statistics(?,?), prolog_statistics, statistics).
|
|
841
|
+
index(time(0), prolog_statistics, statistics).
|
|
842
|
+
index(call_time(0,-), prolog_statistics, statistics).
|
|
843
|
+
index(call_time(0,-,-), prolog_statistics, statistics).
|
|
844
|
+
index(with_output_to(?,0,+), streams, streams).
|
|
845
|
+
index(dedent_lines(?,?,?), strings, strings).
|
|
846
|
+
index(indent_lines(?,?,?), strings, strings).
|
|
847
|
+
index(indent_lines(1,+,+,-), strings, strings).
|
|
848
|
+
index(interpolate_string(:,-,+,+), strings, strings).
|
|
849
|
+
index(string_lines(?,?), strings, strings).
|
|
850
|
+
index(string(?,?,?,?), strings, strings).
|
|
851
|
+
index(lock_predicate(?), swi_system_utilities, system).
|
|
852
|
+
index(unlock_predicate(?), swi_system_utilities, system).
|
|
853
|
+
index(system_mode(?), swi_system_utilities, system).
|
|
854
|
+
index(system_module, swi_system_utilities, system).
|
|
855
|
+
index(abolish_all_tables, tables, tables).
|
|
856
|
+
index(abolish_module_tables(?), tables, tables).
|
|
857
|
+
index(abolish_table_pred(:), tables, tables).
|
|
858
|
+
index(abolish_table_call(:), tables, tables).
|
|
859
|
+
index(abolish_table_call(:,+), tables, tables).
|
|
860
|
+
index(abolish_table_subgoals(:,+), tables, tables).
|
|
861
|
+
index(tfindall(+,0,-), tables, tables).
|
|
862
|
+
index('t not'(0), tables, tables).
|
|
863
|
+
index(get_call(:,-,-), tables, tables).
|
|
864
|
+
index(get_calls(:,-,-), tables, tables).
|
|
865
|
+
index(get_returns(?,?), tables, tables).
|
|
866
|
+
index(get_returns(?,?,?), tables, tables).
|
|
867
|
+
index(get_returns_and_dls(+,-,:), tables, tables).
|
|
868
|
+
index(get_returns_and_tvs(?,?,?), tables, tables).
|
|
869
|
+
index(get_returns_for_call(:,:), tables, tables).
|
|
870
|
+
index(get_residual(:,-), tables, tables).
|
|
871
|
+
index(set_pil_on, tables, tables).
|
|
872
|
+
index(set_pil_off, tables, tables).
|
|
873
|
+
index(:(op,op(900,fy,tnot)), tables, tables).
|
|
874
|
+
index(table_statistics, prolog_table_utils, tableutil).
|
|
875
|
+
index(table_statistics(:), prolog_table_utils, tableutil).
|
|
876
|
+
index(table_statistics_by_predicate, prolog_table_utils, tableutil).
|
|
877
|
+
index(table_statistics_by_predicate(?), prolog_table_utils, tableutil).
|
|
878
|
+
index(table_statistics(?,?), prolog_table_utils, tableutil).
|
|
879
|
+
index(table_statistics(:,?,-), prolog_table_utils, tableutil).
|
|
880
|
+
index(tstat(?,?), prolog_table_utils, tableutil).
|
|
881
|
+
index(tstat(:,?,?), prolog_table_utils, tableutil).
|
|
882
|
+
index(tdump, prolog_table_utils, tableutil).
|
|
883
|
+
index(tdump(:), prolog_table_utils, tableutil).
|
|
884
|
+
index(tdump(:,+), prolog_table_utils, tableutil).
|
|
885
|
+
index(tidg, prolog_table_utils, tableutil).
|
|
886
|
+
index(tidg(?), prolog_table_utils, tableutil).
|
|
887
|
+
index(summarize_idg, prolog_table_utils, tableutil).
|
|
888
|
+
index(summarize_idg(:), prolog_table_utils, tableutil).
|
|
889
|
+
index(term_hash(?,?), terms, terms).
|
|
890
|
+
index(term_hash(?,?,?,?), terms, terms).
|
|
891
|
+
index(term_size(?,?), terms, terms).
|
|
892
|
+
index(term_variables(?,?), terms, terms).
|
|
893
|
+
index(term_variables(?,?,?), terms, terms).
|
|
894
|
+
index(variant(?,?), terms, terms).
|
|
895
|
+
index(subsumes(?,?), terms, terms).
|
|
896
|
+
index(subsumes_chk(?,?), terms, terms).
|
|
897
|
+
index(cyclic_term(?), terms, terms).
|
|
898
|
+
index(acyclic_term(?), terms, terms).
|
|
899
|
+
index(term_subsumer(?,?,?), terms, terms).
|
|
900
|
+
index(term_factorized(?,?,?), terms, terms).
|
|
901
|
+
index(mapargs(2,?,?), terms, terms).
|
|
902
|
+
index(mapsubterms(2,?,?), terms, terms).
|
|
903
|
+
index(mapsubterms_var(2,?,?), terms, terms).
|
|
904
|
+
index(foldsubterms(3,+,+,-), terms, terms).
|
|
905
|
+
index(foldsubterms(4,+,?,+,-), terms, terms).
|
|
906
|
+
index(same_functor(?,?), terms, terms).
|
|
907
|
+
index(same_functor(?,?,?), terms, terms).
|
|
908
|
+
index(same_functor(?,?,?,?), terms, terms).
|
|
909
|
+
index(concurrent(+,:,+), thread, thread).
|
|
910
|
+
index(concurrent_maplist(1,+), thread, thread).
|
|
911
|
+
index(concurrent_maplist(2,?,?), thread, thread).
|
|
912
|
+
index(concurrent_maplist(3,?,?,?), thread, thread).
|
|
913
|
+
index(concurrent_forall(0,0), thread, thread).
|
|
914
|
+
index(concurrent_forall(0,0,+), thread, thread).
|
|
915
|
+
index(concurrent_and(0,0), thread, thread).
|
|
916
|
+
index(concurrent_and(0,0,+), thread, thread).
|
|
917
|
+
index(first_solution(-,:,+), thread, thread).
|
|
918
|
+
index(call_in_thread(+,0), thread, thread).
|
|
919
|
+
index(call_in_thread(+,0,:), thread, thread).
|
|
920
|
+
index(thread_pool_create(?,?,?), thread_pool, thread_pool).
|
|
921
|
+
index(thread_pool_destroy(?), thread_pool, thread_pool).
|
|
922
|
+
index(thread_create_in_pool(+,0,-,:), thread_pool, thread_pool).
|
|
923
|
+
index(current_thread_pool(?), thread_pool, thread_pool).
|
|
924
|
+
index(thread_pool_property(?,?), thread_pool, thread_pool).
|
|
925
|
+
index(threads, thread_util, threadutil).
|
|
926
|
+
index(join_threads, thread_util, threadutil).
|
|
927
|
+
index(with_stopped_threads(0,+), thread_util, threadutil).
|
|
928
|
+
index(thread_has_console, thread_util, threadutil).
|
|
929
|
+
index(attach_console, thread_util, threadutil).
|
|
930
|
+
index(attach_console(?), thread_util, threadutil).
|
|
931
|
+
index(tspy(?), thread_util, threadutil).
|
|
932
|
+
index(tspy(?,?), thread_util, threadutil).
|
|
933
|
+
index(tdebug, thread_util, threadutil).
|
|
934
|
+
index(tdebug(?), thread_util, threadutil).
|
|
935
|
+
index(tnodebug, thread_util, threadutil).
|
|
936
|
+
index(tnodebug(?), thread_util, threadutil).
|
|
937
|
+
index(tprofile(?), thread_util, threadutil).
|
|
938
|
+
index(tbacktrace(?), thread_util, threadutil).
|
|
939
|
+
index(tbacktrace(?,?), thread_util, threadutil).
|
|
940
|
+
index(thread_alias(?), thread_util, threadutil).
|
|
941
|
+
index(tty_clear, tty, tty).
|
|
942
|
+
index(tty_flash, tty, tty).
|
|
943
|
+
index(menu(?,?,?), tty, tty).
|
|
944
|
+
index(add_edges(?,?,?), ugraphs, ugraphs).
|
|
945
|
+
index(add_vertices(?,?,?), ugraphs, ugraphs).
|
|
946
|
+
index(complement(?,?), ugraphs, ugraphs).
|
|
947
|
+
index(compose(?,?,?), ugraphs, ugraphs).
|
|
948
|
+
index(del_edges(?,?,?), ugraphs, ugraphs).
|
|
949
|
+
index(del_vertices(?,?,?), ugraphs, ugraphs).
|
|
950
|
+
index(edges(?,?), ugraphs, ugraphs).
|
|
951
|
+
index(neighbors(?,?,?), ugraphs, ugraphs).
|
|
952
|
+
index(neighbours(?,?,?), ugraphs, ugraphs).
|
|
953
|
+
index(reachable(?,?,?), ugraphs, ugraphs).
|
|
954
|
+
index(top_sort(?,?), ugraphs, ugraphs).
|
|
955
|
+
index(ugraph_layers(?,?), ugraphs, ugraphs).
|
|
956
|
+
index(transitive_closure(?,?), ugraphs, ugraphs).
|
|
957
|
+
index(transpose_ugraph(?,?), ugraphs, ugraphs).
|
|
958
|
+
index(vertices(?,?), ugraphs, ugraphs).
|
|
959
|
+
index(vertices_edges_to_ugraph(?,?,?), ugraphs, ugraphs).
|
|
960
|
+
index(ugraph_union(?,?,?), ugraphs, ugraphs).
|
|
961
|
+
index(connect_ugraph(?,?,?), ugraphs, ugraphs).
|
|
962
|
+
index(parse_url(?,?), url, url).
|
|
963
|
+
index(parse_url(?,?,?), url, url).
|
|
964
|
+
index(is_absolute_url(?), url, url).
|
|
965
|
+
index(global_url(?,?,?), url, url).
|
|
966
|
+
index(http_location(?,?), url, url).
|
|
967
|
+
index(www_form_encode(?,?), url, url).
|
|
968
|
+
index(parse_url_search(?,?), url, url).
|
|
969
|
+
index(url_iri(?,?), url, url).
|
|
970
|
+
index(file_name_to_url(?,?), url, url).
|
|
971
|
+
index(set_url_encoding(?,?), url, url).
|
|
972
|
+
index(utf8_codes(?,?,?), utf8, utf8).
|
|
973
|
+
index(numbervars(?), varnumbers, varnumbers).
|
|
974
|
+
index(varnumbers(?,?), varnumbers, varnumbers).
|
|
975
|
+
index(max_var_number(?,?,?), varnumbers, varnumbers).
|
|
976
|
+
index(varnumbers(?,?,?), varnumbers, varnumbers).
|
|
977
|
+
index(varnumbers_names(?,?,?), varnumbers, varnumbers).
|
|
978
|
+
index(vm_list(:), prolog_vm, vm).
|
|
979
|
+
index(clause_vm(?,?), prolog_vm, vm).
|
|
980
|
+
index(vmi_labels(?,?), prolog_vm, vm).
|
|
981
|
+
index(call_residual_program(0,:), wfs, wfs).
|
|
982
|
+
index(call_delays(0,:), wfs, wfs).
|
|
983
|
+
index(delays_residual_program(:,:), wfs, wfs).
|
|
984
|
+
index(answer_residual(:,:), wfs, wfs).
|
|
985
|
+
index(:(op,op(900,fy,tnot)), wfs, wfs).
|
|
986
|
+
index(when(+,0), when, when).
|
|
987
|
+
index(writef(?), writef, writef).
|
|
988
|
+
index(writef(?,?), writef, writef).
|
|
989
|
+
index(swritef(?,?), writef, writef).
|
|
990
|
+
index(swritef(?,?,?), writef, writef).
|
|
991
|
+
index(www_open_url(?), www_browser, www_browser).
|
|
992
|
+
index(expand_url_path(?,?), www_browser, www_browser).
|
|
993
|
+
index(>>(?,0), yall, yall).
|
|
994
|
+
index(>>(?,:,?), yall, yall).
|
|
995
|
+
index(>>(?,:,?,?), yall, yall).
|
|
996
|
+
index(>>(?,:,?,?,?), yall, yall).
|
|
997
|
+
index(>>(?,:,?,?,?,?), yall, yall).
|
|
998
|
+
index(>>(?,:,?,?,?,?,?), yall, yall).
|
|
999
|
+
index(>>(?,:,?,?,?,?,?,?), yall, yall).
|
|
1000
|
+
index(>>(?,:,?,?,?,?,?,?,?), yall, yall).
|
|
1001
|
+
index(/(?,?), yall, yall).
|
|
1002
|
+
index(/(?,?,?), yall, yall).
|
|
1003
|
+
index(/(?,?,?,?), yall, yall).
|
|
1004
|
+
index(/(?,?,?,?,?), yall, yall).
|
|
1005
|
+
index(/(?,?,?,?,?,?), yall, yall).
|
|
1006
|
+
index(/(?,?,?,?,?,?,?), yall, yall).
|
|
1007
|
+
index(/(?,?,?,?,?,?,?,?), yall, yall).
|
|
1008
|
+
index(/(?,?,?,?,?,?,?,?,?), yall, yall).
|
|
1009
|
+
index(lambda_calls(?,?), yall, yall).
|
|
1010
|
+
index(lambda_calls(?,?,?), yall, yall).
|
|
1011
|
+
index(is_lambda(?), yall, yall).
|
|
1012
|
+
index(zip_open(?,?,?,?), zip, zip).
|
|
1013
|
+
index(zip_close(?), zip, zip).
|
|
1014
|
+
index(zip_close(?,?), zip, zip).
|
|
1015
|
+
index(with_zipper(+,0), zip, zip).
|
|
1016
|
+
index(zipper_open_new_file_in_zip(?,?,?,?), zip, zip).
|
|
1017
|
+
index(zipper_goto(?,?), zip, zip).
|
|
1018
|
+
index(zipper_open_current(?,?,?), zip, zip).
|
|
1019
|
+
index(zipper_members(?,?), zip, zip).
|
|
1020
|
+
index(zipper_file_info(?,?,?), zip, zip).
|