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.51
|
-rw-r--r-- | 2401 | root |
root |
/usr/lib/pl-5.6.51/Makefile
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/bin
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/boot
|
-rw-r--r-- | 92348 | root |
root |
/usr/lib/pl-5.6.51/boot64.prc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/demo
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/dotfiles
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/include
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/lib
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/man
|
-rw-r--r-- | 2296 | root |
root |
/usr/lib/pl-5.6.51/pl.rc
|
-rw-r--r-- | 2 | root |
root |
/usr/lib/pl-5.6.51/swipl
|
-rw-r--r-- | 3 | root |
root |
/usr/lib/pl-5.6.51/bin/swipl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/bin/x86_64-linux-gnu
|
-rwxr-xr-x | 756608 | root |
root |
/usr/lib/pl-5.6.51/bin/x86_64-linux-gnu/pl
|
-rwxr-xr-x | 21912 | root |
root |
/usr/lib/pl-5.6.51/bin/x86_64-linux-gnu/plld
|
-rwxr-xr-x | 17936 | root |
root |
/usr/lib/pl-5.6.51/bin/x86_64-linux-gnu/plrc
|
lrwxrwxrwx | 2 | root |
root |
/usr/lib/pl-5.6.51/bin/x86_64-linux-gnu/xpce
|
-rw-r--r-- | 3424 | root |
root |
/usr/lib/pl-5.6.51/boot/apply.pl
|
-rw-r--r-- | 5795 | root |
root |
/usr/lib/pl-5.6.51/boot/attvar.pl
|
-rw-r--r-- | 10231 | root |
root |
/usr/lib/pl-5.6.51/boot/autoload.pl
|
-rw-r--r-- | 5489 | root |
root |
/usr/lib/pl-5.6.51/boot/bags.pl
|
-rw-r--r-- | 11378 | root |
root |
/usr/lib/pl-5.6.51/boot/dwim.pl
|
-rw-r--r-- | 8432 | root |
root |
/usr/lib/pl-5.6.51/boot/history.pl
|
-rw-r--r-- | 62316 | root |
root |
/usr/lib/pl-5.6.51/boot/init.pl
|
-rw-r--r-- | 6426 | root |
root |
/usr/lib/pl-5.6.51/boot/license.pl
|
-rw-r--r-- | 1570 | root |
root |
/usr/lib/pl-5.6.51/boot/load.pl
|
-rw-r--r-- | 29215 | root |
root |
/usr/lib/pl-5.6.51/boot/messages.pl
|
-rw-r--r-- | 2496 | root |
root |
/usr/lib/pl-5.6.51/boot/parms.pl
|
-rw-r--r-- | 2788 | root |
root |
/usr/lib/pl-5.6.51/boot/qlf.pl
|
-rw-r--r-- | 2808 | root |
root |
/usr/lib/pl-5.6.51/boot/rc.pl
|
-rw-r--r-- | 23562 | root |
root |
/usr/lib/pl-5.6.51/boot/syspred.pl
|
-rw-r--r-- | 18681 | root |
root |
/usr/lib/pl-5.6.51/boot/toplevel.pl
|
-rw-r--r-- | 3980 | root |
root |
/usr/lib/pl-5.6.51/boot/topvars.pl
|
-rw-r--r-- | 6240 | root |
root |
/usr/lib/pl-5.6.51/boot/writef.pl
|
-rw-r--r-- | 1051 | root |
root |
/usr/lib/pl-5.6.51/demo/README
|
-rw-r--r-- | 750 | root |
root |
/usr/lib/pl-5.6.51/demo/likes.pl
|
drwxr-xr-x | 8192 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages
|
-rw-r--r-- | 8470 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/64bits.html
|
-rw-r--r-- | 7171 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/Bibliography.html
|
-rw-r--r-- | 67660 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/Contents.html
|
-rw-r--r-- | 4970 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/DCG.html
|
-rw-r--r-- | 8972 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/DDE.html
|
-rw-r--r-- | 9144 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/DLL.html
|
-rw-r--r-- | 203400 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/DocIndex.html
|
-rw-r--r-- | 7382 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/IDE.html
|
-rw-r--r-- | 40129 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/IO.html
|
-rw-r--r-- | 9610 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/SyntaxAndSemantics.html
|
-rw-r--r-- | 5003 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/acknowledge.html
|
-rw-r--r-- | 11007 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/aggregate.html
|
-rw-r--r-- | 5702 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/allsolutions.html
|
-rw-r--r-- | 4893 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/apply.html
|
-rw-r--r-- | 4539 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/applylist.html
|
-rw-r--r-- | 34103 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/arith.html
|
-rw-r--r-- | 6524 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/assoc.html
|
-rw-r--r-- | 10833 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/attvar.html
|
-rw-r--r-- | 9012 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/autoload.html
|
-rw-r--r-- | 4848 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/block3.html
|
-rw-r--r-- | 8162 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/broadcast.html
|
-rw-r--r-- | 15644 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/builtin.html
|
-rw-r--r-- | 8606 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/builtinlist.html
|
-rw-r--r-- | 3846 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/charconv.html
|
-rw-r--r-- | 17809 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/chario.html
|
-rw-r--r-- | 6537 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/chars.html
|
-rw-r--r-- | 12052 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/chartype.html
|
-rw-r--r-- | 5873 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/check.html
|
-rw-r--r-- | 6529 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/chr.html
|
-rw-r--r-- | 4430 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/chrintro.html
|
-rw-r--r-- | 4262 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/clicense.html
|
-rw-r--r-- | 14798 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/clpbounds.html
|
-rw-r--r-- | 5179 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/clpclp_distinct.html
|
-rw-r--r-- | 17148 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/clpfd.html
|
-rw-r--r-- | 14741 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/clpqr.html
|
-rw-r--r-- | 13715 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/cmdline.html
|
-rw-r--r-- | 13381 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/compare.html
|
-rw-r--r-- | 10397 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/compilation.html
|
-rw-r--r-- | 46975 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/consulting.html
|
-rw-r--r-- | 3001 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/contrib.html
|
-rw-r--r-- | 8996 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/control.html
|
-rw-r--r-- | 7889 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/coroutining.html
|
-rw-r--r-- | 5302 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/cyclic.html
|
-rw-r--r-- | 16542 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/db.html
|
-rw-r--r-- | 6962 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/debug.html
|
-rw-r--r-- | 13142 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/debugger.html
|
-rw-r--r-- | 8980 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/debugging.html
|
-rw-r--r-- | 12020 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/debugoverview.html
|
-rw-r--r-- | 3367 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/defmodule.html
|
-rw-r--r-- | 7999 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/dialect.html
|
-rw-r--r-- | 4173 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/dynamic-modules.html
|
-rw-r--r-- | 9884 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/dynamic.html
|
-rw-r--r-- | 5126 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/dynstatic.html
|
-rw-r--r-- | 6187 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/editreload.html
|
-rw-r--r-- | 4989 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/errors.html
|
-rw-r--r-- | 14670 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/examineprog.html
|
-rw-r--r-- | 4266 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/examples.html
|
-rw-r--r-- | 5976 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/excepthook.html
|
-rw-r--r-- | 16762 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/exception.html
|
-rw-r--r-- | 5348 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/exception3.html
|
-rw-r--r-- | 4586 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/extendarith.html
|
-rw-r--r-- | 3527 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/extvar.html
|
-rw-r--r-- | 17548 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/files.html
|
-rw-r--r-- | 4575 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/findappfile.html
|
-rw-r--r-- | 4151 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/findhome.html
|
-rw-r--r-- | 42597 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/flags.html
|
-rw-r--r-- | 3058 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/forall2.html
|
-rw-r--r-- | 13915 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/foreign.html
|
-rw-r--r-- | 133858 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/foreigninclude.html
|
-rw-r--r-- | 5503 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/foreignlink.html
|
-rw-r--r-- | 8597 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/foreignnotes.html
|
-rw-r--r-- | 3370 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/foreignoverview.html
|
-rw-r--r-- | 12027 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/foreignthread.html
|
-rw-r--r-- | 11289 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/foreigntypes.html
|
-rw-r--r-- | 4267 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/foreignxmp.html
|
-rw-r--r-- | 17717 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/format.html
|
-rw-r--r-- | 2810 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/gc.html
|
-rw-r--r-- | 3476 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/gemacs.html
|
-rw-r--r-- | 4159 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/gensym.html
|
-rw-r--r-- | 28514 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/glossary.html
|
-rw-r--r-- | 4390 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/guidelines.html
|
-rw-r--r-- | 5880 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/guitracer.html
|
-rw-r--r-- | 9987 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/gvar.html
|
-rw-r--r-- | 4118 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/hack.html
|
-rw-r--r-- | 7056 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/help.html
|
-rw-r--r-- | 4138 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/history.html
|
-rw-r--r-- | 425 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/home.gif
|
-rw-r--r-- | 6494 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/hooks.html
|
-rw-r--r-- | 4495 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/idepreds.html
|
-rw-r--r-- | 4811 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/idesummary.html
|
-rw-r--r-- | 8172 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/import.html
|
-rw-r--r-- | 344 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/index.gif
|
-rw-r--r-- | 4295 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/index.html
|
-rw-r--r-- | 273 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/info.gif
|
-rw-r--r-- | 4596 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/initfile.html
|
-rw-r--r-- | 4225 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/initgoal.html
|
-rw-r--r-- | 6925 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/intlibs.html
|
-rw-r--r-- | 7515 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/intro.html
|
-rw-r--r-- | 3504 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/iso.html
|
-rw-r--r-- | 11072 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/libpl.html
|
-rw-r--r-- | 31079 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/library.html
|
-rw-r--r-- | 8733 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/license.html
|
-rw-r--r-- | 10600 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/limits.html
|
-rw-r--r-- | 11194 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/listing.html
|
-rw-r--r-- | 10578 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/lists.html
|
-rw-r--r-- | 4452 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/loadfilehook.html
|
-rw-r--r-- | 13807 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/manipatom.html
|
-rw-r--r-- | 9669 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/manipmodule.html
|
-rw-r--r-- | 9734 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/manipstack.html
|
-rw-r--r-- | 15380 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/manipterm.html
|
-rw-r--r-- | 6604 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/memory.html
|
-rw-r--r-- | 12230 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/metacall.html
|
-rw-r--r-- | 6801 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/metainmodule.html
|
-rw-r--r-- | 5694 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/miscpreds.html
|
-rw-r--r-- | 7365 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/modulecompat.html
|
-rw-r--r-- | 5062 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/modules.html
|
-rw-r--r-- | 2818 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/navigator.html
|
-rw-r--r-- | 5825 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/nbset.html
|
-rw-r--r-- | 4121 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/netscape.html
|
-rw-r--r-- | 297 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/next.gif
|
-rw-r--r-- | 9297 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/operators.html
|
-rw-r--r-- | 6816 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/option.html
|
-rw-r--r-- | 6637 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/ordsets.html
|
-rw-r--r-- | 9777 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/overview.html
|
-rw-r--r-- | 5580 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/pairs.html
|
-rw-r--r-- | 15551 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/pceemacs.html
|
-rw-r--r-- | 11231 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/plld.html
|
-rw-r--r-- | 9245 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/portabilitystrategies.html
|
-rw-r--r-- | 11669 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/practical.html
|
-rw-r--r-- | 5735 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/preddesc.html
|
-rw-r--r-- | 297 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/prev.gif
|
-rw-r--r-- | 13633 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/profile.html
|
-rw-r--r-- | 13378 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/profnode.gif
|
-rw-r--r-- | 12243 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/projectfiles.html
|
-rw-r--r-- | 8515 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/prologxref.html
|
-rw-r--r-- | 4077 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/protocol.html
|
-rw-r--r-- | 5240 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/qsaveforeign.html
|
-rw-r--r-- | 3657 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/qsavelimits.html
|
-rw-r--r-- | 6313 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/quickstart.html
|
-rw-r--r-- | 4035 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/readline.html
|
-rw-r--r-- | 6951 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/readutil.html
|
-rw-r--r-- | 8007 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/record.html
|
-rw-r--r-- | 6635 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/registry.html
|
-rw-r--r-- | 23499 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/relnotes.html
|
-rw-r--r-- | 5288 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/runenv.html
|
-rw-r--r-- | 12743 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/runtime.html
|
-rw-r--r-- | 5766 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/sicstus-chr.html
|
-rw-r--r-- | 9055 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/signal.html
|
-rw-r--r-- | 11985 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/simplex.html
|
-rw-r--r-- | 7456 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/softlicense.html
|
-rw-r--r-- | 2919 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/sponsor.html
|
-rw-r--r-- | 8378 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/statistics.html
|
-rw-r--r-- | 3158 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/status.html
|
-rw-r--r-- | 7861 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/streamstat.html
|
-rw-r--r-- | 7385 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/strings.html
|
-rw-r--r-- | 5626 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/swiorother.html
|
-rw-r--r-- | 6636 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/swiprolog.html
|
-rw-r--r-- | 14427 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/syntax.html
|
-rw-r--r-- | 31641 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/system.html
|
-rw-r--r-- | 24785 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/termrw.html
|
-rw-r--r-- | 6861 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/thmonitor.html
|
-rw-r--r-- | 15717 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/threadcom.html
|
-rw-r--r-- | 12354 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/threadcreate.html
|
-rw-r--r-- | 7223 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/threads.html
|
-rw-r--r-- | 9355 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/threadsync.html
|
-rw-r--r-- | 8983 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/thutil.html
|
-rw-r--r-- | 7996 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/toplevel.html
|
-rw-r--r-- | 3667 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/topvars.html
|
-rw-r--r-- | 7426 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/tracehook.html
|
-rw-r--r-- | 5983 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/tty.html
|
-rw-r--r-- | 8063 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/typetest.html
|
-rw-r--r-- | 11160 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/ugraphs.html
|
-rw-r--r-- | 280 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/up.gif
|
-rw-r--r-- | 9267 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/url.html
|
-rw-r--r-- | 6330 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/usemodules.html
|
-rw-r--r-- | 9211 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/useresource.html
|
-rw-r--r-- | 4503 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/usingmodules.html
|
-rw-r--r-- | 5034 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/whichmodules.html
|
-rw-r--r-- | 3635 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/whymodules.html
|
-rw-r--r-- | 10733 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/widechars.html
|
-rw-r--r-- | 4129 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/www_browser.html
|
-rw-r--r-- | 8042 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/xref.html
|
-rw-r--r-- | 43403 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/xrefchatdep.gif
|
-rw-r--r-- | 46780 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/xrefchatfile.gif
|
-rw-r--r-- | 400 | root |
root |
/usr/lib/pl-5.6.51/doc/Manual/yellow_pages.gif
|
-rw-r--r-- | 63426 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/clib.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples
|
-rw-r--r-- | 136994 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/http.html
|
-rw-r--r-- | 4037 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/httpserver.gif
|
-rw-r--r-- | 2956 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/index.html
|
-rw-r--r-- | 4985 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/modules.gif
|
-rw-r--r-- | 10320 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/nlp.html
|
-rw-r--r-- | 55655 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/odbc.html
|
-rw-r--r-- | 63296 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/pl2cpp.html
|
-rw-r--r-- | 45832 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/pldoc.html
|
-rw-r--r-- | 32844 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/plunit.html
|
-rw-r--r-- | 24810 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/rdf2pl.html
|
-rw-r--r-- | 151831 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/semweb.html
|
-rw-r--r-- | 75447 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/sgml.html
|
-rw-r--r-- | 15585 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/ssl.html
|
-rw-r--r-- | 28405 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/table.html
|
-rw-r--r-- | 9915 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/zlib.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/http
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/pldoc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/plunit
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl
|
-rw-r--r-- | 5879 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/bool.chr
|
-rw-r--r-- | 1349 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/chrdif.chr
|
-rw-r--r-- | 135 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/chrfreeze.chr
|
-rw-r--r-- | 2347 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/family.chr
|
-rw-r--r-- | 515 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/fib.chr
|
-rw-r--r-- | 755 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/fibonacci.chr
|
-rw-r--r-- | 600 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/gcd.chr
|
-rw-r--r-- | 774 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/leq.chr
|
-rw-r--r-- | 3706 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/listdom.chr
|
-rw-r--r-- | 662 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/chr/primes.chr
|
-rw-r--r-- | 2206 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/http/calc.pl
|
-rw-r--r-- | 5636 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/http/demo_body.pl
|
-rw-r--r-- | 4034 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/http/demo_client.pl
|
-rwxr-xr-x | 434 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/http/demo_inetd
|
-rw-r--r-- | 581 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/http/demo_threads.pl
|
-rw-r--r-- | 1481 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/http/demo_xpce.pl
|
-rw-r--r-- | 1198 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/pldoc/README
|
-rw-r--r-- | 3488 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/pldoc/doc_log.pl
|
-rwxr-xr-x | 464 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/pldoc/man_server.pl
|
-rw-r--r-- | 322 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/plunit/read.pl
|
-rw-r--r-- | 435 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/plunit/simple.pl
|
-rw-r--r-- | 2306 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/client.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc
|
-rw-r--r-- | 2472 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/https.pl
|
-rw-r--r-- | 2675 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/server.pl
|
-rw-r--r-- | 329 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/Makefile
|
-rw-r--r-- | 1305 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/README
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/client
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/server
|
-rw-r--r-- | 3417 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/client/client-cert.pem
|
-rw-r--r-- | 963 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/client/client-key.pem
|
-rw-r--r-- | 3367 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/cacert.pem
|
-rw-r--r-- | 737 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/careq.pem
|
-rw-r--r-- | 332 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/index.txt
|
-rw-r--r-- | 20 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/index.txt.attr
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/newcerts
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/private
|
-rw-r--r-- | 17 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/serial
|
-rw-r--r-- | 3367 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A6C.pem
|
-rw-r--r-- | 3417 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A6D.pem
|
-rw-r--r-- | 3417 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A6E.pem
|
-rw-r--r-- | 963 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem
|
-rw-r--r-- | 3417 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/server/server-cert.pem
|
-rw-r--r-- | 963 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/ssl/etc/server/server-key.pem
|
-rw-r--r-- | 235 | root |
root |
/usr/lib/pl-5.6.51/dotfiles/README
|
-rw-r--r-- | 3101 | root |
root |
/usr/lib/pl-5.6.51/dotfiles/dotplrc
|
-rw-r--r-- | 1497 | root |
root |
/usr/lib/pl-5.6.51/dotfiles/dotxpcerc
|
-rwxr-xr-x | 1003 | root |
root |
/usr/lib/pl-5.6.51/dotfiles/edit
|
-rw-r--r-- | 36588 | root |
root |
/usr/lib/pl-5.6.51/include/SWI-Prolog.h
|
-rw-r--r-- | 14026 | root |
root |
/usr/lib/pl-5.6.51/include/SWI-Stream.h
|
-rw-r--r-- | 17965 | root |
root |
/usr/lib/pl-5.6.51/include/SWI-cpp.h
|
-rw-r--r-- | 2767 | root |
root |
/usr/lib/pl-5.6.51/include/stub.c
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu
|
-rwxr-xr-x | 13136 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/cgi.so
|
-rwxr-xr-x | 15248 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/crypt.so
|
-rwxr-xr-x | 16848 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/double_metaphone.so
|
-rwxr-xr-x | 9616 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/files.so
|
-rwxr-xr-x | 11160 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/http_stream.so
|
-rwxr-xr-x | 5656 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/json.so
|
-rw-r--r-- | 5995702 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/libpl.a
|
-rwxr-xr-x | 15144 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/memfile.so
|
-rwxr-xr-x | 33952 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/mime.so
|
-rwxr-xr-x | 49288 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/odbc4pl.so
|
-rwxr-xr-x | 15424 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/porter_stem.so
|
-rwxr-xr-x | 5888 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/random.so
|
-rwxr-xr-x | 127600 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/rdf_db.so
|
-rwxr-xr-x | 5912 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/readutil.so
|
-rwxr-xr-x | 8712 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/rlimit.so
|
-rwxr-xr-x | 131864 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/sgml2pl.so
|
-rwxr-xr-x | 33408 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/sha4pl.so
|
-rwxr-xr-x | 27904 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/socket.so
|
-rwxr-xr-x | 45024 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/ssl4pl.so
|
-rwxr-xr-x | 31584 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/table.so
|
-rwxr-xr-x | 17808 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/time.so
|
-rwxr-xr-x | 15120 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/unix.so
|
-rwxr-xr-x | 13400 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/zlib4pl.so
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/DTD
|
-rw-r--r-- | 30412 | root |
root |
/usr/lib/pl-5.6.51/library/INDEX.pl
|
-rw-r--r-- | 1026805 | root |
root |
/usr/lib/pl-5.6.51/library/MANUAL
|
-rw-r--r-- | 17789 | root |
root |
/usr/lib/pl-5.6.51/library/aggregate.pl
|
-rw-r--r-- | 4824 | root |
root |
/usr/lib/pl-5.6.51/library/am_match.pl
|
-rw-r--r-- | 4370 | root |
root |
/usr/lib/pl-5.6.51/library/apply.pl
|
-rw-r--r-- | 5604 | root |
root |
/usr/lib/pl-5.6.51/library/apply_macros.pl
|
-rw-r--r-- | 8215 | root |
root |
/usr/lib/pl-5.6.51/library/assoc.pl
|
-rw-r--r-- | 8726 | root |
root |
/usr/lib/pl-5.6.51/library/backcomp.pl
|
-rw-r--r-- | 5615 | root |
root |
/usr/lib/pl-5.6.51/library/base64.pl
|
-rw-r--r-- | 4500 | root |
root |
/usr/lib/pl-5.6.51/library/bim.pl
|
-rw-r--r-- | 5315 | root |
root |
/usr/lib/pl-5.6.51/library/broadcast.pl
|
-rw-r--r-- | 1511 | root |
root |
/usr/lib/pl-5.6.51/library/cgi.pl
|
-rw-r--r-- | 8829 | root |
root |
/usr/lib/pl-5.6.51/library/check.pl
|
-rw-r--r-- | 2868 | root |
root |
/usr/lib/pl-5.6.51/library/checklast.pl
|
-rw-r--r-- | 2788 | root |
root |
/usr/lib/pl-5.6.51/library/checkselect.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/chr
|
-rw-r--r-- | 12217 | root |
root |
/usr/lib/pl-5.6.51/library/chr.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/clp
|
-rw-r--r-- | 1602 | root |
root |
/usr/lib/pl-5.6.51/library/crypt.pl
|
-rw-r--r-- | 3915 | root |
root |
/usr/lib/pl-5.6.51/library/ctypes.pl
|
-rw-r--r-- | 4099 | root |
root |
/usr/lib/pl-5.6.51/library/date.pl
|
-rw-r--r-- | 6250 | root |
root |
/usr/lib/pl-5.6.51/library/debug.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/dialect
|
-rw-r--r-- | 4080 | root |
root |
/usr/lib/pl-5.6.51/library/dialect.pl
|
-rw-r--r-- | 6050 | root |
root |
/usr/lib/pl-5.6.51/library/dif.pl
|
-rw-r--r-- | 19453 | root |
root |
/usr/lib/pl-5.6.51/library/doc_http.pl
|
-rw-r--r-- | 36853 | root |
root |
/usr/lib/pl-5.6.51/library/doc_latex.pl
|
-rw-r--r-- | 1550 | root |
root |
/usr/lib/pl-5.6.51/library/double_metaphone.pl
|
-rw-r--r-- | 2693 | root |
root |
/usr/lib/pl-5.6.51/library/edinburgh.pl
|
-rw-r--r-- | 14564 | root |
root |
/usr/lib/pl-5.6.51/library/edit.pl
|
-rw-r--r-- | 8186 | root |
root |
/usr/lib/pl-5.6.51/library/emacs_interface.pl
|
-rw-r--r-- | 7267 | root |
root |
/usr/lib/pl-5.6.51/library/error.pl
|
-rw-r--r-- | 9973 | root |
root |
/usr/lib/pl-5.6.51/library/explain.pl
|
-rw-r--r-- | 2424 | root |
root |
/usr/lib/pl-5.6.51/library/files.pl
|
-rw-r--r-- | 1515 | root |
root |
/usr/lib/pl-5.6.51/library/filesex.pl
|
-rw-r--r-- | 2611 | root |
root |
/usr/lib/pl-5.6.51/library/gensym.pl
|
-rw-r--r-- | 7949 | root |
root |
/usr/lib/pl-5.6.51/library/heaps.pl
|
-rw-r--r-- | 7140 | root |
root |
/usr/lib/pl-5.6.51/library/help.pl
|
-rw-r--r-- | 97856 | root |
root |
/usr/lib/pl-5.6.51/library/helpidx.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/http
|
-rw-r--r-- | 14298 | root |
root |
/usr/lib/pl-5.6.51/library/iso_639.pl
|
-rw-r--r-- | 11694 | root |
root |
/usr/lib/pl-5.6.51/library/listing.pl
|
-rw-r--r-- | 9408 | root |
root |
/usr/lib/pl-5.6.51/library/lists.pl
|
-rw-r--r-- | 2918 | root |
root |
/usr/lib/pl-5.6.51/library/main.pl
|
-rw-r--r-- | 2758 | root |
root |
/usr/lib/pl-5.6.51/library/make.pl
|
-rw-r--r-- | 1858 | root |
root |
/usr/lib/pl-5.6.51/library/memfile.pl
|
-rw-r--r-- | 2573 | root |
root |
/usr/lib/pl-5.6.51/library/mime.pl
|
-rw-r--r-- | 7056 | root |
root |
/usr/lib/pl-5.6.51/library/nb_rbtrees.pl
|
-rw-r--r-- | 3428 | root |
root |
/usr/lib/pl-5.6.51/library/nb_set.pl
|
-rw-r--r-- | 3776 | root |
root |
/usr/lib/pl-5.6.51/library/occurs.pl
|
-rw-r--r-- | 8551 | root |
root |
/usr/lib/pl-5.6.51/library/odbc.pl
|
-rw-r--r-- | 4978 | root |
root |
/usr/lib/pl-5.6.51/library/operators.pl
|
-rw-r--r-- | 7956 | root |
root |
/usr/lib/pl-5.6.51/library/option.pl
|
-rw-r--r-- | 5930 | root |
root |
/usr/lib/pl-5.6.51/library/ordsets.pl
|
-rw-r--r-- | 4817 | root |
root |
/usr/lib/pl-5.6.51/library/oset.pl
|
-rw-r--r-- | 4718 | root |
root |
/usr/lib/pl-5.6.51/library/pairs.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc
|
-rw-r--r-- | 3530 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc.pl
|
-rw-r--r-- | 32960 | root |
root |
/usr/lib/pl-5.6.51/library/plunit.pl
|
-rw-r--r-- | 1609 | root |
root |
/usr/lib/pl-5.6.51/library/porter_stem.pl
|
-rw-r--r-- | 19529 | root |
root |
/usr/lib/pl-5.6.51/library/prolog_clause.pl
|
-rw-r--r-- | 3777 | root |
root |
/usr/lib/pl-5.6.51/library/prolog_server.pl
|
-rw-r--r-- | 6366 | root |
root |
/usr/lib/pl-5.6.51/library/prolog_source.pl
|
-rw-r--r-- | 5800 | root |
root |
/usr/lib/pl-5.6.51/library/prolog_stack.pl
|
-rw-r--r-- | 42140 | root |
root |
/usr/lib/pl-5.6.51/library/prolog_xref.pl
|
-rw-r--r-- | 14526 | root |
root |
/usr/lib/pl-5.6.51/library/qpforeign.pl
|
-rw-r--r-- | 17242 | root |
root |
/usr/lib/pl-5.6.51/library/qsave.pl
|
-rw-r--r-- | 10566 | root |
root |
/usr/lib/pl-5.6.51/library/quintus.pl
|
-rw-r--r-- | 3819 | root |
root |
/usr/lib/pl-5.6.51/library/random.pl
|
-rw-r--r-- | 25474 | root |
root |
/usr/lib/pl-5.6.51/library/rbtrees.pl
|
-rw-r--r-- | 12215 | root |
root |
/usr/lib/pl-5.6.51/library/rdf.pl
|
-rw-r--r-- | 5757 | root |
root |
/usr/lib/pl-5.6.51/library/rdf_ntriples.pl
|
-rw-r--r-- | 18634 | root |
root |
/usr/lib/pl-5.6.51/library/rdf_parser.pl
|
-rw-r--r-- | 11158 | root |
root |
/usr/lib/pl-5.6.51/library/rdf_triple.pl
|
-rw-r--r-- | 18554 | root |
root |
/usr/lib/pl-5.6.51/library/rdf_write.pl
|
-rw-r--r-- | 6253 | root |
root |
/usr/lib/pl-5.6.51/library/readln.pl
|
-rw-r--r-- | 7493 | root |
root |
/usr/lib/pl-5.6.51/library/readutil.pl
|
-rw-r--r-- | 10560 | root |
root |
/usr/lib/pl-5.6.51/library/record.pl
|
-rw-r--r-- | 3007 | root |
root |
/usr/lib/pl-5.6.51/library/rewrite.pl
|
-rw-r--r-- | 1865 | root |
root |
/usr/lib/pl-5.6.51/library/rlimit.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/semweb
|
-rw-r--r-- | 17267 | root |
root |
/usr/lib/pl-5.6.51/library/settings.pl
|
-rw-r--r-- | 10882 | root |
root |
/usr/lib/pl-5.6.51/library/sgml.pl
|
-rw-r--r-- | 22581 | root |
root |
/usr/lib/pl-5.6.51/library/sgml_write.pl
|
-rw-r--r-- | 1958 | root |
root |
/usr/lib/pl-5.6.51/library/sha.pl
|
-rw-r--r-- | 5581 | root |
root |
/usr/lib/pl-5.6.51/library/shell.pl
|
-rw-r--r-- | 9388 | root |
root |
/usr/lib/pl-5.6.51/library/shlib.pl
|
-rw-r--r-- | 3112 | root |
root |
/usr/lib/pl-5.6.51/library/socket.pl
|
-rw-r--r-- | 4073 | root |
root |
/usr/lib/pl-5.6.51/library/sort.pl
|
-rw-r--r-- | 1690 | root |
root |
/usr/lib/pl-5.6.51/library/ssl.pl
|
-rw-r--r-- | 7704 | root |
root |
/usr/lib/pl-5.6.51/library/statistics.pl
|
-rw-r--r-- | 3321 | root |
root |
/usr/lib/pl-5.6.51/library/streampool.pl
|
-rw-r--r-- | 3128 | root |
root |
/usr/lib/pl-5.6.51/library/system.pl
|
-rw-r--r-- | 1880 | root |
root |
/usr/lib/pl-5.6.51/library/table.pl
|
-rw-r--r-- | 6202 | root |
root |
/usr/lib/pl-5.6.51/library/table_util.pl
|
-rw-r--r-- | 7542 | root |
root |
/usr/lib/pl-5.6.51/library/test_cover.pl
|
-rw-r--r-- | 5518 | root |
root |
/usr/lib/pl-5.6.51/library/test_wizard.pl
|
-rw-r--r-- | 12224 | root |
root |
/usr/lib/pl-5.6.51/library/thread.pl
|
-rw-r--r-- | 6089 | root |
root |
/usr/lib/pl-5.6.51/library/threadutil.pl
|
-rw-r--r-- | 4353 | root |
root |
/usr/lib/pl-5.6.51/library/time.pl
|
-rw-r--r-- | 7996 | root |
root |
/usr/lib/pl-5.6.51/library/tty.pl
|
-rw-r--r-- | 15183 | root |
root |
/usr/lib/pl-5.6.51/library/ugraphs.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/unicode
|
-rw-r--r-- | 2035 | root |
root |
/usr/lib/pl-5.6.51/library/unix.pl
|
-rw-r--r-- | 23075 | root |
root |
/usr/lib/pl-5.6.51/library/url.pl
|
-rw-r--r-- | 3983 | root |
root |
/usr/lib/pl-5.6.51/library/utf8.pl
|
-rw-r--r-- | 4204 | root |
root |
/usr/lib/pl-5.6.51/library/when.pl
|
-rw-r--r-- | 6408 | root |
root |
/usr/lib/pl-5.6.51/library/www_browser.pl
|
-rw-r--r-- | 7261 | root |
root |
/usr/lib/pl-5.6.51/library/xsdp_types.pl
|
-rw-r--r-- | 2506 | root |
root |
/usr/lib/pl-5.6.51/library/zlib.pl
|
-rw-r--r-- | 2878 | root |
root |
/usr/lib/pl-5.6.51/library/DTD/HTML4.dcl
|
-rw-r--r-- | 45643 | root |
root |
/usr/lib/pl-5.6.51/library/DTD/HTML4.dtd
|
-rw-r--r-- | 224 | root |
root |
/usr/lib/pl-5.6.51/library/DTD/HTML4.soc
|
-rw-r--r-- | 12023 | root |
root |
/usr/lib/pl-5.6.51/library/DTD/HTMLlat1.ent
|
-rw-r--r-- | 4116 | root |
root |
/usr/lib/pl-5.6.51/library/DTD/HTMLspec.ent
|
-rw-r--r-- | 14446 | root |
root |
/usr/lib/pl-5.6.51/library/DTD/HTMLsym.ent
|
-rw-r--r-- | 1289 | root |
root |
/usr/lib/pl-5.6.51/library/chr/README
|
-rw-r--r-- | 1465 | root |
root |
/usr/lib/pl-5.6.51/library/chr/a_star.pl
|
-rw-r--r-- | 2125 | root |
root |
/usr/lib/pl-5.6.51/library/chr/binomialheap.pl
|
-rw-r--r-- | 22228 | root |
root |
/usr/lib/pl-5.6.51/library/chr/builtins.pl
|
-rw-r--r-- | 6147 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_compiler_errors.pl
|
-rw-r--r-- | 12927 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_compiler_options.pl
|
-rw-r--r-- | 7821 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_compiler_utility.pl
|
-rw-r--r-- | 2021 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_debug.pl
|
-rw-r--r-- | 9583 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_hashtable_store.pl
|
-rw-r--r-- | 3605 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_integertable_store.pl
|
-rw-r--r-- | 3979 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_messages.pl
|
-rw-r--r-- | 1922 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_op.pl
|
-rw-r--r-- | 24440 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_runtime.pl
|
-rw-r--r-- | 5352 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_support.so
|
-rw-r--r-- | 630695 | root |
root |
/usr/lib/pl-5.6.51/library/chr/chr_translate.pl
|
-rw-r--r-- | 5405 | root |
root |
/usr/lib/pl-5.6.51/library/chr/clean_code.pl
|
-rw-r--r-- | 2516 | root |
root |
/usr/lib/pl-5.6.51/library/chr/find.pl
|
-rw-r--r-- | 466564 | root |
root |
/usr/lib/pl-5.6.51/library/chr/guard_entailment.pl
|
-rw-r--r-- | 4615 | root |
root |
/usr/lib/pl-5.6.51/library/chr/hprolog.pl
|
-rw-r--r-- | 2554 | root |
root |
/usr/lib/pl-5.6.51/library/chr/listmap.pl
|
-rw-r--r-- | 1965 | root |
root |
/usr/lib/pl-5.6.51/library/chr/pairlist.pl
|
-rw-r--r-- | 38912 | root |
root |
/usr/lib/pl-5.6.51/library/clp/bounds.pl
|
-rw-r--r-- | 6317 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clp_distinct.pl
|
-rw-r--r-- | 2498 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clp_events.pl
|
-rw-r--r-- | 127321 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpfd.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpq
|
-rw-r--r-- | 3663 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpq.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpqr
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpr
|
-rw-r--r-- | 3778 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpr.pl
|
-rw-r--r-- | 39305 | root |
root |
/usr/lib/pl-5.6.51/library/clp/simplex.pl
|
-rw-r--r-- | 6398 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpq/bb_q.pl
|
-rw-r--r-- | 48326 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpq/bv_q.pl
|
-rw-r--r-- | 13150 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpq/fourmotz_q.pl
|
-rw-r--r-- | 35846 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpq/ineq_q.pl
|
-rw-r--r-- | 6250 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpq/itf_q.pl
|
-rw-r--r-- | 25057 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpq/nf_q.pl
|
-rw-r--r-- | 10710 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpq/store_q.pl
|
-rw-r--r-- | 699 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpqr/README
|
-rw-r--r-- | 4809 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpqr/class.pl
|
-rw-r--r-- | 8552 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpqr/dump.pl
|
-rw-r--r-- | 5440 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpqr/geler.pl
|
-rw-r--r-- | 3604 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpqr/itf.pl
|
-rw-r--r-- | 4786 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpqr/ordering.pl
|
-rw-r--r-- | 7836 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpqr/project.pl
|
-rw-r--r-- | 7614 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpqr/redund.pl
|
-rw-r--r-- | 7301 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpr/bb_r.pl
|
-rw-r--r-- | 49616 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpr/bv_r.pl
|
-rw-r--r-- | 13279 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpr/fourmotz_r.pl
|
-rw-r--r-- | 40942 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpr/ineq_r.pl
|
-rw-r--r-- | 6456 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpr/itf_r.pl
|
-rw-r--r-- | 26074 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpr/nf_r.pl
|
-rw-r--r-- | 11438 | root |
root |
/usr/lib/pl-5.6.51/library/clp/clpr/store_r.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/dialect/iso
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/library/dialect/yap
|
-rw-r--r-- | 5325 | root |
root |
/usr/lib/pl-5.6.51/library/dialect/yap.pl
|
-rw-r--r-- | 6197 | root |
root |
/usr/lib/pl-5.6.51/library/dialect/iso/iso_predicates.pl
|
-rw-r--r-- | 351 | root |
root |
/usr/lib/pl-5.6.51/library/dialect/yap/README.TXT
|
-rw-r--r-- | 465 | root |
root |
/usr/lib/pl-5.6.51/library/http/README
|
-rw-r--r-- | 7931 | root |
root |
/usr/lib/pl-5.6.51/library/http/dcg_basics.pl
|
-rw-r--r-- | 29645 | root |
root |
/usr/lib/pl-5.6.51/library/http/html_write.pl
|
-rw-r--r-- | 6872 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_authenticate.pl
|
-rw-r--r-- | 11930 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_client.pl
|
-rw-r--r-- | 14400 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_dispatch.pl
|
-rw-r--r-- | 3145 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_error.pl
|
-rw-r--r-- | 27112 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_header.pl
|
-rw-r--r-- | 5831 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_json.pl
|
-rw-r--r-- | 2804 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_mime_plugin.pl
|
-rw-r--r-- | 13264 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_open.pl
|
-rw-r--r-- | 7352 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_parameters.pl
|
-rw-r--r-- | 8557 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_session.pl
|
-rw-r--r-- | 4009 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_sgml_plugin.pl
|
-rw-r--r-- | 2333 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_ssl_plugin.pl
|
-rw-r--r-- | 5412 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_stream.pl
|
-rw-r--r-- | 9378 | root |
root |
/usr/lib/pl-5.6.51/library/http/http_wrapper.pl
|
-rw-r--r-- | 2408 | root |
root |
/usr/lib/pl-5.6.51/library/http/inetd_httpd.pl
|
-rw-r--r-- | 18341 | root |
root |
/usr/lib/pl-5.6.51/library/http/json.pl
|
-rw-r--r-- | 16691 | root |
root |
/usr/lib/pl-5.6.51/library/http/json_convert.pl
|
-rw-r--r-- | 4912 | root |
root |
/usr/lib/pl-5.6.51/library/http/mimepack.pl
|
-rw-r--r-- | 3805 | root |
root |
/usr/lib/pl-5.6.51/library/http/mimetype.pl
|
-rw-r--r-- | 13362 | root |
root |
/usr/lib/pl-5.6.51/library/http/thread_httpd.pl
|
-rw-r--r-- | 9303 | root |
root |
/usr/lib/pl-5.6.51/library/http/xpce_httpd.pl
|
-rw-r--r-- | 36568 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_colour.pl
|
-rw-r--r-- | 36550 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_html.pl
|
-rw-r--r-- | 14022 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_htmlsrc.pl
|
-rw-r--r-- | 10501 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_index.pl
|
-rw-r--r-- | 2858 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_library.pl
|
-rw-r--r-- | 18551 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_man.pl
|
-rw-r--r-- | 12313 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_modes.pl
|
-rw-r--r-- | 8919 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_process.pl
|
-rw-r--r-- | 3518 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_register.pl
|
-rw-r--r-- | 11591 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_search.pl
|
-rw-r--r-- | 2865 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_util.pl
|
-rw-r--r-- | 27646 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/doc_wiki.pl
|
-rw-r--r-- | 2244 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/edit.gif
|
-rw-r--r-- | 1406 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/favicon.ico
|
-rw-r--r-- | 1680 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/hooks.pl
|
-rw-r--r-- | 3701 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/pldoc.css
|
-rw-r--r-- | 1142 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/pldoc.js
|
-rw-r--r-- | 15389 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/pldoc.sty
|
-rw-r--r-- | 2316 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/pllisting.css
|
-rw-r--r-- | 222 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/reload.gif
|
-rw-r--r-- | 1225 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/source.gif
|
-rw-r--r-- | 1214 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/up.gif
|
-rw-r--r-- | 627 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/zoomin.gif
|
-rw-r--r-- | 626 | root |
root |
/usr/lib/pl-5.6.51/library/pldoc/zoomout.gif
|
-rw-r--r-- | 1097 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/README
|
-rw-r--r-- | 8461 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/dc.rdfs
|
-rw-r--r-- | 3128 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/eor.rdfs
|
-rw-r--r-- | 8674 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/owl.owl
|
-rw-r--r-- | 6445 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdf_cache.pl
|
-rw-r--r-- | 52537 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdf_db.pl
|
-rw-r--r-- | 29436 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdf_edit.pl
|
-rw-r--r-- | 3561 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdf_http_plugin.pl
|
-rw-r--r-- | 14402 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdf_litindex.pl
|
-rw-r--r-- | 30010 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdf_persistency.pl
|
-rw-r--r-- | 20687 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdf_turtle.pl
|
-rw-r--r-- | 2232 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdf_zlib_plugin.pl
|
-rw-r--r-- | 14111 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdfs.pl
|
-rw-r--r-- | 10483 | root |
root |
/usr/lib/pl-5.6.51/library/semweb/rdfs.rdfs
|
-rw-r--r-- | 8578 | root |
root |
/usr/lib/pl-5.6.51/library/unicode/blocks.pl
|
-rw-r--r-- | 4685 | root |
root |
/usr/lib/pl-5.6.51/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
|