skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/lib/swi-prolog/bin/latex2html
/usr/lib/swi-prolog/include/SWI-cpp.h
/usr/lib/swi-prolog/include/SWI-cpp2.h
/usr/lib/swi-prolog/lib/aarch64-linux/cgi.so
/usr/lib/swi-prolog/lib/aarch64-linux/crypt.so
/usr/lib/swi-prolog/lib/aarch64-linux/double_metaphone.so
/usr/lib/swi-prolog/lib/aarch64-linux/files.so
/usr/lib/swi-prolog/lib/aarch64-linux/hashstream.so
/usr/lib/swi-prolog/lib/aarch64-linux/http_stream.so
/usr/lib/swi-prolog/lib/aarch64-linux/inclpr.so
/usr/lib/swi-prolog/lib/aarch64-linux/isub.so
/usr/lib/swi-prolog/lib/aarch64-linux/json.so
/usr/lib/swi-prolog/lib/aarch64-linux/mallocinfo.so
/usr/lib/swi-prolog/lib/aarch64-linux/md54pl.so
/usr/lib/swi-prolog/lib/aarch64-linux/memfile.so
/usr/lib/swi-prolog/lib/aarch64-linux/ntriples.so
/usr/lib/swi-prolog/lib/aarch64-linux/pdt_console.so
/usr/lib/swi-prolog/lib/aarch64-linux/porter_stem.so
/usr/lib/swi-prolog/lib/aarch64-linux/process.so
/usr/lib/swi-prolog/lib/aarch64-linux/prolog_stream.so
/usr/lib/swi-prolog/lib/aarch64-linux/protobufs.so
/usr/lib/swi-prolog/lib/aarch64-linux/rdf_db.so
/usr/lib/swi-prolog/lib/aarch64-linux/readutil.so
/usr/lib/swi-prolog/lib/aarch64-linux/redis4pl.so
/usr/lib/swi-prolog/lib/aarch64-linux/rlimit.so
/usr/lib/swi-prolog/lib/aarch64-linux/sched.so
/usr/lib/swi-prolog/lib/aarch64-linux/sgml2pl.so
/usr/lib/swi-prolog/lib/aarch64-linux/sha4pl.so
/usr/lib/swi-prolog/lib/aarch64-linux/snowball.so
/usr/lib/swi-prolog/lib/aarch64-linux/socket.so
/usr/lib/swi-prolog/lib/aarch64-linux/streaminfo.so
/usr/lib/swi-prolog/lib/aarch64-linux/sweep-module.so
/usr/lib/swi-prolog/lib/aarch64-linux/syslog.so
/usr/lib/swi-prolog/lib/aarch64-linux/table.so
/usr/lib/swi-prolog/lib/aarch64-linux/test_cpp.so
/usr/lib/swi-prolog/lib/aarch64-linux/test_ffi.so
/usr/lib/swi-prolog/lib/aarch64-linux/tex.so
/usr/lib/swi-prolog/lib/aarch64-linux/time.so
/usr/lib/swi-prolog/lib/aarch64-linux/turtle.so
/usr/lib/swi-prolog/lib/aarch64-linux/uid.so
/usr/lib/swi-prolog/lib/aarch64-linux/unicode4pl.so
/usr/lib/swi-prolog/lib/aarch64-linux/unix.so
/usr/lib/swi-prolog/lib/aarch64-linux/uri.so
/usr/lib/swi-prolog/lib/aarch64-linux/uuid.so
/usr/lib/swi-prolog/lib/aarch64-linux/websocket.so
/usr/lib/swi-prolog/lib/aarch64-linux/zlib4pl.so
/usr/lib/swi-prolog/lib/swiplserver/LICENSE
/usr/lib/swi-prolog/lib/swiplserver/__init__.py
/usr/lib/swi-prolog/lib/swiplserver/prologmqi.py
/usr/lib/swi-prolog/library/DTD/HTML4.dcl
/usr/lib/swi-prolog/library/DTD/HTML4.dtd
/usr/lib/swi-prolog/library/DTD/HTML4.soc
/usr/lib/swi-prolog/library/DTD/HTML5.dtd
/usr/lib/swi-prolog/library/DTD/HTMLlat1.ent
/usr/lib/swi-prolog/library/DTD/HTMLspec.ent
/usr/lib/swi-prolog/library/DTD/HTMLsym.ent
/usr/lib/swi-prolog/library/c14n2.pl
/usr/lib/swi-prolog/library/cgi.pl
/usr/lib/swi-prolog/library/chr.pl
/usr/lib/swi-prolog/library/chr/a_star.pl
/usr/lib/swi-prolog/library/chr/binomialheap.pl
/usr/lib/swi-prolog/library/chr/builtins.pl
/usr/lib/swi-prolog/library/chr/chr_compiler_errors.pl
/usr/lib/swi-prolog/library/chr/chr_compiler_options.pl
/usr/lib/swi-prolog/library/chr/chr_compiler_utility.pl
/usr/lib/swi-prolog/library/chr/chr_debug.pl
/usr/lib/swi-prolog/library/chr/chr_hashtable_store.pl
/usr/lib/swi-prolog/library/chr/chr_integertable_store.pl
/usr/lib/swi-prolog/library/chr/chr_messages.pl
/usr/lib/swi-prolog/library/chr/chr_op.pl
/usr/lib/swi-prolog/library/chr/chr_runtime.pl
/usr/lib/swi-prolog/library/chr/chr_translate.pl
/usr/lib/swi-prolog/library/chr/clean_code.pl
/usr/lib/swi-prolog/library/chr/find.pl
/usr/lib/swi-prolog/library/chr/guard_entailment.pl
/usr/lib/swi-prolog/library/chr/listmap.pl
/usr/lib/swi-prolog/library/chr/pairlist.pl
/usr/lib/swi-prolog/library/clp/clpq.pl
/usr/lib/swi-prolog/library/clp/clpq/bb_q.pl
/usr/lib/swi-prolog/library/clp/clpq/bv_q.pl
/usr/lib/swi-prolog/library/clp/clpq/fourmotz_q.pl
/usr/lib/swi-prolog/library/clp/clpq/ineq_q.pl
/usr/lib/swi-prolog/library/clp/clpq/itf_q.pl
/usr/lib/swi-prolog/library/clp/clpq/nf_q.pl
/usr/lib/swi-prolog/library/clp/clpq/store_q.pl
/usr/lib/swi-prolog/library/clp/clpqr/class.pl
/usr/lib/swi-prolog/library/clp/clpqr/dump.pl
/usr/lib/swi-prolog/library/clp/clpqr/geler.pl
/usr/lib/swi-prolog/library/clp/clpqr/highlight.pl
/usr/lib/swi-prolog/library/clp/clpqr/itf.pl
/usr/lib/swi-prolog/library/clp/clpqr/ordering.pl
/usr/lib/swi-prolog/library/clp/clpqr/project.pl
/usr/lib/swi-prolog/library/clp/clpqr/redund.pl
/usr/lib/swi-prolog/library/clp/clpr.pl
/usr/lib/swi-prolog/library/clp/clpr/bb_r.pl
/usr/lib/swi-prolog/library/clp/clpr/bv_r.pl
/usr/lib/swi-prolog/library/clp/clpr/fourmotz_r.pl
/usr/lib/swi-prolog/library/clp/clpr/ineq_r.pl
/usr/lib/swi-prolog/library/clp/clpr/itf_r.pl
/usr/lib/swi-prolog/library/clp/clpr/nf_r.pl
/usr/lib/swi-prolog/library/clp/clpr/store_r.pl
/usr/lib/swi-prolog/library/clp/inclpr.pl
/usr/lib/swi-prolog/library/clp/inclpr/inclpr_consistency.pl
/usr/lib/swi-prolog/library/clp/inclpr/inclpr_core.pl
/usr/lib/swi-prolog/library/clp/inclpr/inclpr_interval_arithmetic.pl
/usr/lib/swi-prolog/library/clp/inclpr/inclpr_inversion.pl
/usr/lib/swi-prolog/library/clp/inclpr/inclpr_natural_interval_extension.pl
/usr/lib/swi-prolog/library/clp/inclpr/inclpr_newton.pl
/usr/lib/swi-prolog/library/clp/inclpr/inclpr_ordering.pl
/usr/lib/swi-prolog/library/clp/inclpr/inclpr_symbolic_processing.pl
/usr/lib/swi-prolog/library/crypt.pl
/usr/lib/swi-prolog/library/doc_files.pl
/usr/lib/swi-prolog/library/doc_http.pl
/usr/lib/swi-prolog/library/doc_latex.pl
/usr/lib/swi-prolog/library/double_metaphone.pl
/usr/lib/swi-prolog/library/filesex.pl
/usr/lib/swi-prolog/library/hash_stream.pl
/usr/lib/swi-prolog/library/http/INDEX.pl
/usr/lib/swi-prolog/library/http/README.md
/usr/lib/swi-prolog/library/http/ax.pl
/usr/lib/swi-prolog/library/http/dcg_basics.pl
/usr/lib/swi-prolog/library/http/graphql.pl
/usr/lib/swi-prolog/library/http/html_head.pl
/usr/lib/swi-prolog/library/http/html_quasiquotations.pl
/usr/lib/swi-prolog/library/http/html_write.pl
/usr/lib/swi-prolog/library/http/http_authenticate.pl
/usr/lib/swi-prolog/library/http/http_client.pl
/usr/lib/swi-prolog/library/http/http_cookie.pl
/usr/lib/swi-prolog/library/http/http_cors.pl
/usr/lib/swi-prolog/library/http/http_digest.pl
/usr/lib/swi-prolog/library/http/http_dirindex.pl
/usr/lib/swi-prolog/library/http/http_dispatch.pl
/usr/lib/swi-prolog/library/http/http_dyn_workers.pl
/usr/lib/swi-prolog/library/http/http_error.pl
/usr/lib/swi-prolog/library/http/http_exception.pl
/usr/lib/swi-prolog/library/http/http_files.pl
/usr/lib/swi-prolog/library/http/http_header.pl
/usr/lib/swi-prolog/library/http/http_hook.pl
/usr/lib/swi-prolog/library/http/http_host.pl
/usr/lib/swi-prolog/library/http/http_json.pl
/usr/lib/swi-prolog/library/http/http_load.pl
/usr/lib/swi-prolog/library/http/http_log.pl
/usr/lib/swi-prolog/library/http/http_multipart_plugin.pl
/usr/lib/swi-prolog/library/http/http_open.pl
/usr/lib/swi-prolog/library/http/http_openid.pl
/usr/lib/swi-prolog/library/http/http_parameters.pl
/usr/lib/swi-prolog/library/http/http_path.pl
/usr/lib/swi-prolog/library/http/http_proxy.pl
/usr/lib/swi-prolog/library/http/http_pwp.pl
/usr/lib/swi-prolog/library/http/http_redis_plugin.pl
/usr/lib/swi-prolog/library/http/http_server.pl
/usr/lib/swi-prolog/library/http/http_server_files.pl
/usr/lib/swi-prolog/library/http/http_session.pl
/usr/lib/swi-prolog/library/http/http_sgml_plugin.pl
/usr/lib/swi-prolog/library/http/http_stream.pl
/usr/lib/swi-prolog/library/http/http_unix_daemon.pl
/usr/lib/swi-prolog/library/http/http_wrapper.pl
/usr/lib/swi-prolog/library/http/hub.pl
/usr/lib/swi-prolog/library/http/jquery.pl
/usr/lib/swi-prolog/library/http/js_grammar.pl
/usr/lib/swi-prolog/library/http/js_write.pl
/usr/lib/swi-prolog/library/http/json.pl
/usr/lib/swi-prolog/library/http/json_convert.pl
/usr/lib/swi-prolog/library/http/mimepack.pl
/usr/lib/swi-prolog/library/http/mimetype.pl
/usr/lib/swi-prolog/library/http/term_html.pl
/usr/lib/swi-prolog/library/http/thread_httpd.pl
/usr/lib/swi-prolog/library/http/web/css/dirindex.css
/usr/lib/swi-prolog/library/http/web/css/openid.css
/usr/lib/swi-prolog/library/http/web/css/plterm.css
/usr/lib/swi-prolog/library/http/web/icons/back.png
/usr/lib/swi-prolog/library/http/web/icons/c.png
/usr/lib/swi-prolog/library/http/web/icons/compressed.png
/usr/lib/swi-prolog/library/http/web/icons/folder.png
/usr/lib/swi-prolog/library/http/web/icons/generic.png
/usr/lib/swi-prolog/library/http/web/icons/layout.png
/usr/lib/swi-prolog/library/http/web/icons/openid-logo-square.png
/usr/lib/swi-prolog/library/http/web/icons/openid-logo-tiny.png
/usr/lib/swi-prolog/library/http/web/js/jquery-1.11.3.min.js
/usr/lib/swi-prolog/library/http/web/js/pengines.js
/usr/lib/swi-prolog/library/http/websocket.pl
/usr/lib/swi-prolog/library/http/yadis.pl
/usr/lib/swi-prolog/library/iso_639.pl
/usr/lib/swi-prolog/library/isub.pl
/usr/lib/swi-prolog/library/latex2html/icons/home.gif
/usr/lib/swi-prolog/library/latex2html/icons/index.gif
/usr/lib/swi-prolog/library/latex2html/icons/info.gif
/usr/lib/swi-prolog/library/latex2html/icons/next.gif
/usr/lib/swi-prolog/library/latex2html/icons/prev.gif
/usr/lib/swi-prolog/library/latex2html/icons/up.gif
/usr/lib/swi-prolog/library/latex2html/icons/yellow_pages.gif
/usr/lib/swi-prolog/library/latex2html/latex.cmd
/usr/lib/swi-prolog/library/latex2html/latex2html.css
/usr/lib/swi-prolog/library/latex2html/latex2html.pl
/usr/lib/swi-prolog/library/latex2html/pldoc.cmd
/usr/lib/swi-prolog/library/latex2html/sty_pldoc.pl
/usr/lib/swi-prolog/library/latex2html/sty_xpce.pl
/usr/lib/swi-prolog/library/latex2html/xpce.cmd
/usr/lib/swi-prolog/library/mallocinfo.pl
/usr/lib/swi-prolog/library/md5.pl
/usr/lib/swi-prolog/library/memfile.pl
/usr/lib/swi-prolog/library/mqi.pl
/usr/lib/swi-prolog/library/paxos.pl
/usr/lib/swi-prolog/library/pdt_console.pl
/usr/lib/swi-prolog/library/pengines.pl
/usr/lib/swi-prolog/library/pengines_io.pl
/usr/lib/swi-prolog/library/pengines_sandbox.pl
/usr/lib/swi-prolog/library/pldoc.pl
/usr/lib/swi-prolog/library/pldoc/doc_access.pl
/usr/lib/swi-prolog/library/pldoc/doc_colour.pl
/usr/lib/swi-prolog/library/pldoc/doc_html.pl
/usr/lib/swi-prolog/library/pldoc/doc_html.qlf
/usr/lib/swi-prolog/library/pldoc/doc_htmlsrc.pl
/usr/lib/swi-prolog/library/pldoc/doc_index.pl
/usr/lib/swi-prolog/library/pldoc/doc_library.pl
/usr/lib/swi-prolog/library/pldoc/doc_man.pl
/usr/lib/swi-prolog/library/pldoc/doc_modes.pl
/usr/lib/swi-prolog/library/pldoc/doc_pack.pl
/usr/lib/swi-prolog/library/pldoc/doc_process.pl
/usr/lib/swi-prolog/library/pldoc/doc_register.pl
/usr/lib/swi-prolog/library/pldoc/doc_search.pl
/usr/lib/swi-prolog/library/pldoc/doc_util.pl
/usr/lib/swi-prolog/library/pldoc/doc_wiki.pl
/usr/lib/swi-prolog/library/pldoc/doc_words.pl
/usr/lib/swi-prolog/library/pldoc/edit.png
/usr/lib/swi-prolog/library/pldoc/editpred.png
/usr/lib/swi-prolog/library/pldoc/favicon.ico
/usr/lib/swi-prolog/library/pldoc/h1-bg.png
/usr/lib/swi-prolog/library/pldoc/h2-bg.png
/usr/lib/swi-prolog/library/pldoc/hooks.pl
/usr/lib/swi-prolog/library/pldoc/man_index.pl
/usr/lib/swi-prolog/library/pldoc/multi-bg.png
/usr/lib/swi-prolog/library/pldoc/pldoc.css
/usr/lib/swi-prolog/library/pldoc/pldoc.js
/usr/lib/swi-prolog/library/pldoc/pldoc.sty
/usr/lib/swi-prolog/library/pldoc/pllisting.css
/usr/lib/swi-prolog/library/pldoc/priv-bg.png
/usr/lib/swi-prolog/library/pldoc/private.png
/usr/lib/swi-prolog/library/pldoc/pub-bg.png
/usr/lib/swi-prolog/library/pldoc/public.png
/usr/lib/swi-prolog/library/pldoc/reload.png
/usr/lib/swi-prolog/library/pldoc/source.png
/usr/lib/swi-prolog/library/pldoc/up.gif
/usr/lib/swi-prolog/library/plunit.pl
/usr/lib/swi-prolog/library/porter_stem.pl
/usr/lib/swi-prolog/library/process.pl
/usr/lib/swi-prolog/library/prolog_server.pl
/usr/lib/swi-prolog/library/prolog_stream.pl
/usr/lib/swi-prolog/library/protobufs.pl
/usr/lib/swi-prolog/library/protobufs/gen_pb/google/protobuf/INDEX.pl
/usr/lib/swi-prolog/library/protobufs/gen_pb/google/protobuf/compiler/INDEX.pl
/usr/lib/swi-prolog/library/protobufs/gen_pb/google/protobuf/compiler/plugin_pb.pl
/usr/lib/swi-prolog/library/protobufs/gen_pb/google/protobuf/descriptor_pb.pl
/usr/lib/swi-prolog/library/protobufs/protoc-gen-swipl
/usr/lib/swi-prolog/library/pwp.pl
/usr/lib/swi-prolog/library/rdf.pl
/usr/lib/swi-prolog/library/rdf_diagram.pl
/usr/lib/swi-prolog/library/rdf_parser.pl
/usr/lib/swi-prolog/library/rdf_triple.pl
/usr/lib/swi-prolog/library/rdf_write.pl
/usr/lib/swi-prolog/library/redis.pl
/usr/lib/swi-prolog/library/redis_streams.pl
/usr/lib/swi-prolog/library/rewrite_term.pl
/usr/lib/swi-prolog/library/rlimit.pl
/usr/lib/swi-prolog/library/sched.pl
/usr/lib/swi-prolog/library/semweb/INDEX.pl
/usr/lib/swi-prolog/library/semweb/dc.rdfs
/usr/lib/swi-prolog/library/semweb/eor.rdfs
/usr/lib/swi-prolog/library/semweb/owl.owl
/usr/lib/swi-prolog/library/semweb/rdf11.pl
/usr/lib/swi-prolog/library/semweb/rdf11_containers.pl
/usr/lib/swi-prolog/library/semweb/rdf_cache.pl
/usr/lib/swi-prolog/library/semweb/rdf_compare.pl
/usr/lib/swi-prolog/library/semweb/rdf_db.pl
/usr/lib/swi-prolog/library/semweb/rdf_edit.pl
/usr/lib/swi-prolog/library/semweb/rdf_http_plugin.pl
/usr/lib/swi-prolog/library/semweb/rdf_library.pl
/usr/lib/swi-prolog/library/semweb/rdf_library.ttl
/usr/lib/swi-prolog/library/semweb/rdf_litindex.pl
/usr/lib/swi-prolog/library/semweb/rdf_ntriples.pl
/usr/lib/swi-prolog/library/semweb/rdf_persistency.pl
/usr/lib/swi-prolog/library/semweb/rdf_portray.pl
/usr/lib/swi-prolog/library/semweb/rdf_prefixes.pl
/usr/lib/swi-prolog/library/semweb/rdf_sandbox.pl
/usr/lib/swi-prolog/library/semweb/rdf_turtle.pl
/usr/lib/swi-prolog/library/semweb/rdf_turtle_write.pl
/usr/lib/swi-prolog/library/semweb/rdf_zlib_plugin.pl
/usr/lib/swi-prolog/library/semweb/rdfa.pl
/usr/lib/swi-prolog/library/semweb/rdfs.pl
/usr/lib/swi-prolog/library/semweb/rdfs.rdfs
/usr/lib/swi-prolog/library/semweb/sparql_client.pl
/usr/lib/swi-prolog/library/semweb/turtle.pl
/usr/lib/swi-prolog/library/sgml.pl
/usr/lib/swi-prolog/library/sgml_write.pl
/usr/lib/swi-prolog/library/sha.pl
/usr/lib/swi-prolog/library/snowball.pl
/usr/lib/swi-prolog/library/socket.pl
/usr/lib/swi-prolog/library/stomp.pl
/usr/lib/swi-prolog/library/streaminfo.pl
/usr/lib/swi-prolog/library/streampool.pl
/usr/lib/swi-prolog/library/sweep_link.pl
/usr/lib/swi-prolog/library/syslog.pl
/usr/lib/swi-prolog/library/table.pl
/usr/lib/swi-prolog/library/table_util.pl
/usr/lib/swi-prolog/library/term_to_json.pl
/usr/lib/swi-prolog/library/test_cover.pl
/usr/lib/swi-prolog/library/test_wizard.pl
/usr/lib/swi-prolog/library/time.pl
/usr/lib/swi-prolog/library/udp_broadcast.pl
/usr/lib/swi-prolog/library/uid.pl
/usr/lib/swi-prolog/library/unicode.pl
/usr/lib/swi-prolog/library/unix.pl
/usr/lib/swi-prolog/library/uri.pl
/usr/lib/swi-prolog/library/uuid.pl
/usr/lib/swi-prolog/library/xpath.pl
/usr/lib/swi-prolog/library/xsdp_types.pl
/usr/lib/swi-prolog/library/zlib.pl
/usr/lib/swi-prolog/test/packages/mqi/python/swiplserver/__init__.py
/usr/lib/swi-prolog/test/packages/mqi/python/swiplserver/prologmqi.py
/usr/lib/swi-prolog/test/packages/mqi/python/test_prologserver.py
/usr/share/doc/swi-prolog-core-packages/NEWS.Debian.gz
/usr/share/doc/swi-prolog-core-packages/changelog.Debian.gz
/usr/share/doc/swi-prolog-core-packages/copyright
/usr/share/lintian/overrides/swi-prolog-core-packages
/usr/share/texmf/tex/latex/swi-prolog/pldoc.sty