Sophie

Sophie

distrib > Mandriva > 2008.0 > x86_64 > media > main-backports > by-pkgid > 0bf12466d12368b72ff4ebad3a72ea1a > files

swi-prolog-5.6.55-1mdv2008.0.x86_64.rpm

Files

lrwxrwxrwx 40 root root /usr/bin/pl
lrwxrwxrwx 42 root root /usr/bin/plld
lrwxrwxrwx 42 root root /usr/bin/plrc
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55
-rw-r--r-- 2401 root root /usr/lib/pl-5.6.55/Makefile
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/bin
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/boot
-rw-r--r-- 95255 root root /usr/lib/pl-5.6.55/boot64.prc
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/demo
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/dotfiles
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/include
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/lib
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/man
-rw-r--r-- 2296 root root /usr/lib/pl-5.6.55/pl.rc
-rw-r--r-- 2 root root /usr/lib/pl-5.6.55/swipl
-rw-r--r-- 3 root root /usr/lib/pl-5.6.55/bin/swipl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/bin/x86_64-linux-gnu
-rwxr-xr-x762784 root root /usr/lib/pl-5.6.55/bin/x86_64-linux-gnu/pl
-rwxr-xr-x 21944 root root /usr/lib/pl-5.6.55/bin/x86_64-linux-gnu/plld
-rwxr-xr-x 17968 root root /usr/lib/pl-5.6.55/bin/x86_64-linux-gnu/plrc
lrwxrwxrwx 2 root root /usr/lib/pl-5.6.55/bin/x86_64-linux-gnu/xpce
-rw-r--r-- 3424 root root /usr/lib/pl-5.6.55/boot/apply.pl
-rw-r--r-- 7254 root root /usr/lib/pl-5.6.55/boot/attvar.pl
-rw-r--r-- 10344 root root /usr/lib/pl-5.6.55/boot/autoload.pl
-rw-r--r-- 5540 root root /usr/lib/pl-5.6.55/boot/bags.pl
-rw-r--r-- 11385 root root /usr/lib/pl-5.6.55/boot/dwim.pl
-rw-r--r-- 8432 root root /usr/lib/pl-5.6.55/boot/history.pl
-rw-r--r-- 62855 root root /usr/lib/pl-5.6.55/boot/init.pl
-rw-r--r-- 6426 root root /usr/lib/pl-5.6.55/boot/license.pl
-rw-r--r-- 1570 root root /usr/lib/pl-5.6.55/boot/load.pl
-rw-r--r-- 30467 root root /usr/lib/pl-5.6.55/boot/messages.pl
-rw-r--r-- 2496 root root /usr/lib/pl-5.6.55/boot/parms.pl
-rw-r--r-- 3092 root root /usr/lib/pl-5.6.55/boot/qlf.pl
-rw-r--r-- 2808 root root /usr/lib/pl-5.6.55/boot/rc.pl
-rw-r--r-- 23806 root root /usr/lib/pl-5.6.55/boot/syspred.pl
-rw-r--r-- 19980 root root /usr/lib/pl-5.6.55/boot/toplevel.pl
-rw-r--r-- 3980 root root /usr/lib/pl-5.6.55/boot/topvars.pl
-rw-r--r-- 6240 root root /usr/lib/pl-5.6.55/boot/writef.pl
-rw-r--r-- 1051 root root /usr/lib/pl-5.6.55/demo/README
-rw-r--r-- 750 root root /usr/lib/pl-5.6.55/demo/likes.pl
drwxr-xr-x 12288 root root /usr/lib/pl-5.6.55/doc/Manual
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages
-rw-r--r-- 8470 root root /usr/lib/pl-5.6.55/doc/Manual/64bits.html
-rw-r--r-- 7171 root root /usr/lib/pl-5.6.55/doc/Manual/Bibliography.html
-rw-r--r-- 66771 root root /usr/lib/pl-5.6.55/doc/Manual/Contents.html
-rw-r--r-- 4970 root root /usr/lib/pl-5.6.55/doc/Manual/DCG.html
-rw-r--r-- 8972 root root /usr/lib/pl-5.6.55/doc/Manual/DDE.html
-rw-r--r-- 9144 root root /usr/lib/pl-5.6.55/doc/Manual/DLL.html
-rw-r--r--204998 root root /usr/lib/pl-5.6.55/doc/Manual/DocIndex.html
-rw-r--r-- 7382 root root /usr/lib/pl-5.6.55/doc/Manual/IDE.html
-rw-r--r-- 40129 root root /usr/lib/pl-5.6.55/doc/Manual/IO.html
-rw-r--r-- 9610 root root /usr/lib/pl-5.6.55/doc/Manual/SyntaxAndSemantics.html
-rw-r--r-- 5003 root root /usr/lib/pl-5.6.55/doc/Manual/acknowledge.html
-rw-r--r-- 11007 root root /usr/lib/pl-5.6.55/doc/Manual/aggregate.html
-rw-r--r-- 5707 root root /usr/lib/pl-5.6.55/doc/Manual/allsolutions.html
-rw-r--r-- 4893 root root /usr/lib/pl-5.6.55/doc/Manual/apply.html
-rw-r--r-- 4541 root root /usr/lib/pl-5.6.55/doc/Manual/applylist.html
-rw-r--r-- 33999 root root /usr/lib/pl-5.6.55/doc/Manual/arith.html
-rw-r--r-- 6812 root root /usr/lib/pl-5.6.55/doc/Manual/assoc.html
-rw-r--r-- 11838 root root /usr/lib/pl-5.6.55/doc/Manual/attvar.html
-rw-r--r-- 9012 root root /usr/lib/pl-5.6.55/doc/Manual/autoload.html
-rw-r--r-- 4848 root root /usr/lib/pl-5.6.55/doc/Manual/block3.html
-rw-r--r-- 8154 root root /usr/lib/pl-5.6.55/doc/Manual/broadcast.html
-rw-r--r-- 15814 root root /usr/lib/pl-5.6.55/doc/Manual/builtin.html
-rw-r--r-- 8606 root root /usr/lib/pl-5.6.55/doc/Manual/builtinlist.html
-rw-r--r-- 3846 root root /usr/lib/pl-5.6.55/doc/Manual/charconv.html
-rw-r--r-- 17809 root root /usr/lib/pl-5.6.55/doc/Manual/chario.html
-rw-r--r-- 6537 root root /usr/lib/pl-5.6.55/doc/Manual/chars.html
-rw-r--r-- 12844 root root /usr/lib/pl-5.6.55/doc/Manual/chartype.html
-rw-r--r-- 5873 root root /usr/lib/pl-5.6.55/doc/Manual/check.html
-rw-r--r-- 6529 root root /usr/lib/pl-5.6.55/doc/Manual/chr.html
-rw-r--r-- 4430 root root /usr/lib/pl-5.6.55/doc/Manual/chrintro.html
-rw-r--r-- 4262 root root /usr/lib/pl-5.6.55/doc/Manual/clicense.html
-rw-r--r-- 14798 root root /usr/lib/pl-5.6.55/doc/Manual/clpbounds.html
-rw-r--r-- 5179 root root /usr/lib/pl-5.6.55/doc/Manual/clpclp_distinct.html
-rw-r--r-- 17803 root root /usr/lib/pl-5.6.55/doc/Manual/clpfd.html
-rw-r--r-- 14741 root root /usr/lib/pl-5.6.55/doc/Manual/clpqr.html
-rw-r--r-- 13889 root root /usr/lib/pl-5.6.55/doc/Manual/cmdline.html
-rw-r--r-- 13293 root root /usr/lib/pl-5.6.55/doc/Manual/compare.html
-rw-r--r-- 10397 root root /usr/lib/pl-5.6.55/doc/Manual/compilation.html
-rw-r--r-- 47567 root root /usr/lib/pl-5.6.55/doc/Manual/consulting.html
-rw-r--r-- 3001 root root /usr/lib/pl-5.6.55/doc/Manual/contrib.html
-rw-r--r-- 8996 root root /usr/lib/pl-5.6.55/doc/Manual/control.html
-rw-r--r-- 7899 root root /usr/lib/pl-5.6.55/doc/Manual/coroutining.html
-rw-r--r-- 5302 root root /usr/lib/pl-5.6.55/doc/Manual/cyclic.html
-rw-r--r-- 17991 root root /usr/lib/pl-5.6.55/doc/Manual/db.html
-rw-r--r-- 6959 root root /usr/lib/pl-5.6.55/doc/Manual/debug.html
-rw-r--r-- 13142 root root /usr/lib/pl-5.6.55/doc/Manual/debugger.html
-rw-r--r-- 9236 root root /usr/lib/pl-5.6.55/doc/Manual/debugging.html
-rw-r--r-- 12020 root root /usr/lib/pl-5.6.55/doc/Manual/debugoverview.html
-rw-r--r-- 3367 root root /usr/lib/pl-5.6.55/doc/Manual/defmodule.html
-rw-r--r-- 7999 root root /usr/lib/pl-5.6.55/doc/Manual/dialect.html
-rw-r--r-- 4173 root root /usr/lib/pl-5.6.55/doc/Manual/dynamic-modules.html
-rw-r--r-- 9884 root root /usr/lib/pl-5.6.55/doc/Manual/dynamic.html
-rw-r--r-- 5126 root root /usr/lib/pl-5.6.55/doc/Manual/dynstatic.html
-rw-r--r-- 6187 root root /usr/lib/pl-5.6.55/doc/Manual/editreload.html
-rw-r--r-- 4989 root root /usr/lib/pl-5.6.55/doc/Manual/errors.html
-rw-r--r-- 14802 root root /usr/lib/pl-5.6.55/doc/Manual/examineprog.html
-rw-r--r-- 4266 root root /usr/lib/pl-5.6.55/doc/Manual/examples.html
-rw-r--r-- 5976 root root /usr/lib/pl-5.6.55/doc/Manual/excepthook.html
-rw-r--r-- 16762 root root /usr/lib/pl-5.6.55/doc/Manual/exception.html
-rw-r--r-- 5348 root root /usr/lib/pl-5.6.55/doc/Manual/exception3.html
-rw-r--r-- 4586 root root /usr/lib/pl-5.6.55/doc/Manual/extendarith.html
-rw-r--r-- 3527 root root /usr/lib/pl-5.6.55/doc/Manual/extvar.html
-rw-r--r-- 17548 root root /usr/lib/pl-5.6.55/doc/Manual/files.html
-rw-r--r-- 4575 root root /usr/lib/pl-5.6.55/doc/Manual/findappfile.html
-rw-r--r-- 4213 root root /usr/lib/pl-5.6.55/doc/Manual/findhome.html
-rw-r--r-- 42597 root root /usr/lib/pl-5.6.55/doc/Manual/flags.html
-rw-r--r-- 3058 root root /usr/lib/pl-5.6.55/doc/Manual/forall2.html
-rw-r--r-- 13940 root root /usr/lib/pl-5.6.55/doc/Manual/foreign.html
-rw-r--r--135544 root root /usr/lib/pl-5.6.55/doc/Manual/foreigninclude.html
-rw-r--r-- 5503 root root /usr/lib/pl-5.6.55/doc/Manual/foreignlink.html
-rw-r--r-- 8984 root root /usr/lib/pl-5.6.55/doc/Manual/foreignnotes.html
-rw-r--r-- 3370 root root /usr/lib/pl-5.6.55/doc/Manual/foreignoverview.html
-rw-r--r-- 12033 root root /usr/lib/pl-5.6.55/doc/Manual/foreignthread.html
-rw-r--r-- 11289 root root /usr/lib/pl-5.6.55/doc/Manual/foreigntypes.html
-rw-r--r-- 4267 root root /usr/lib/pl-5.6.55/doc/Manual/foreignxmp.html
-rw-r--r-- 17717 root root /usr/lib/pl-5.6.55/doc/Manual/format.html
-rw-r--r-- 2810 root root /usr/lib/pl-5.6.55/doc/Manual/gc.html
-rw-r--r-- 3476 root root /usr/lib/pl-5.6.55/doc/Manual/gemacs.html
-rw-r--r-- 4159 root root /usr/lib/pl-5.6.55/doc/Manual/gensym.html
-rw-r--r-- 28514 root root /usr/lib/pl-5.6.55/doc/Manual/glossary.html
-rw-r--r-- 4659 root root /usr/lib/pl-5.6.55/doc/Manual/guidelines.html
-rw-r--r-- 5880 root root /usr/lib/pl-5.6.55/doc/Manual/guitracer.html
-rw-r--r-- 9987 root root /usr/lib/pl-5.6.55/doc/Manual/gvar.html
-rw-r--r-- 4118 root root /usr/lib/pl-5.6.55/doc/Manual/hack.html
-rw-r--r-- 7056 root root /usr/lib/pl-5.6.55/doc/Manual/help.html
-rw-r--r-- 4138 root root /usr/lib/pl-5.6.55/doc/Manual/history.html
-rw-r--r-- 425 root root /usr/lib/pl-5.6.55/doc/Manual/home.gif
-rw-r--r-- 6494 root root /usr/lib/pl-5.6.55/doc/Manual/hooks.html
-rw-r--r-- 4495 root root /usr/lib/pl-5.6.55/doc/Manual/idepreds.html
-rw-r--r-- 4811 root root /usr/lib/pl-5.6.55/doc/Manual/idesummary.html
-rw-r--r-- 8172 root root /usr/lib/pl-5.6.55/doc/Manual/import.html
-rw-r--r-- 344 root root /usr/lib/pl-5.6.55/doc/Manual/index.gif
-rw-r--r-- 4295 root root /usr/lib/pl-5.6.55/doc/Manual/index.html
-rw-r--r-- 273 root root /usr/lib/pl-5.6.55/doc/Manual/info.gif
-rw-r--r-- 4596 root root /usr/lib/pl-5.6.55/doc/Manual/initfile.html
-rw-r--r-- 4225 root root /usr/lib/pl-5.6.55/doc/Manual/initgoal.html
-rw-r--r-- 6925 root root /usr/lib/pl-5.6.55/doc/Manual/intlibs.html
-rw-r--r-- 7515 root root /usr/lib/pl-5.6.55/doc/Manual/intro.html
-rw-r--r-- 3504 root root /usr/lib/pl-5.6.55/doc/Manual/iso.html
-rw-r--r-- 10006 root root /usr/lib/pl-5.6.55/doc/Manual/libpl.html
-rw-r--r-- 28680 root root /usr/lib/pl-5.6.55/doc/Manual/library.html
-rw-r--r-- 8558 root root /usr/lib/pl-5.6.55/doc/Manual/license.html
-rw-r--r-- 10600 root root /usr/lib/pl-5.6.55/doc/Manual/limits.html
-rw-r--r-- 11194 root root /usr/lib/pl-5.6.55/doc/Manual/listing.html
-rw-r--r-- 10578 root root /usr/lib/pl-5.6.55/doc/Manual/lists.html
-rw-r--r-- 4452 root root /usr/lib/pl-5.6.55/doc/Manual/loadfilehook.html
-rw-r--r-- 13807 root root /usr/lib/pl-5.6.55/doc/Manual/manipatom.html
-rw-r--r-- 9669 root root /usr/lib/pl-5.6.55/doc/Manual/manipmodule.html
-rw-r--r-- 9734 root root /usr/lib/pl-5.6.55/doc/Manual/manipstack.html
-rw-r--r-- 15485 root root /usr/lib/pl-5.6.55/doc/Manual/manipterm.html
-rw-r--r-- 5426 root root /usr/lib/pl-5.6.55/doc/Manual/memory.html
-rw-r--r-- 12230 root root /usr/lib/pl-5.6.55/doc/Manual/metacall.html
-rw-r--r-- 6801 root root /usr/lib/pl-5.6.55/doc/Manual/metainmodule.html
-rw-r--r-- 5694 root root /usr/lib/pl-5.6.55/doc/Manual/miscpreds.html
-rw-r--r-- 7365 root root /usr/lib/pl-5.6.55/doc/Manual/modulecompat.html
-rw-r--r-- 5062 root root /usr/lib/pl-5.6.55/doc/Manual/modules.html
-rw-r--r-- 3913 root root /usr/lib/pl-5.6.55/doc/Manual/mtunbound.html
-rw-r--r-- 2818 root root /usr/lib/pl-5.6.55/doc/Manual/navigator.html
-rw-r--r-- 5825 root root /usr/lib/pl-5.6.55/doc/Manual/nbset.html
-rw-r--r-- 4121 root root /usr/lib/pl-5.6.55/doc/Manual/netscape.html
-rw-r--r-- 297 root root /usr/lib/pl-5.6.55/doc/Manual/next.gif
-rw-r--r-- 9297 root root /usr/lib/pl-5.6.55/doc/Manual/operators.html
-rw-r--r-- 6816 root root /usr/lib/pl-5.6.55/doc/Manual/option.html
-rw-r--r-- 6637 root root /usr/lib/pl-5.6.55/doc/Manual/ordsets.html
-rw-r--r-- 9777 root root /usr/lib/pl-5.6.55/doc/Manual/overview.html
-rw-r--r-- 5580 root root /usr/lib/pl-5.6.55/doc/Manual/pairs.html
-rw-r--r-- 15551 root root /usr/lib/pl-5.6.55/doc/Manual/pceemacs.html
-rw-r--r-- 11231 root root /usr/lib/pl-5.6.55/doc/Manual/plld.html
-rw-r--r-- 9245 root root /usr/lib/pl-5.6.55/doc/Manual/portabilitystrategies.html
-rw-r--r-- 11669 root root /usr/lib/pl-5.6.55/doc/Manual/practical.html
-rw-r--r-- 5735 root root /usr/lib/pl-5.6.55/doc/Manual/preddesc.html
-rw-r--r-- 297 root root /usr/lib/pl-5.6.55/doc/Manual/prev.gif
-rw-r--r-- 13633 root root /usr/lib/pl-5.6.55/doc/Manual/profile.html
-rw-r--r-- 13378 root root /usr/lib/pl-5.6.55/doc/Manual/profnode.gif
-rw-r--r-- 12243 root root /usr/lib/pl-5.6.55/doc/Manual/projectfiles.html
-rw-r--r-- 8515 root root /usr/lib/pl-5.6.55/doc/Manual/prologxref.html
-rw-r--r-- 4077 root root /usr/lib/pl-5.6.55/doc/Manual/protocol.html
-rw-r--r-- 5240 root root /usr/lib/pl-5.6.55/doc/Manual/qsaveforeign.html
-rw-r--r-- 3657 root root /usr/lib/pl-5.6.55/doc/Manual/qsavelimits.html
-rw-r--r-- 6313 root root /usr/lib/pl-5.6.55/doc/Manual/quickstart.html
-rw-r--r-- 4035 root root /usr/lib/pl-5.6.55/doc/Manual/readline.html
-rw-r--r-- 6951 root root /usr/lib/pl-5.6.55/doc/Manual/readutil.html
-rw-r--r-- 8007 root root /usr/lib/pl-5.6.55/doc/Manual/record.html
-rw-r--r-- 4276 root root /usr/lib/pl-5.6.55/doc/Manual/reexport.html
-rw-r--r-- 6635 root root /usr/lib/pl-5.6.55/doc/Manual/registry.html
-rw-r--r-- 23499 root root /usr/lib/pl-5.6.55/doc/Manual/relnotes.html
-rw-r--r-- 5288 root root /usr/lib/pl-5.6.55/doc/Manual/runenv.html
-rw-r--r-- 12743 root root /usr/lib/pl-5.6.55/doc/Manual/runtime.html
-rw-r--r-- 5766 root root /usr/lib/pl-5.6.55/doc/Manual/sicstus-chr.html
-rw-r--r-- 9055 root root /usr/lib/pl-5.6.55/doc/Manual/signal.html
-rw-r--r-- 11985 root root /usr/lib/pl-5.6.55/doc/Manual/simplex.html
-rw-r--r-- 7456 root root /usr/lib/pl-5.6.55/doc/Manual/softlicense.html
-rw-r--r-- 2919 root root /usr/lib/pl-5.6.55/doc/Manual/sponsor.html
-rw-r--r-- 8378 root root /usr/lib/pl-5.6.55/doc/Manual/statistics.html
-rw-r--r-- 3158 root root /usr/lib/pl-5.6.55/doc/Manual/status.html
-rw-r--r-- 7861 root root /usr/lib/pl-5.6.55/doc/Manual/streamstat.html
-rw-r--r-- 7385 root root /usr/lib/pl-5.6.55/doc/Manual/strings.html
-rw-r--r-- 5626 root root /usr/lib/pl-5.6.55/doc/Manual/swiorother.html
-rw-r--r-- 6636 root root /usr/lib/pl-5.6.55/doc/Manual/swiprolog.html
-rw-r--r-- 14427 root root /usr/lib/pl-5.6.55/doc/Manual/syntax.html
-rw-r--r-- 31641 root root /usr/lib/pl-5.6.55/doc/Manual/system.html
-rw-r--r-- 24785 root root /usr/lib/pl-5.6.55/doc/Manual/termrw.html
-rw-r--r-- 6861 root root /usr/lib/pl-5.6.55/doc/Manual/thmonitor.html
-rw-r--r-- 15657 root root /usr/lib/pl-5.6.55/doc/Manual/threadcom.html
-rw-r--r-- 13760 root root /usr/lib/pl-5.6.55/doc/Manual/threadcreate.html
-rw-r--r-- 7380 root root /usr/lib/pl-5.6.55/doc/Manual/threads.html
-rw-r--r-- 9355 root root /usr/lib/pl-5.6.55/doc/Manual/threadsync.html
-rw-r--r-- 8975 root root /usr/lib/pl-5.6.55/doc/Manual/thutil.html
-rw-r--r-- 7996 root root /usr/lib/pl-5.6.55/doc/Manual/toplevel.html
-rw-r--r-- 3667 root root /usr/lib/pl-5.6.55/doc/Manual/topvars.html
-rw-r--r-- 7426 root root /usr/lib/pl-5.6.55/doc/Manual/tracehook.html
-rw-r--r-- 5983 root root /usr/lib/pl-5.6.55/doc/Manual/tty.html
-rw-r--r-- 8063 root root /usr/lib/pl-5.6.55/doc/Manual/typetest.html
-rw-r--r-- 11160 root root /usr/lib/pl-5.6.55/doc/Manual/ugraphs.html
-rw-r--r-- 280 root root /usr/lib/pl-5.6.55/doc/Manual/up.gif
-rw-r--r-- 9397 root root /usr/lib/pl-5.6.55/doc/Manual/url.html
-rw-r--r-- 6330 root root /usr/lib/pl-5.6.55/doc/Manual/usemodules.html
-rw-r--r-- 9211 root root /usr/lib/pl-5.6.55/doc/Manual/useresource.html
-rw-r--r-- 4503 root root /usr/lib/pl-5.6.55/doc/Manual/usingmodules.html
-rw-r--r-- 5034 root root /usr/lib/pl-5.6.55/doc/Manual/whichmodules.html
-rw-r--r-- 3635 root root /usr/lib/pl-5.6.55/doc/Manual/whymodules.html
-rw-r--r-- 10733 root root /usr/lib/pl-5.6.55/doc/Manual/widechars.html
-rw-r--r-- 4129 root root /usr/lib/pl-5.6.55/doc/Manual/www_browser.html
-rw-r--r-- 8042 root root /usr/lib/pl-5.6.55/doc/Manual/xref.html
-rw-r--r-- 43403 root root /usr/lib/pl-5.6.55/doc/Manual/xrefchatdep.gif
-rw-r--r-- 46780 root root /usr/lib/pl-5.6.55/doc/Manual/xrefchatfile.gif
-rw-r--r-- 400 root root /usr/lib/pl-5.6.55/doc/Manual/yellow_pages.gif
-rw-r--r-- 73374 root root /usr/lib/pl-5.6.55/doc/packages/clib.html
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples
-rw-r--r--136994 root root /usr/lib/pl-5.6.55/doc/packages/http.html
-rw-r--r-- 4037 root root /usr/lib/pl-5.6.55/doc/packages/httpserver.gif
-rw-r--r-- 2956 root root /usr/lib/pl-5.6.55/doc/packages/index.html
-rw-r--r-- 4985 root root /usr/lib/pl-5.6.55/doc/packages/modules.gif
-rw-r--r-- 10320 root root /usr/lib/pl-5.6.55/doc/packages/nlp.html
-rw-r--r-- 55655 root root /usr/lib/pl-5.6.55/doc/packages/odbc.html
-rw-r--r-- 63296 root root /usr/lib/pl-5.6.55/doc/packages/pl2cpp.html
-rw-r--r-- 45832 root root /usr/lib/pl-5.6.55/doc/packages/pldoc.html
-rw-r--r-- 34548 root root /usr/lib/pl-5.6.55/doc/packages/plunit.html
-rw-r--r-- 24810 root root /usr/lib/pl-5.6.55/doc/packages/rdf2pl.html
-rw-r--r--153612 root root /usr/lib/pl-5.6.55/doc/packages/semweb.html
-rw-r--r-- 75447 root root /usr/lib/pl-5.6.55/doc/packages/sgml.html
-rw-r--r-- 15585 root root /usr/lib/pl-5.6.55/doc/packages/ssl.html
-rw-r--r-- 28405 root root /usr/lib/pl-5.6.55/doc/packages/table.html
-rw-r--r-- 9915 root root /usr/lib/pl-5.6.55/doc/packages/zlib.html
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/http
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/pldoc
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/plunit
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl
-rw-r--r-- 5879 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/bool.chr
-rw-r--r-- 1349 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/chrdif.chr
-rw-r--r-- 135 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/chrfreeze.chr
-rw-r--r-- 2347 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/family.chr
-rw-r--r-- 515 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/fib.chr
-rw-r--r-- 755 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/fibonacci.chr
-rw-r--r-- 600 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/gcd.chr
-rw-r--r-- 774 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/leq.chr
-rw-r--r-- 3706 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/listdom.chr
-rw-r--r-- 662 root root /usr/lib/pl-5.6.55/doc/packages/examples/chr/primes.chr
-rw-r--r-- 2206 root root /usr/lib/pl-5.6.55/doc/packages/examples/http/calc.pl
-rw-r--r-- 5636 root root /usr/lib/pl-5.6.55/doc/packages/examples/http/demo_body.pl
-rw-r--r-- 4034 root root /usr/lib/pl-5.6.55/doc/packages/examples/http/demo_client.pl
-rwxr-xr-x 434 root root /usr/lib/pl-5.6.55/doc/packages/examples/http/demo_inetd
-rw-r--r-- 581 root root /usr/lib/pl-5.6.55/doc/packages/examples/http/demo_threads.pl
-rw-r--r-- 1481 root root /usr/lib/pl-5.6.55/doc/packages/examples/http/demo_xpce.pl
-rw-r--r-- 1198 root root /usr/lib/pl-5.6.55/doc/packages/examples/pldoc/README
-rw-r--r-- 3488 root root /usr/lib/pl-5.6.55/doc/packages/examples/pldoc/doc_log.pl
-rwxr-xr-x 464 root root /usr/lib/pl-5.6.55/doc/packages/examples/pldoc/man_server.pl
-rw-r--r-- 322 root root /usr/lib/pl-5.6.55/doc/packages/examples/plunit/read.pl
-rw-r--r-- 435 root root /usr/lib/pl-5.6.55/doc/packages/examples/plunit/simple.pl
-rw-r--r-- 2306 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/client.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc
-rw-r--r-- 2472 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/https.pl
-rw-r--r-- 2675 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/server.pl
-rw-r--r-- 329 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/Makefile
-rw-r--r-- 1305 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/README
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/client
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/server
-rw-r--r-- 3417 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/client/client-cert.pem
-rw-r--r-- 963 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/client/client-key.pem
-rw-r--r-- 3367 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/cacert.pem
-rw-r--r-- 737 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/careq.pem
-rw-r--r-- 332 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/index.txt
-rw-r--r-- 20 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/index.txt.attr
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/newcerts
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/private
-rw-r--r-- 17 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/serial
-rw-r--r-- 3367 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A6C.pem
-rw-r--r-- 3417 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A6D.pem
-rw-r--r-- 3417 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A6E.pem
-rw-r--r-- 963 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem
-rw-r--r-- 3417 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/server/server-cert.pem
-rw-r--r-- 963 root root /usr/lib/pl-5.6.55/doc/packages/examples/ssl/etc/server/server-key.pem
-rw-r--r-- 235 root root /usr/lib/pl-5.6.55/dotfiles/README
-rw-r--r-- 3101 root root /usr/lib/pl-5.6.55/dotfiles/dotplrc
-rw-r--r-- 1497 root root /usr/lib/pl-5.6.55/dotfiles/dotxpcerc
-rwxr-xr-x 1003 root root /usr/lib/pl-5.6.55/dotfiles/edit
-rw-r--r-- 36836 root root /usr/lib/pl-5.6.55/include/SWI-Prolog.h
-rw-r--r-- 14026 root root /usr/lib/pl-5.6.55/include/SWI-Stream.h
-rw-r--r-- 17965 root root /usr/lib/pl-5.6.55/include/SWI-cpp.h
-rw-r--r-- 2767 root root /usr/lib/pl-5.6.55/include/stub.c
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu
-rwxr-xr-x 13152 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/cgi.so
-rwxr-xr-x 15248 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/crypt.so
-rwxr-xr-x 16848 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/double_metaphone.so
-rwxr-xr-x 9616 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/files.so
-rwxr-xr-x 11160 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/http_stream.so
-rwxr-xr-x 5656 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/json.so
-rw-r--r--6046484 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/libpl.a
-rwxr-xr-x 15144 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/memfile.so
-rwxr-xr-x 33952 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/mime.so
-rwxr-xr-x 49288 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/odbc4pl.so
-rwxr-xr-x 15424 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/porter_stem.so
-rwxr-xr-x 16408 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/process.so
-rwxr-xr-x 5888 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/random.so
-rwxr-xr-x127736 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/rdf_db.so
-rwxr-xr-x 5912 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/readutil.so
-rwxr-xr-x 8712 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/rlimit.so
-rwxr-xr-x132024 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/sgml2pl.so
-rwxr-xr-x 33376 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/sha4pl.so
-rwxr-xr-x 27904 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/socket.so
-rwxr-xr-x 45024 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/ssl4pl.so
-rwxr-xr-x 31584 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/table.so
-rwxr-xr-x 17808 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/time.so
-rwxr-xr-x 15120 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/unix.so
-rwxr-xr-x 13400 root root /usr/lib/pl-5.6.55/lib/x86_64-linux-gnu/zlib4pl.so
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/DTD
-rw-r--r-- 29644 root root /usr/lib/pl-5.6.55/library/INDEX.pl
-rw-r--r--1023712 root root /usr/lib/pl-5.6.55/library/MANUAL
-rw-r--r-- 18644 root root /usr/lib/pl-5.6.55/library/aggregate.pl
-rw-r--r-- 4824 root root /usr/lib/pl-5.6.55/library/am_match.pl
-rw-r--r-- 4371 root root /usr/lib/pl-5.6.55/library/apply.pl
-rw-r--r-- 5604 root root /usr/lib/pl-5.6.55/library/apply_macros.pl
-rw-r--r-- 8707 root root /usr/lib/pl-5.6.55/library/assoc.pl
-rw-r--r-- 9416 root root /usr/lib/pl-5.6.55/library/backcomp.pl
-rw-r--r-- 5615 root root /usr/lib/pl-5.6.55/library/base64.pl
-rw-r--r-- 4513 root root /usr/lib/pl-5.6.55/library/bim.pl
-rw-r--r-- 5315 root root /usr/lib/pl-5.6.55/library/broadcast.pl
-rw-r--r-- 1511 root root /usr/lib/pl-5.6.55/library/cgi.pl
-rw-r--r-- 8875 root root /usr/lib/pl-5.6.55/library/check.pl
-rw-r--r-- 2868 root root /usr/lib/pl-5.6.55/library/checklast.pl
-rw-r--r-- 2788 root root /usr/lib/pl-5.6.55/library/checkselect.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/chr
-rw-r--r-- 12217 root root /usr/lib/pl-5.6.55/library/chr.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/clp
-rw-r--r-- 1602 root root /usr/lib/pl-5.6.55/library/crypt.pl
-rw-r--r-- 3915 root root /usr/lib/pl-5.6.55/library/ctypes.pl
-rw-r--r-- 4099 root root /usr/lib/pl-5.6.55/library/date.pl
-rw-r--r-- 6250 root root /usr/lib/pl-5.6.55/library/debug.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/dialect
-rw-r--r-- 4080 root root /usr/lib/pl-5.6.55/library/dialect.pl
-rw-r--r-- 7161 root root /usr/lib/pl-5.6.55/library/dif.pl
-rw-r--r-- 19453 root root /usr/lib/pl-5.6.55/library/doc_http.pl
-rw-r--r-- 36853 root root /usr/lib/pl-5.6.55/library/doc_latex.pl
-rw-r--r-- 1550 root root /usr/lib/pl-5.6.55/library/double_metaphone.pl
-rw-r--r-- 2693 root root /usr/lib/pl-5.6.55/library/edinburgh.pl
-rw-r--r-- 14494 root root /usr/lib/pl-5.6.55/library/edit.pl
-rw-r--r-- 8186 root root /usr/lib/pl-5.6.55/library/emacs_interface.pl
-rw-r--r-- 7267 root root /usr/lib/pl-5.6.55/library/error.pl
-rw-r--r-- 9973 root root /usr/lib/pl-5.6.55/library/explain.pl
-rw-r--r-- 2424 root root /usr/lib/pl-5.6.55/library/files.pl
-rw-r--r-- 1515 root root /usr/lib/pl-5.6.55/library/filesex.pl
-rw-r--r-- 2611 root root /usr/lib/pl-5.6.55/library/gensym.pl
-rw-r--r-- 7949 root root /usr/lib/pl-5.6.55/library/heaps.pl
-rw-r--r-- 7140 root root /usr/lib/pl-5.6.55/library/help.pl
-rw-r--r-- 96386 root root /usr/lib/pl-5.6.55/library/helpidx.pl
-rw-r--r-- 5859 root root /usr/lib/pl-5.6.55/library/hotfix.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/http
-rw-r--r-- 14298 root root /usr/lib/pl-5.6.55/library/iso_639.pl
-rw-r--r-- 14225 root root /usr/lib/pl-5.6.55/library/listing.pl
-rw-r--r-- 9504 root root /usr/lib/pl-5.6.55/library/lists.pl
-rw-r--r-- 2918 root root /usr/lib/pl-5.6.55/library/main.pl
-rw-r--r-- 2758 root root /usr/lib/pl-5.6.55/library/make.pl
-rw-r--r-- 1858 root root /usr/lib/pl-5.6.55/library/memfile.pl
-rw-r--r-- 2573 root root /usr/lib/pl-5.6.55/library/mime.pl
-rw-r--r-- 7056 root root /usr/lib/pl-5.6.55/library/nb_rbtrees.pl
-rw-r--r-- 3428 root root /usr/lib/pl-5.6.55/library/nb_set.pl
-rw-r--r-- 3776 root root /usr/lib/pl-5.6.55/library/occurs.pl
-rw-r--r-- 8816 root root /usr/lib/pl-5.6.55/library/odbc.pl
-rw-r--r-- 4978 root root /usr/lib/pl-5.6.55/library/operators.pl
-rw-r--r-- 7956 root root /usr/lib/pl-5.6.55/library/option.pl
-rw-r--r-- 8157 root root /usr/lib/pl-5.6.55/library/ordsets.pl
-rw-r--r-- 4817 root root /usr/lib/pl-5.6.55/library/oset.pl
-rw-r--r-- 4718 root root /usr/lib/pl-5.6.55/library/pairs.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/pldoc
-rw-r--r-- 3530 root root /usr/lib/pl-5.6.55/library/pldoc.pl
-rw-r--r-- 38836 root root /usr/lib/pl-5.6.55/library/plunit.pl
-rw-r--r-- 1609 root root /usr/lib/pl-5.6.55/library/porter_stem.pl
-rw-r--r-- 11133 root root /usr/lib/pl-5.6.55/library/process.pl
-rw-r--r-- 19595 root root /usr/lib/pl-5.6.55/library/prolog_clause.pl
-rw-r--r-- 3777 root root /usr/lib/pl-5.6.55/library/prolog_server.pl
-rw-r--r-- 8197 root root /usr/lib/pl-5.6.55/library/prolog_source.pl
-rw-r--r-- 5800 root root /usr/lib/pl-5.6.55/library/prolog_stack.pl
-rw-r--r-- 42505 root root /usr/lib/pl-5.6.55/library/prolog_xref.pl
-rw-r--r-- 14526 root root /usr/lib/pl-5.6.55/library/qpforeign.pl
-rw-r--r-- 17040 root root /usr/lib/pl-5.6.55/library/qsave.pl
-rw-r--r-- 10566 root root /usr/lib/pl-5.6.55/library/quintus.pl
-rw-r--r-- 3819 root root /usr/lib/pl-5.6.55/library/random.pl
-rw-r--r-- 25474 root root /usr/lib/pl-5.6.55/library/rbtrees.pl
-rw-r--r-- 12215 root root /usr/lib/pl-5.6.55/library/rdf.pl
-rw-r--r-- 5757 root root /usr/lib/pl-5.6.55/library/rdf_ntriples.pl
-rw-r--r-- 18634 root root /usr/lib/pl-5.6.55/library/rdf_parser.pl
-rw-r--r-- 11158 root root /usr/lib/pl-5.6.55/library/rdf_triple.pl
-rw-r--r-- 18580 root root /usr/lib/pl-5.6.55/library/rdf_write.pl
-rw-r--r-- 6253 root root /usr/lib/pl-5.6.55/library/readln.pl
-rw-r--r-- 7493 root root /usr/lib/pl-5.6.55/library/readutil.pl
-rw-r--r-- 10637 root root /usr/lib/pl-5.6.55/library/record.pl
-rw-r--r-- 3007 root root /usr/lib/pl-5.6.55/library/rewrite.pl
-rw-r--r-- 1865 root root /usr/lib/pl-5.6.55/library/rlimit.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/semweb
-rw-r--r-- 18313 root root /usr/lib/pl-5.6.55/library/settings.pl
-rw-r--r-- 10882 root root /usr/lib/pl-5.6.55/library/sgml.pl
-rw-r--r-- 22581 root root /usr/lib/pl-5.6.55/library/sgml_write.pl
-rw-r--r-- 1958 root root /usr/lib/pl-5.6.55/library/sha.pl
-rw-r--r-- 5589 root root /usr/lib/pl-5.6.55/library/shell.pl
-rw-r--r-- 9388 root root /usr/lib/pl-5.6.55/library/shlib.pl
-rw-r--r-- 3112 root root /usr/lib/pl-5.6.55/library/socket.pl
-rw-r--r-- 4073 root root /usr/lib/pl-5.6.55/library/sort.pl
-rw-r--r-- 1690 root root /usr/lib/pl-5.6.55/library/ssl.pl
-rw-r--r-- 7704 root root /usr/lib/pl-5.6.55/library/statistics.pl
-rw-r--r-- 3321 root root /usr/lib/pl-5.6.55/library/streampool.pl
-rw-r--r-- 2977 root root /usr/lib/pl-5.6.55/library/system.pl
-rw-r--r-- 1880 root root /usr/lib/pl-5.6.55/library/table.pl
-rw-r--r-- 6202 root root /usr/lib/pl-5.6.55/library/table_util.pl
-rw-r--r-- 7542 root root /usr/lib/pl-5.6.55/library/test_cover.pl
-rw-r--r-- 5518 root root /usr/lib/pl-5.6.55/library/test_wizard.pl
-rw-r--r-- 12032 root root /usr/lib/pl-5.6.55/library/thread.pl
-rw-r--r-- 6110 root root /usr/lib/pl-5.6.55/library/threadutil.pl
-rw-r--r-- 4353 root root /usr/lib/pl-5.6.55/library/time.pl
-rw-r--r-- 7996 root root /usr/lib/pl-5.6.55/library/tty.pl
-rw-r--r-- 15183 root root /usr/lib/pl-5.6.55/library/ugraphs.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/unicode
-rw-r--r-- 2035 root root /usr/lib/pl-5.6.55/library/unix.pl
-rw-r--r-- 23191 root root /usr/lib/pl-5.6.55/library/url.pl
-rw-r--r-- 3983 root root /usr/lib/pl-5.6.55/library/utf8.pl
-rw-r--r-- 5174 root root /usr/lib/pl-5.6.55/library/when.pl
-rw-r--r-- 6408 root root /usr/lib/pl-5.6.55/library/www_browser.pl
-rw-r--r-- 7261 root root /usr/lib/pl-5.6.55/library/xsdp_types.pl
-rw-r--r-- 2506 root root /usr/lib/pl-5.6.55/library/zlib.pl
-rw-r--r-- 2878 root root /usr/lib/pl-5.6.55/library/DTD/HTML4.dcl
-rw-r--r-- 45643 root root /usr/lib/pl-5.6.55/library/DTD/HTML4.dtd
-rw-r--r-- 224 root root /usr/lib/pl-5.6.55/library/DTD/HTML4.soc
-rw-r--r-- 12023 root root /usr/lib/pl-5.6.55/library/DTD/HTMLlat1.ent
-rw-r--r-- 4116 root root /usr/lib/pl-5.6.55/library/DTD/HTMLspec.ent
-rw-r--r-- 14446 root root /usr/lib/pl-5.6.55/library/DTD/HTMLsym.ent
-rw-r--r-- 1289 root root /usr/lib/pl-5.6.55/library/chr/README
-rw-r--r-- 1465 root root /usr/lib/pl-5.6.55/library/chr/a_star.pl
-rw-r--r-- 2125 root root /usr/lib/pl-5.6.55/library/chr/binomialheap.pl
-rw-r--r-- 22228 root root /usr/lib/pl-5.6.55/library/chr/builtins.pl
-rw-r--r-- 6147 root root /usr/lib/pl-5.6.55/library/chr/chr_compiler_errors.pl
-rw-r--r-- 13039 root root /usr/lib/pl-5.6.55/library/chr/chr_compiler_options.pl
-rw-r--r-- 7821 root root /usr/lib/pl-5.6.55/library/chr/chr_compiler_utility.pl
-rw-r--r-- 2021 root root /usr/lib/pl-5.6.55/library/chr/chr_debug.pl
-rw-r--r-- 9467 root root /usr/lib/pl-5.6.55/library/chr/chr_hashtable_store.pl
-rw-r--r-- 3605 root root /usr/lib/pl-5.6.55/library/chr/chr_integertable_store.pl
-rw-r--r-- 3979 root root /usr/lib/pl-5.6.55/library/chr/chr_messages.pl
-rw-r--r-- 1922 root root /usr/lib/pl-5.6.55/library/chr/chr_op.pl
-rw-r--r-- 24440 root root /usr/lib/pl-5.6.55/library/chr/chr_runtime.pl
-rw-r--r-- 5352 root root /usr/lib/pl-5.6.55/library/chr/chr_support.so
-rw-r--r--642575 root root /usr/lib/pl-5.6.55/library/chr/chr_translate.pl
-rw-r--r-- 5405 root root /usr/lib/pl-5.6.55/library/chr/clean_code.pl
-rw-r--r-- 2516 root root /usr/lib/pl-5.6.55/library/chr/find.pl
-rw-r--r--474288 root root /usr/lib/pl-5.6.55/library/chr/guard_entailment.pl
-rw-r--r-- 4615 root root /usr/lib/pl-5.6.55/library/chr/hprolog.pl
-rw-r--r-- 2554 root root /usr/lib/pl-5.6.55/library/chr/listmap.pl
-rw-r--r-- 1965 root root /usr/lib/pl-5.6.55/library/chr/pairlist.pl
-rw-r--r-- 39074 root root /usr/lib/pl-5.6.55/library/clp/bounds.pl
-rw-r--r-- 6317 root root /usr/lib/pl-5.6.55/library/clp/clp_distinct.pl
-rw-r--r-- 2498 root root /usr/lib/pl-5.6.55/library/clp/clp_events.pl
-rw-r--r--128807 root root /usr/lib/pl-5.6.55/library/clp/clpfd.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/clp/clpq
-rw-r--r-- 3663 root root /usr/lib/pl-5.6.55/library/clp/clpq.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/clp/clpqr
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/clp/clpr
-rw-r--r-- 3778 root root /usr/lib/pl-5.6.55/library/clp/clpr.pl
-rw-r--r-- 39305 root root /usr/lib/pl-5.6.55/library/clp/simplex.pl
-rw-r--r-- 6398 root root /usr/lib/pl-5.6.55/library/clp/clpq/bb_q.pl
-rw-r--r-- 48326 root root /usr/lib/pl-5.6.55/library/clp/clpq/bv_q.pl
-rw-r--r-- 13150 root root /usr/lib/pl-5.6.55/library/clp/clpq/fourmotz_q.pl
-rw-r--r-- 35846 root root /usr/lib/pl-5.6.55/library/clp/clpq/ineq_q.pl
-rw-r--r-- 6250 root root /usr/lib/pl-5.6.55/library/clp/clpq/itf_q.pl
-rw-r--r-- 25057 root root /usr/lib/pl-5.6.55/library/clp/clpq/nf_q.pl
-rw-r--r-- 10710 root root /usr/lib/pl-5.6.55/library/clp/clpq/store_q.pl
-rw-r--r-- 699 root root /usr/lib/pl-5.6.55/library/clp/clpqr/README
-rw-r--r-- 4809 root root /usr/lib/pl-5.6.55/library/clp/clpqr/class.pl
-rw-r--r-- 8562 root root /usr/lib/pl-5.6.55/library/clp/clpqr/dump.pl
-rw-r--r-- 5440 root root /usr/lib/pl-5.6.55/library/clp/clpqr/geler.pl
-rw-r--r-- 3604 root root /usr/lib/pl-5.6.55/library/clp/clpqr/itf.pl
-rw-r--r-- 4786 root root /usr/lib/pl-5.6.55/library/clp/clpqr/ordering.pl
-rw-r--r-- 7836 root root /usr/lib/pl-5.6.55/library/clp/clpqr/project.pl
-rw-r--r-- 7614 root root /usr/lib/pl-5.6.55/library/clp/clpqr/redund.pl
-rw-r--r-- 7301 root root /usr/lib/pl-5.6.55/library/clp/clpr/bb_r.pl
-rw-r--r-- 49616 root root /usr/lib/pl-5.6.55/library/clp/clpr/bv_r.pl
-rw-r--r-- 13279 root root /usr/lib/pl-5.6.55/library/clp/clpr/fourmotz_r.pl
-rw-r--r-- 40942 root root /usr/lib/pl-5.6.55/library/clp/clpr/ineq_r.pl
-rw-r--r-- 6456 root root /usr/lib/pl-5.6.55/library/clp/clpr/itf_r.pl
-rw-r--r-- 26074 root root /usr/lib/pl-5.6.55/library/clp/clpr/nf_r.pl
-rw-r--r-- 11438 root root /usr/lib/pl-5.6.55/library/clp/clpr/store_r.pl
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/dialect/iso
drwxr-xr-x 4096 root root /usr/lib/pl-5.6.55/library/dialect/yap
-rw-r--r-- 5325 root root /usr/lib/pl-5.6.55/library/dialect/yap.pl
-rw-r--r-- 8064 root root /usr/lib/pl-5.6.55/library/dialect/iso/iso_predicates.pl
-rw-r--r-- 351 root root /usr/lib/pl-5.6.55/library/dialect/yap/README.TXT
-rw-r--r-- 465 root root /usr/lib/pl-5.6.55/library/http/README
-rw-r--r-- 7931 root root /usr/lib/pl-5.6.55/library/http/dcg_basics.pl
-rw-r--r-- 29958 root root /usr/lib/pl-5.6.55/library/http/html_write.pl
-rw-r--r-- 6872 root root /usr/lib/pl-5.6.55/library/http/http_authenticate.pl
-rw-r--r-- 11930 root root /usr/lib/pl-5.6.55/library/http/http_client.pl
-rw-r--r-- 14400 root root /usr/lib/pl-5.6.55/library/http/http_dispatch.pl
-rw-r--r-- 3145 root root /usr/lib/pl-5.6.55/library/http/http_error.pl
-rw-r--r-- 27647 root root /usr/lib/pl-5.6.55/library/http/http_header.pl
-rw-r--r-- 5831 root root /usr/lib/pl-5.6.55/library/http/http_json.pl
-rw-r--r-- 2804 root root /usr/lib/pl-5.6.55/library/http/http_mime_plugin.pl
-rw-r--r-- 13264 root root /usr/lib/pl-5.6.55/library/http/http_open.pl
-rw-r--r-- 7352 root root /usr/lib/pl-5.6.55/library/http/http_parameters.pl
-rw-r--r-- 8557 root root /usr/lib/pl-5.6.55/library/http/http_session.pl
-rw-r--r-- 4009 root root /usr/lib/pl-5.6.55/library/http/http_sgml_plugin.pl
-rw-r--r-- 2333 root root /usr/lib/pl-5.6.55/library/http/http_ssl_plugin.pl
-rw-r--r-- 5412 root root /usr/lib/pl-5.6.55/library/http/http_stream.pl
-rw-r--r-- 9378 root root /usr/lib/pl-5.6.55/library/http/http_wrapper.pl
-rw-r--r-- 2408 root root /usr/lib/pl-5.6.55/library/http/inetd_httpd.pl
-rw-r--r-- 18527 root root /usr/lib/pl-5.6.55/library/http/json.pl
-rw-r--r-- 16691 root root /usr/lib/pl-5.6.55/library/http/json_convert.pl
-rw-r--r-- 4912 root root /usr/lib/pl-5.6.55/library/http/mimepack.pl
-rw-r--r-- 3805 root root /usr/lib/pl-5.6.55/library/http/mimetype.pl
-rw-r--r-- 13922 root root /usr/lib/pl-5.6.55/library/http/thread_httpd.pl
-rw-r--r-- 9303 root root /usr/lib/pl-5.6.55/library/http/xpce_httpd.pl
-rw-r--r-- 36575 root root /usr/lib/pl-5.6.55/library/pldoc/doc_colour.pl
-rw-r--r-- 36550 root root /usr/lib/pl-5.6.55/library/pldoc/doc_html.pl
-rw-r--r-- 14022 root root /usr/lib/pl-5.6.55/library/pldoc/doc_htmlsrc.pl
-rw-r--r-- 10501 root root /usr/lib/pl-5.6.55/library/pldoc/doc_index.pl
-rw-r--r-- 2858 root root /usr/lib/pl-5.6.55/library/pldoc/doc_library.pl
-rw-r--r-- 18551 root root /usr/lib/pl-5.6.55/library/pldoc/doc_man.pl
-rw-r--r-- 12313 root root /usr/lib/pl-5.6.55/library/pldoc/doc_modes.pl
-rw-r--r-- 8919 root root /usr/lib/pl-5.6.55/library/pldoc/doc_process.pl
-rw-r--r-- 3518 root root /usr/lib/pl-5.6.55/library/pldoc/doc_register.pl
-rw-r--r-- 11591 root root /usr/lib/pl-5.6.55/library/pldoc/doc_search.pl
-rw-r--r-- 2865 root root /usr/lib/pl-5.6.55/library/pldoc/doc_util.pl
-rw-r--r-- 27646 root root /usr/lib/pl-5.6.55/library/pldoc/doc_wiki.pl
-rw-r--r-- 2244 root root /usr/lib/pl-5.6.55/library/pldoc/edit.gif
-rw-r--r-- 1406 root root /usr/lib/pl-5.6.55/library/pldoc/favicon.ico
-rw-r--r-- 1680 root root /usr/lib/pl-5.6.55/library/pldoc/hooks.pl
-rw-r--r-- 3701 root root /usr/lib/pl-5.6.55/library/pldoc/pldoc.css
-rw-r--r-- 1142 root root /usr/lib/pl-5.6.55/library/pldoc/pldoc.js
-rw-r--r-- 15389 root root /usr/lib/pl-5.6.55/library/pldoc/pldoc.sty
-rw-r--r-- 2316 root root /usr/lib/pl-5.6.55/library/pldoc/pllisting.css
-rw-r--r-- 222 root root /usr/lib/pl-5.6.55/library/pldoc/reload.gif
-rw-r--r-- 1225 root root /usr/lib/pl-5.6.55/library/pldoc/source.gif
-rw-r--r-- 1214 root root /usr/lib/pl-5.6.55/library/pldoc/up.gif
-rw-r--r-- 627 root root /usr/lib/pl-5.6.55/library/pldoc/zoomin.gif
-rw-r--r-- 626 root root /usr/lib/pl-5.6.55/library/pldoc/zoomout.gif
-rw-r--r-- 1097 root root /usr/lib/pl-5.6.55/library/semweb/README
-rw-r--r-- 8461 root root /usr/lib/pl-5.6.55/library/semweb/dc.rdfs
-rw-r--r-- 3128 root root /usr/lib/pl-5.6.55/library/semweb/eor.rdfs
-rw-r--r-- 8674 root root /usr/lib/pl-5.6.55/library/semweb/owl.owl
-rw-r--r-- 6445 root root /usr/lib/pl-5.6.55/library/semweb/rdf_cache.pl
-rw-r--r-- 52643 root root /usr/lib/pl-5.6.55/library/semweb/rdf_db.pl
-rw-r--r-- 29462 root root /usr/lib/pl-5.6.55/library/semweb/rdf_edit.pl
-rw-r--r-- 3561 root root /usr/lib/pl-5.6.55/library/semweb/rdf_http_plugin.pl
-rw-r--r-- 18093 root root /usr/lib/pl-5.6.55/library/semweb/rdf_litindex.pl
-rw-r--r-- 30377 root root /usr/lib/pl-5.6.55/library/semweb/rdf_persistency.pl
-rw-r--r-- 20687 root root /usr/lib/pl-5.6.55/library/semweb/rdf_turtle.pl
-rw-r--r-- 2232 root root /usr/lib/pl-5.6.55/library/semweb/rdf_zlib_plugin.pl
-rw-r--r-- 14386 root root /usr/lib/pl-5.6.55/library/semweb/rdfs.pl
-rw-r--r-- 10483 root root /usr/lib/pl-5.6.55/library/semweb/rdfs.rdfs
-rw-r--r-- 8578 root root /usr/lib/pl-5.6.55/library/unicode/blocks.pl
-rw-r--r-- 4685 root root /usr/lib/pl-5.6.55/library/unicode/unicode_data.pl
drwxr-xr-x 4096 root root /usr/share/doc/swi-prolog
-rw-r--r-- 4789 root root /usr/share/doc/swi-prolog/ANNOUNCE
-rw-r--r-- 1186 root root /usr/share/doc/swi-prolog/LSM
-rw-r--r-- 3706 root root /usr/share/doc/swi-prolog/PORTING
-rw-r--r-- 7121 root root /usr/share/doc/swi-prolog/README
-rw-r--r-- 7 root root /usr/share/doc/swi-prolog/VERSION
-rw-r--r-- 4647 root root /usr/share/man/man1/pl.1.lzma
-rw-r--r-- 2710 root root /usr/share/man/man1/plld.1.lzma
-rw-r--r-- 735 root root /usr/share/man/man1/plrc.1.lzma