Überspringen der Navigation

Packages

• Über Debian
• Debian erhalten
• Unterstützung
• Developers' Corner

/usr/bin/dh_swi_prolog
/usr/bin/swipl
/usr/bin/swipl-ld
/usr/bin/swipl-rc
/usr/lib/libswipl.a
/usr/lib/libswipl.so
/usr/lib/libswipl.so.7.6
/usr/lib/libswipl.so.7.6.4
/usr/lib/pkgconfig/swipl.pc
/usr/lib/swi-prolog/bin/alpha/swipl
/usr/lib/swi-prolog/bin/alpha/swipl-ld
/usr/lib/swi-prolog/bin/alpha/swipl-rc
/usr/lib/swi-prolog/bin/swipl.home
/usr/lib/swi-prolog/boot/apply.pl
/usr/lib/swi-prolog/boot/attvar.pl
/usr/lib/swi-prolog/boot/autoload.pl
/usr/lib/swi-prolog/boot/bags.pl
/usr/lib/swi-prolog/boot/dcg.pl
/usr/lib/swi-prolog/boot/dicts.pl
/usr/lib/swi-prolog/boot/dwim.pl
/usr/lib/swi-prolog/boot/engines.pl
/usr/lib/swi-prolog/boot/expand.pl
/usr/lib/swi-prolog/boot/history.pl
/usr/lib/swi-prolog/boot/init.pl
/usr/lib/swi-prolog/boot/license.pl
/usr/lib/swi-prolog/boot/load.pl
/usr/lib/swi-prolog/boot/messages.pl
/usr/lib/swi-prolog/boot/packs.pl
/usr/lib/swi-prolog/boot/parms.pl
/usr/lib/swi-prolog/boot/predopts.pl
/usr/lib/swi-prolog/boot/qlf.pl
/usr/lib/swi-prolog/boot/rc.pl
/usr/lib/swi-prolog/boot/syspred.pl
/usr/lib/swi-prolog/boot/toplevel.pl
/usr/lib/swi-prolog/boot/topvars.pl
/usr/lib/swi-prolog/boot64.prc
/usr/lib/swi-prolog/customize/README
/usr/lib/swi-prolog/customize/dotswiplrc
/usr/lib/swi-prolog/customize/dotxpcerc
/usr/lib/swi-prolog/customize/edit
/usr/lib/swi-prolog/demo/README
/usr/lib/swi-prolog/demo/likes.pl
/usr/lib/swi-prolog/doc/Manual/64bits.html
/usr/lib/swi-prolog/doc/Manual/Bibliography.html
/usr/lib/swi-prolog/doc/Manual/Contents.html
/usr/lib/swi-prolog/doc/Manual/DCG.html
/usr/lib/swi-prolog/doc/Manual/DDE.html
/usr/lib/swi-prolog/doc/Manual/DocIndex.html
/usr/lib/swi-prolog/doc/Manual/IDE.html
/usr/lib/swi-prolog/doc/Manual/IO.html
/usr/lib/swi-prolog/doc/Manual/SyntaxAndSemantics.html
/usr/lib/swi-prolog/doc/Manual/acknowledge.html
/usr/lib/swi-prolog/doc/Manual/aggregate.html
/usr/lib/swi-prolog/doc/Manual/allsolutions.html
/usr/lib/swi-prolog/doc/Manual/altmoduleapi.html
/usr/lib/swi-prolog/doc/Manual/ancestral-cut.html
/usr/lib/swi-prolog/doc/Manual/apply.html
/usr/lib/swi-prolog/doc/Manual/arith.html
/usr/lib/swi-prolog/doc/Manual/assoc.html
/usr/lib/swi-prolog/doc/Manual/attvar.html
/usr/lib/swi-prolog/doc/Manual/autoload.html
/usr/lib/swi-prolog/doc/Manual/breakpoint.html
/usr/lib/swi-prolog/doc/Manual/broadcast.gif
/usr/lib/swi-prolog/doc/Manual/broadcast.html
/usr/lib/swi-prolog/doc/Manual/builtin.html
/usr/lib/swi-prolog/doc/Manual/builtinlist.html
/usr/lib/swi-prolog/doc/Manual/charconv.html
/usr/lib/swi-prolog/doc/Manual/chario.html
/usr/lib/swi-prolog/doc/Manual/chars.html
/usr/lib/swi-prolog/doc/Manual/charsio.html
/usr/lib/swi-prolog/doc/Manual/chartype.html
/usr/lib/swi-prolog/doc/Manual/check.html
/usr/lib/swi-prolog/doc/Manual/chr.html
/usr/lib/swi-prolog/doc/Manual/chrintro.html
/usr/lib/swi-prolog/doc/Manual/clp.html
/usr/lib/swi-prolog/doc/Manual/clpb.html
/usr/lib/swi-prolog/doc/Manual/clpfd.html
/usr/lib/swi-prolog/doc/Manual/clpqr.html
/usr/lib/swi-prolog/doc/Manual/cmdline.html
/usr/lib/swi-prolog/doc/Manual/compare.html
/usr/lib/swi-prolog/doc/Manual/compilation.html
/usr/lib/swi-prolog/doc/Manual/consulting.html
/usr/lib/swi-prolog/doc/Manual/contrib.html
/usr/lib/swi-prolog/doc/Manual/control.html
/usr/lib/swi-prolog/doc/Manual/coroutining.html
/usr/lib/swi-prolog/doc/Manual/csv.html
/usr/lib/swi-prolog/doc/Manual/ctxmodule.html
/usr/lib/swi-prolog/doc/Manual/cyclic.html
/usr/lib/swi-prolog/doc/Manual/db.html
/usr/lib/swi-prolog/doc/Manual/debug.html
/usr/lib/swi-prolog/doc/Manual/debugger.html
/usr/lib/swi-prolog/doc/Manual/debugging.html
/usr/lib/swi-prolog/doc/Manual/debugoverview.html
/usr/lib/swi-prolog/doc/Manual/defmodule.html
/usr/lib/swi-prolog/doc/Manual/delcont.html
/usr/lib/swi-prolog/doc/Manual/dialect.html
/usr/lib/swi-prolog/doc/Manual/dicts.html
/usr/lib/swi-prolog/doc/Manual/dynamic-modules.html
/usr/lib/swi-prolog/doc/Manual/dynamic.html
/usr/lib/swi-prolog/doc/Manual/edit.html
/usr/lib/swi-prolog/doc/Manual/editreload.html
/usr/lib/swi-prolog/doc/Manual/engine-examples.html
/usr/lib/swi-prolog/doc/Manual/engine-predicates.html
/usr/lib/swi-prolog/doc/Manual/engine-resources.html
/usr/lib/swi-prolog/doc/Manual/engines.html
/usr/lib/swi-prolog/doc/Manual/error.html
/usr/lib/swi-prolog/doc/Manual/errors.html
/usr/lib/swi-prolog/doc/Manual/examineprog.html
/usr/lib/swi-prolog/doc/Manual/examples.html
/usr/lib/swi-prolog/doc/Manual/excepthook.html
/usr/lib/swi-prolog/doc/Manual/exception.html
/usr/lib/swi-prolog/doc/Manual/exception3.html
/usr/lib/swi-prolog/doc/Manual/ext-integration.html
/usr/lib/swi-prolog/doc/Manual/ext-issues.html
/usr/lib/swi-prolog/doc/Manual/ext-lists.html
/usr/lib/swi-prolog/doc/Manual/ext-syntax.html
/usr/lib/swi-prolog/doc/Manual/extensions.html
/usr/lib/swi-prolog/doc/Manual/files.html
/usr/lib/swi-prolog/doc/Manual/findappfile.html
/usr/lib/swi-prolog/doc/Manual/findhome.html
/usr/lib/swi-prolog/doc/Manual/flags.html
/usr/lib/swi-prolog/doc/Manual/forall2.html
/usr/lib/swi-prolog/doc/Manual/foreign.html
/usr/lib/swi-prolog/doc/Manual/foreigninclude.html
/usr/lib/swi-prolog/doc/Manual/foreignlink.html
/usr/lib/swi-prolog/doc/Manual/foreignnotes.html
/usr/lib/swi-prolog/doc/Manual/foreignoverview.html
/usr/lib/swi-prolog/doc/Manual/foreignthread.html
/usr/lib/swi-prolog/doc/Manual/foreigntypes.html
/usr/lib/swi-prolog/doc/Manual/foreignxmp.html
/usr/lib/swi-prolog/doc/Manual/format.html
/usr/lib/swi-prolog/doc/Manual/funcsummary.html
/usr/lib/swi-prolog/doc/Manual/gc.html
/usr/lib/swi-prolog/doc/Manual/gemacs.html
/usr/lib/swi-prolog/doc/Manual/gensym.html
/usr/lib/swi-prolog/doc/Manual/glossary.html
/usr/lib/swi-prolog/doc/Manual/guidelines.html
/usr/lib/swi-prolog/doc/Manual/guitracer.html
/usr/lib/swi-prolog/doc/Manual/gvar.html
/usr/lib/swi-prolog/doc/Manual/hack.html
/usr/lib/swi-prolog/doc/Manual/help.html
/usr/lib/swi-prolog/doc/Manual/history.html
/usr/lib/swi-prolog/doc/Manual/home.gif
/usr/lib/swi-prolog/doc/Manual/hooks.html
/usr/lib/swi-prolog/doc/Manual/idepreds.html
/usr/lib/swi-prolog/doc/Manual/idesummary.html
/usr/lib/swi-prolog/doc/Manual/implhistory.html
/usr/lib/swi-prolog/doc/Manual/import.html
/usr/lib/swi-prolog/doc/Manual/importmodule.html
/usr/lib/swi-prolog/doc/Manual/index.gif
/usr/lib/swi-prolog/doc/Manual/index.html
/usr/lib/swi-prolog/doc/Manual/info.gif
/usr/lib/swi-prolog/doc/Manual/initfile.html
/usr/lib/swi-prolog/doc/Manual/initgoal.html
/usr/lib/swi-prolog/doc/Manual/intlibs.html
/usr/lib/swi-prolog/doc/Manual/intro.html
/usr/lib/swi-prolog/doc/Manual/iostream.html
/usr/lib/swi-prolog/doc/Manual/jitindex.html
/usr/lib/swi-prolog/doc/Manual/libpl.html
/usr/lib/swi-prolog/doc/Manual/library.html
/usr/lib/swi-prolog/doc/Manual/license.html
/usr/lib/swi-prolog/doc/Manual/limits.html
/usr/lib/swi-prolog/doc/Manual/listing.html
/usr/lib/swi-prolog/doc/Manual/lists.html
/usr/lib/swi-prolog/doc/Manual/loadfilehook.html
/usr/lib/swi-prolog/doc/Manual/locale.html
/usr/lib/swi-prolog/doc/Manual/main.html
/usr/lib/swi-prolog/doc/Manual/manipatom.html
/usr/lib/swi-prolog/doc/Manual/manipmodule.html
/usr/lib/swi-prolog/doc/Manual/manipstack.html
/usr/lib/swi-prolog/doc/Manual/manipterm.html
/usr/lib/swi-prolog/doc/Manual/memory.html
/usr/lib/swi-prolog/doc/Manual/metacall.html
/usr/lib/swi-prolog/doc/Manual/metapred.html
/usr/lib/swi-prolog/doc/Manual/miscarith.html
/usr/lib/swi-prolog/doc/Manual/miscpreds.html
/usr/lib/swi-prolog/doc/Manual/modulecompat.html
/usr/lib/swi-prolog/doc/Manual/moduleop.html
/usr/lib/swi-prolog/doc/Manual/modules.html
/usr/lib/swi-prolog/doc/Manual/mt-xpce.html
/usr/lib/swi-prolog/doc/Manual/mtoplevel.html
/usr/lib/swi-prolog/doc/Manual/navigator.html
/usr/lib/swi-prolog/doc/Manual/nb_set.html
/usr/lib/swi-prolog/doc/Manual/next.gif
/usr/lib/swi-prolog/doc/Manual/operators.html
/usr/lib/swi-prolog/doc/Manual/opsummary.html
/usr/lib/swi-prolog/doc/Manual/option.html
/usr/lib/swi-prolog/doc/Manual/optparse.html
/usr/lib/swi-prolog/doc/Manual/ordsets.html
/usr/lib/swi-prolog/doc/Manual/otherlicenses.html
/usr/lib/swi-prolog/doc/Manual/overrule.html
/usr/lib/swi-prolog/doc/Manual/overview.html
/usr/lib/swi-prolog/doc/Manual/packs.html
/usr/lib/swi-prolog/doc/Manual/pairs.html
/usr/lib/swi-prolog/doc/Manual/pceemacs.html
/usr/lib/swi-prolog/doc/Manual/persistency.html
/usr/lib/swi-prolog/doc/Manual/pio.html
/usr/lib/swi-prolog/doc/Manual/plld.html
/usr/lib/swi-prolog/doc/Manual/portabilitystrategies.html
/usr/lib/swi-prolog/doc/Manual/practical.html
/usr/lib/swi-prolog/doc/Manual/preddesc.html
/usr/lib/swi-prolog/doc/Manual/predicate_options.html
/usr/lib/swi-prolog/doc/Manual/predsummary.html
/usr/lib/swi-prolog/doc/Manual/prev.gif
/usr/lib/swi-prolog/doc/Manual/profile.html
/usr/lib/swi-prolog/doc/Manual/profnode.gif
/usr/lib/swi-prolog/doc/Manual/projectfiles.html
/usr/lib/swi-prolog/doc/Manual/prolog_xref.html
/usr/lib/swi-prolog/doc/Manual/prologpack.html
/usr/lib/swi-prolog/doc/Manual/protocol.html
/usr/lib/swi-prolog/doc/Manual/qsaveforeign.html
/usr/lib/swi-prolog/doc/Manual/qsavelimits.html
/usr/lib/swi-prolog/doc/Manual/quasiquotations.html
/usr/lib/swi-prolog/doc/Manual/quickstart.html
/usr/lib/swi-prolog/doc/Manual/random.html
/usr/lib/swi-prolog/doc/Manual/readutil.html
/usr/lib/swi-prolog/doc/Manual/record.html
/usr/lib/swi-prolog/doc/Manual/reexport.html
/usr/lib/swi-prolog/doc/Manual/registry.html
/usr/lib/swi-prolog/doc/Manual/resmodules.html
/usr/lib/swi-prolog/doc/Manual/runtime.html
/usr/lib/swi-prolog/doc/Manual/sicstus-chr.html
/usr/lib/swi-prolog/doc/Manual/signal.html
/usr/lib/swi-prolog/doc/Manual/simplex.html
/usr/lib/swi-prolog/doc/Manual/softlicense.html
/usr/lib/swi-prolog/doc/Manual/solutionsequences.html
/usr/lib/swi-prolog/doc/Manual/sponsor.html
/usr/lib/swi-prolog/doc/Manual/statistics.html
/usr/lib/swi-prolog/doc/Manual/status.html
/usr/lib/swi-prolog/doc/Manual/streamstat.html
/usr/lib/swi-prolog/doc/Manual/strings.html
/usr/lib/swi-prolog/doc/Manual/summary.html
/usr/lib/swi-prolog/doc/Manual/swiorother.html
/usr/lib/swi-prolog/doc/Manual/swiprolog.html
/usr/lib/swi-prolog/doc/Manual/syntax.html
/usr/lib/swi-prolog/doc/Manual/system.html
/usr/lib/swi-prolog/doc/Manual/tabling.html
/usr/lib/swi-prolog/doc/Manual/termrw.html
/usr/lib/swi-prolog/doc/Manual/thmonitor.html
/usr/lib/swi-prolog/doc/Manual/threadcom.html
/usr/lib/swi-prolog/doc/Manual/threadcreate.html
/usr/lib/swi-prolog/doc/Manual/threadpool.html
/usr/lib/swi-prolog/doc/Manual/threads.html
/usr/lib/swi-prolog/doc/Manual/threadsync.html
/usr/lib/swi-prolog/doc/Manual/thutil.html
/usr/lib/swi-prolog/doc/Manual/toplevel.html
/usr/lib/swi-prolog/doc/Manual/topvars.html
/usr/lib/swi-prolog/doc/Manual/tracehook.html
/usr/lib/swi-prolog/doc/Manual/tty.html
/usr/lib/swi-prolog/doc/Manual/typetest.html
/usr/lib/swi-prolog/doc/Manual/ugraphs.html
/usr/lib/swi-prolog/doc/Manual/up.gif
/usr/lib/swi-prolog/doc/Manual/url.html
/usr/lib/swi-prolog/doc/Manual/useresource.html
/usr/lib/swi-prolog/doc/Manual/usingmodules.html
/usr/lib/swi-prolog/doc/Manual/varnumbers.html
/usr/lib/swi-prolog/doc/Manual/whymodules.html
/usr/lib/swi-prolog/doc/Manual/widechars.html
/usr/lib/swi-prolog/doc/Manual/www_browser.html
/usr/lib/swi-prolog/doc/Manual/xref.html
/usr/lib/swi-prolog/doc/Manual/xrefchatdep.gif
/usr/lib/swi-prolog/doc/Manual/xrefchatfile.gif
/usr/lib/swi-prolog/doc/Manual/yall.html
/usr/lib/swi-prolog/doc/Manual/yellow_pages.gif
/usr/lib/swi-prolog/include/SWI-Prolog.h
/usr/lib/swi-prolog/include/SWI-Stream.h
/usr/lib/swi-prolog/include/SWI-cpp.h
/usr/lib/swi-prolog/include/Yap/YapInterface.h
/usr/lib/swi-prolog/include/sicstus/sicstus.h
/usr/lib/swi-prolog/lib/alpha/archive4pl.so
/usr/lib/swi-prolog/lib/alpha/cgi.so
/usr/lib/swi-prolog/lib/alpha/crypt.so
/usr/lib/swi-prolog/lib/alpha/crypto4pl.so
/usr/lib/swi-prolog/lib/alpha/double_metaphone.so
/usr/lib/swi-prolog/lib/alpha/files.so
/usr/lib/swi-prolog/lib/alpha/hashstream.so
/usr/lib/swi-prolog/lib/alpha/http_stream.so
/usr/lib/swi-prolog/lib/alpha/isub.so
/usr/lib/swi-prolog/lib/alpha/json.so
/usr/lib/swi-prolog/lib/alpha/libedit4pl.so
/usr/lib/swi-prolog/lib/alpha/mallocinfo.so
/usr/lib/swi-prolog/lib/alpha/md54pl.so
/usr/lib/swi-prolog/lib/alpha/memfile.so
/usr/lib/swi-prolog/lib/alpha/ntriples.so
/usr/lib/swi-prolog/lib/alpha/pcre4pl.so
/usr/lib/swi-prolog/lib/alpha/pdt_console.so
/usr/lib/swi-prolog/lib/alpha/porter_stem.so
/usr/lib/swi-prolog/lib/alpha/process.so
/usr/lib/swi-prolog/lib/alpha/prolog_stream.so
/usr/lib/swi-prolog/lib/alpha/protobufs.so
/usr/lib/swi-prolog/lib/alpha/rdf_db.so
/usr/lib/swi-prolog/lib/alpha/readline4pl.so
/usr/lib/swi-prolog/lib/alpha/readutil.so
/usr/lib/swi-prolog/lib/alpha/rlimit.so
/usr/lib/swi-prolog/lib/alpha/sgml2pl.so
/usr/lib/swi-prolog/lib/alpha/sha4pl.so
/usr/lib/swi-prolog/lib/alpha/snowball.so
/usr/lib/swi-prolog/lib/alpha/socket.so
/usr/lib/swi-prolog/lib/alpha/ssl4pl.so
/usr/lib/swi-prolog/lib/alpha/streaminfo.so
/usr/lib/swi-prolog/lib/alpha/syslog.so
/usr/lib/swi-prolog/lib/alpha/table.so
/usr/lib/swi-prolog/lib/alpha/time.so
/usr/lib/swi-prolog/lib/alpha/tipc.so
/usr/lib/swi-prolog/lib/alpha/turtle.so
/usr/lib/swi-prolog/lib/alpha/uid.so
/usr/lib/swi-prolog/lib/alpha/unicode4pl.so
/usr/lib/swi-prolog/lib/alpha/unix.so
/usr/lib/swi-prolog/lib/alpha/uri.so
/usr/lib/swi-prolog/lib/alpha/uuid.so
/usr/lib/swi-prolog/lib/alpha/websocket.so
/usr/lib/swi-prolog/lib/alpha/zlib4pl.so
/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/MANUAL
/usr/lib/swi-prolog/library/aggregate.pl
/usr/lib/swi-prolog/library/ansi_term.pl
/usr/lib/swi-prolog/library/apply.pl
/usr/lib/swi-prolog/library/apply_macros.pl
/usr/lib/swi-prolog/library/archive.pl
/usr/lib/swi-prolog/library/arithmetic.pl
/usr/lib/swi-prolog/library/assoc.pl
/usr/lib/swi-prolog/library/backcomp.pl
/usr/lib/swi-prolog/library/base32.pl
/usr/lib/swi-prolog/library/base64.pl
/usr/lib/swi-prolog/library/broadcast.pl
/usr/lib/swi-prolog/library/c14n2.pl
/usr/lib/swi-prolog/library/cgi.pl
/usr/lib/swi-prolog/library/charsio.pl
/usr/lib/swi-prolog/library/check.pl
/usr/lib/swi-prolog/library/check_installation.pl
/usr/lib/swi-prolog/library/checklast.pl
/usr/lib/swi-prolog/library/checkselect.pl
/usr/lib/swi-prolog/library/chr.pl
/usr/lib/swi-prolog/library/chr/README
/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/bounds.pl
/usr/lib/swi-prolog/library/clp/clp_distinct.pl
/usr/lib/swi-prolog/library/clp/clp_events.pl
/usr/lib/swi-prolog/library/clp/clpb.pl
/usr/lib/swi-prolog/library/clp/clpfd.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/README
/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/simplex.pl
/usr/lib/swi-prolog/library/codesio.pl
/usr/lib/swi-prolog/library/coinduction.pl
/usr/lib/swi-prolog/library/console_input.pl
/usr/lib/swi-prolog/library/cql/cql.pl
/usr/lib/swi-prolog/library/cql/cql_autoschema.pl
/usr/lib/swi-prolog/library/cql/cql_database.pl
/usr/lib/swi-prolog/library/cql/cql_hooks.pl
/usr/lib/swi-prolog/library/cql/sql_keywords.pl
/usr/lib/swi-prolog/library/cql/sql_parser.pl
/usr/lib/swi-prolog/library/cql/sql_tokenizer.pl
/usr/lib/swi-prolog/library/cql/sql_write.pl
/usr/lib/swi-prolog/library/crypt.pl
/usr/lib/swi-prolog/library/crypto.pl
/usr/lib/swi-prolog/library/csv.pl
/usr/lib/swi-prolog/library/ctypes.pl
/usr/lib/swi-prolog/library/date.pl
/usr/lib/swi-prolog/library/dcg/basics.pl
/usr/lib/swi-prolog/library/debug.pl
/usr/lib/swi-prolog/library/dialect.pl
/usr/lib/swi-prolog/library/dialect/bim.pl
/usr/lib/swi-prolog/library/dialect/commons.pl
/usr/lib/swi-prolog/library/dialect/eclipse/test_util_iso.pl
/usr/lib/swi-prolog/library/dialect/hprolog.pl
/usr/lib/swi-prolog/library/dialect/hprolog/format.pl
/usr/lib/swi-prolog/library/dialect/ifprolog.pl
/usr/lib/swi-prolog/library/dialect/iso/iso_predicates.pl
/usr/lib/swi-prolog/library/dialect/sicstus.pl
/usr/lib/swi-prolog/library/dialect/sicstus/arrays.pl
/usr/lib/swi-prolog/library/dialect/sicstus/block.pl
/usr/lib/swi-prolog/library/dialect/sicstus/lists.pl
/usr/lib/swi-prolog/library/dialect/sicstus/sockets.pl
/usr/lib/swi-prolog/library/dialect/sicstus/swipl-lfr.pl
/usr/lib/swi-prolog/library/dialect/sicstus/system.pl
/usr/lib/swi-prolog/library/dialect/sicstus/terms.pl
/usr/lib/swi-prolog/library/dialect/sicstus/timeout.pl
/usr/lib/swi-prolog/library/dialect/swi/syspred_options.pl
/usr/lib/swi-prolog/library/dialect/yap.pl
/usr/lib/swi-prolog/library/dialect/yap/README.TXT
/usr/lib/swi-prolog/library/dicts.pl
/usr/lib/swi-prolog/library/dif.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/edinburgh.pl
/usr/lib/swi-prolog/library/edit.pl
/usr/lib/swi-prolog/library/editline.pl
/usr/lib/swi-prolog/library/error.pl
/usr/lib/swi-prolog/library/explain.pl
/usr/lib/swi-prolog/library/fastrw.pl
/usr/lib/swi-prolog/library/files.pl
/usr/lib/swi-prolog/library/filesex.pl
/usr/lib/swi-prolog/library/gensym.pl
/usr/lib/swi-prolog/library/git.pl
/usr/lib/swi-prolog/library/hash_stream.pl
/usr/lib/swi-prolog/library/heaps.pl
/usr/lib/swi-prolog/library/help.pl
/usr/lib/swi-prolog/library/helpidx.pl
/usr/lib/swi-prolog/library/hotfix.pl
/usr/lib/swi-prolog/library/http/INDEX.pl
/usr/lib/swi-prolog/library/http/README
/usr/lib/swi-prolog/library/http/ax.pl
/usr/lib/swi-prolog/library/http/dcg_basics.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_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_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_ssl_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/inetd_httpd.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/xpce_httpd.pl
/usr/lib/swi-prolog/library/http/yadis.pl
/usr/lib/swi-prolog/library/iostream.pl
/usr/lib/swi-prolog/library/iso_639.pl
/usr/lib/swi-prolog/library/isub.pl
/usr/lib/swi-prolog/library/lazy_lists.pl
/usr/lib/swi-prolog/library/listing.pl
/usr/lib/swi-prolog/library/lists.pl
/usr/lib/swi-prolog/library/main.pl
/usr/lib/swi-prolog/library/make.pl
/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/modules.pl
/usr/lib/swi-prolog/library/nb_rbtrees.pl
/usr/lib/swi-prolog/library/nb_set.pl
/usr/lib/swi-prolog/library/occurs.pl
/usr/lib/swi-prolog/library/operators.pl
/usr/lib/swi-prolog/library/option.pl
/usr/lib/swi-prolog/library/optparse.pl
/usr/lib/swi-prolog/library/ordsets.pl
/usr/lib/swi-prolog/library/oset.pl
/usr/lib/swi-prolog/library/pairs.pl
/usr/lib/swi-prolog/library/pcre.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/persistency.pl
/usr/lib/swi-prolog/library/pio.pl
/usr/lib/swi-prolog/library/pldoc.pl
/usr/lib/swi-prolog/library/pldoc/README.md
/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_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/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/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/portray_text.pl
/usr/lib/swi-prolog/library/pprint.pl
/usr/lib/swi-prolog/library/predicate_options.pl
/usr/lib/swi-prolog/library/process.pl
/usr/lib/swi-prolog/library/prolog_autoload.pl
/usr/lib/swi-prolog/library/prolog_breakpoints.pl
/usr/lib/swi-prolog/library/prolog_clause.pl
/usr/lib/swi-prolog/library/prolog_codewalk.pl
/usr/lib/swi-prolog/library/prolog_colour.pl
/usr/lib/swi-prolog/library/prolog_format.pl
/usr/lib/swi-prolog/library/prolog_history.pl
/usr/lib/swi-prolog/library/prolog_install.pl
/usr/lib/swi-prolog/library/prolog_jiti.pl
/usr/lib/swi-prolog/library/prolog_metainference.pl
/usr/lib/swi-prolog/library/prolog_pack.pl
/usr/lib/swi-prolog/library/prolog_server.pl
/usr/lib/swi-prolog/library/prolog_source.pl
/usr/lib/swi-prolog/library/prolog_stack.pl
/usr/lib/swi-prolog/library/prolog_stream.pl
/usr/lib/swi-prolog/library/prolog_xref.pl
/usr/lib/swi-prolog/library/protobufs.pl
/usr/lib/swi-prolog/library/pure_input.pl
/usr/lib/swi-prolog/library/pwp.pl
/usr/lib/swi-prolog/library/qpforeign.pl
/usr/lib/swi-prolog/library/qsave.pl
/usr/lib/swi-prolog/library/quasi_quotations.pl
/usr/lib/swi-prolog/library/quintus.pl
/usr/lib/swi-prolog/library/random.pl
/usr/lib/swi-prolog/library/rbtrees.pl
/usr/lib/swi-prolog/library/rdf.pl
/usr/lib/swi-prolog/library/rdf_ntriples.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/readline.pl
/usr/lib/swi-prolog/library/readln.pl
/usr/lib/swi-prolog/library/readutil.pl
/usr/lib/swi-prolog/library/record.pl
/usr/lib/swi-prolog/library/rewrite.pl
/usr/lib/swi-prolog/library/rlimit.pl
/usr/lib/swi-prolog/library/saml.pl
/usr/lib/swi-prolog/library/sandbox.pl
/usr/lib/swi-prolog/library/semweb/INDEX.pl
/usr/lib/swi-prolog/library/semweb/README.md
/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_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/settings.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/shell.pl
/usr/lib/swi-prolog/library/shlib.pl
/usr/lib/swi-prolog/library/snowball.pl
/usr/lib/swi-prolog/library/socket.pl
/usr/lib/swi-prolog/library/solution_sequences.pl
/usr/lib/swi-prolog/library/sort.pl
/usr/lib/swi-prolog/library/ssl.pl
/usr/lib/swi-prolog/library/statistics.pl
/usr/lib/swi-prolog/library/streaminfo.pl
/usr/lib/swi-prolog/library/streampool.pl
/usr/lib/swi-prolog/library/syslog.pl
/usr/lib/swi-prolog/library/system.pl
/usr/lib/swi-prolog/library/table.pl
/usr/lib/swi-prolog/library/table_util.pl
/usr/lib/swi-prolog/library/tabling.pl
/usr/lib/swi-prolog/library/term_to_json.pl
/usr/lib/swi-prolog/library/terms.pl
/usr/lib/swi-prolog/library/test_cover.pl
/usr/lib/swi-prolog/library/test_wizard.pl
/usr/lib/swi-prolog/library/thread.pl
/usr/lib/swi-prolog/library/thread_pool.pl
/usr/lib/swi-prolog/library/threadutil.pl
/usr/lib/swi-prolog/library/time.pl
/usr/lib/swi-prolog/library/tipc/tipc.pl
/usr/lib/swi-prolog/library/tipc/tipc_broadcast.pl
/usr/lib/swi-prolog/library/tipc/tipc_linda.pl
/usr/lib/swi-prolog/library/tipc/tipc_overview.txt
/usr/lib/swi-prolog/library/tipc/tipc_paxos.pl
/usr/lib/swi-prolog/library/tty.pl
/usr/lib/swi-prolog/library/udp_broadcast.pl
/usr/lib/swi-prolog/library/ugraphs.pl
/usr/lib/swi-prolog/library/uid.pl
/usr/lib/swi-prolog/library/unicode.pl
/usr/lib/swi-prolog/library/unicode/blocks.pl
/usr/lib/swi-prolog/library/unicode/unicode_data.pl
/usr/lib/swi-prolog/library/unix.pl
/usr/lib/swi-prolog/library/uri.pl
/usr/lib/swi-prolog/library/url.pl
/usr/lib/swi-prolog/library/utf8.pl
/usr/lib/swi-prolog/library/uuid.pl
/usr/lib/swi-prolog/library/varnumbers.pl
/usr/lib/swi-prolog/library/vm.pl
/usr/lib/swi-prolog/library/when.pl
/usr/lib/swi-prolog/library/win_menu.pl
/usr/lib/swi-prolog/library/writef.pl
/usr/lib/swi-prolog/library/www_browser.pl
/usr/lib/swi-prolog/library/xmldsig.pl
/usr/lib/swi-prolog/library/xmlenc.pl
/usr/lib/swi-prolog/library/xpath.pl
/usr/lib/swi-prolog/library/xsdp_types.pl
/usr/lib/swi-prolog/library/yall.pl
/usr/lib/swi-prolog/library/zlib.pl
/usr/lib/swi-prolog/swipl.home
/usr/share/doc/swi-prolog-nox/changelog.Debian.gz
/usr/share/doc/swi-prolog-nox/copyright
/usr/share/lintian/overrides/swi-prolog-nox
/usr/share/man/man1/dh_swi_prolog.1.gz
/usr/share/man/man1/swipl-ld.1.gz
/usr/share/man/man1/swipl-rc.1.gz
/usr/share/man/man1/swipl.1.gz
/usr/share/menu/swi-prolog-nox
/usr/share/perl5/Debian/Debhelper/Sequence/swi_prolog.pm
/usr/share/texmf/tex/latex/swi-prolog/pldoc.sty