lrwxrwxrwx | 44 | root |
root |
/usr/bin/swipl
|
lrwxrwxrwx | 47 | root |
root |
/usr/bin/swipl-ld
|
lrwxrwxrwx | 47 | root |
root |
/usr/bin/swipl-rc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2
|
-rw-r--r-- | 638 | root |
root |
/usr/lib64/pkgconfig/swipl.pc
|
-rw-r--r-- | 2371 | root |
root |
/usr/lib64/swipl-5.10.2/Makefile
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/bin
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/boot
|
-rw-r--r-- | 106384 | root |
root |
/usr/lib64/swipl-5.10.2/boot64.prc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/demo
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/dotfiles
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/include
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/lib
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/man
|
-rw-r--r-- | 2 | root |
root |
/usr/lib64/swipl-5.10.2/swipl.home
|
-rw-r--r-- | 3354 | root |
root |
/usr/lib64/swipl-5.10.2/swipl.rc
|
-rw-r--r-- | 3 | root |
root |
/usr/lib64/swipl-5.10.2/bin/swipl.home
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/bin/x86_64-linux
|
-rwxr-xr-x | 6224 | root |
root |
/usr/lib64/swipl-5.10.2/bin/x86_64-linux/swipl
|
-rwxr-xr-x | 23640 | root |
root |
/usr/lib64/swipl-5.10.2/bin/x86_64-linux/swipl-ld
|
-rwxr-xr-x | 22944 | root |
root |
/usr/lib64/swipl-5.10.2/bin/x86_64-linux/swipl-rc
|
lrwxrwxrwx | 5 | root |
root |
/usr/lib64/swipl-5.10.2/bin/x86_64-linux/xpce
|
-rw-r--r-- | 2026 | root |
root |
/usr/lib64/swipl-5.10.2/boot/apply.pl
|
-rw-r--r-- | 8101 | root |
root |
/usr/lib64/swipl-5.10.2/boot/attvar.pl
|
-rw-r--r-- | 11304 | root |
root |
/usr/lib64/swipl-5.10.2/boot/autoload.pl
|
-rw-r--r-- | 5705 | root |
root |
/usr/lib64/swipl-5.10.2/boot/bags.pl
|
-rw-r--r-- | 8213 | root |
root |
/usr/lib64/swipl-5.10.2/boot/dcg.pl
|
-rw-r--r-- | 12159 | root |
root |
/usr/lib64/swipl-5.10.2/boot/dwim.pl
|
-rw-r--r-- | 9994 | root |
root |
/usr/lib64/swipl-5.10.2/boot/expand.pl
|
-rw-r--r-- | 8454 | root |
root |
/usr/lib64/swipl-5.10.2/boot/history.pl
|
-rw-r--r-- | 61407 | root |
root |
/usr/lib64/swipl-5.10.2/boot/init.pl
|
-rw-r--r-- | 6415 | root |
root |
/usr/lib64/swipl-5.10.2/boot/license.pl
|
-rw-r--r-- | 2093 | root |
root |
/usr/lib64/swipl-5.10.2/boot/load.pl
|
-rw-r--r-- | 31966 | root |
root |
/usr/lib64/swipl-5.10.2/boot/messages.pl
|
-rw-r--r-- | 2638 | root |
root |
/usr/lib64/swipl-5.10.2/boot/parms.pl
|
-rw-r--r-- | 3587 | root |
root |
/usr/lib64/swipl-5.10.2/boot/qlf.pl
|
-rw-r--r-- | 2823 | root |
root |
/usr/lib64/swipl-5.10.2/boot/rc.pl
|
-rw-r--r-- | 28104 | root |
root |
/usr/lib64/swipl-5.10.2/boot/syspred.pl
|
-rw-r--r-- | 21470 | root |
root |
/usr/lib64/swipl-5.10.2/boot/toplevel.pl
|
-rw-r--r-- | 4078 | root |
root |
/usr/lib64/swipl-5.10.2/boot/topvars.pl
|
-rw-r--r-- | 6239 | root |
root |
/usr/lib64/swipl-5.10.2/boot/writef.pl
|
-rw-r--r-- | 1051 | root |
root |
/usr/lib64/swipl-5.10.2/demo/README
|
-rw-r--r-- | 749 | root |
root |
/usr/lib64/swipl-5.10.2/demo/likes.pl
|
drwxr-xr-x | 8192 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages
|
-rw-r--r-- | 8733 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/64bits.html
|
-rw-r--r-- | 7793 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/Bibliography.html
|
-rw-r--r-- | 65497 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/Contents.html
|
-rw-r--r-- | 5247 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/DCG.html
|
-rw-r--r-- | 9273 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/DDE.html
|
-rw-r--r-- | 9224 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/DLL.html
|
-rw-r--r-- | 208002 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/DocIndex.html
|
-rw-r--r-- | 7645 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/IDE.html
|
-rw-r--r-- | 43883 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/IO.html
|
-rw-r--r-- | 9929 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/SyntaxAndSemantics.html
|
-rw-r--r-- | 5266 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/acknowledge.html
|
-rw-r--r-- | 11335 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/aggregate.html
|
-rw-r--r-- | 5982 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/allsolutions.html
|
-rw-r--r-- | 6255 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/apply.html
|
-rw-r--r-- | 4620 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/applylist.html
|
-rw-r--r-- | 36867 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/arith.html
|
-rw-r--r-- | 7087 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/assoc.html
|
-rw-r--r-- | 13461 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/attvar.html
|
-rw-r--r-- | 9181 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/autoload.html
|
-rw-r--r-- | 5049 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/block3.html
|
-rw-r--r-- | 3730 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/broadcast.gif
|
-rw-r--r-- | 8433 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/broadcast.html
|
-rw-r--r-- | 16083 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/builtin.html
|
-rw-r--r-- | 8006 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/builtinlist.html
|
-rw-r--r-- | 4126 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/charconv.html
|
-rw-r--r-- | 18388 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/chario.html
|
-rw-r--r-- | 6814 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/chars.html
|
-rw-r--r-- | 7917 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/charsio.html
|
-rw-r--r-- | 13179 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/chartype.html
|
-rw-r--r-- | 6124 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/check.html
|
-rw-r--r-- | 6806 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/chr.html
|
-rw-r--r-- | 4693 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/chrintro.html
|
-rw-r--r-- | 4529 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/clicense.html
|
-rw-r--r-- | 5381 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/clpclp_distinct.html
|
-rw-r--r-- | 35687 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/clpfd.html
|
-rw-r--r-- | 15026 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/clpqr.html
|
-rw-r--r-- | 14422 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/cmdline.html
|
-rw-r--r-- | 14556 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/compare.html
|
-rw-r--r-- | 10681 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/compilation.html
|
-rw-r--r-- | 55809 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/consulting.html
|
-rw-r--r-- | 3264 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/contrib.html
|
-rw-r--r-- | 9432 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/control.html
|
-rw-r--r-- | 8176 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/coroutining.html
|
-rw-r--r-- | 6300 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/csv.html
|
-rw-r--r-- | 7313 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/ctxmodule.html
|
-rw-r--r-- | 5565 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/cyclic.html
|
-rw-r--r-- | 21350 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/db.html
|
-rw-r--r-- | 7233 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/debug.html
|
-rw-r--r-- | 14115 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/debugger.html
|
-rw-r--r-- | 9555 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/debugging.html
|
-rw-r--r-- | 12741 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/debugoverview.html
|
-rw-r--r-- | 5148 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/defmodule.html
|
-rw-r--r-- | 8306 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/dialect.html
|
-rw-r--r-- | 4496 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/dynamic-modules.html
|
-rw-r--r-- | 10160 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/dynamic.html
|
-rw-r--r-- | 5206 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/dynstatic.html
|
-rw-r--r-- | 6449 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/editreload.html
|
-rw-r--r-- | 5266 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/errors.html
|
-rw-r--r-- | 18718 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/examineprog.html
|
-rw-r--r-- | 4543 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/examples.html
|
-rw-r--r-- | 6253 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/excepthook.html
|
-rw-r--r-- | 21003 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/exception.html
|
-rw-r--r-- | 5705 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/exception3.html
|
-rw-r--r-- | 5165 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/extendarith.html
|
-rw-r--r-- | 3790 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/extvar.html
|
-rw-r--r-- | 21121 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/files.html
|
-rw-r--r-- | 4836 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/findappfile.html
|
-rw-r--r-- | 4555 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/findhome.html
|
-rw-r--r-- | 46106 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/flags.html
|
-rw-r--r-- | 3341 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/forall2.html
|
-rw-r--r-- | 14253 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/foreign.html
|
-rw-r--r-- | 153149 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/foreigninclude.html
|
-rw-r--r-- | 16773 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/foreignlink.html
|
-rw-r--r-- | 10336 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/foreignnotes.html
|
-rw-r--r-- | 3634 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/foreignoverview.html
|
-rw-r--r-- | 13422 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/foreignthread.html
|
-rw-r--r-- | 13218 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/foreigntypes.html
|
-rw-r--r-- | 4439 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/foreignxmp.html
|
-rw-r--r-- | 18898 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/format.html
|
-rw-r--r-- | 8845 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/funcsummary.html
|
-rw-r--r-- | 3073 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/gc.html
|
-rw-r--r-- | 3995 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/gemacs.html
|
-rw-r--r-- | 4434 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/gensym.html
|
-rw-r--r-- | 28872 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/glossary.html
|
-rw-r--r-- | 4936 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/guidelines.html
|
-rw-r--r-- | 6157 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/guitracer.html
|
-rw-r--r-- | 10294 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/gvar.html
|
-rw-r--r-- | 4381 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/hack.html
|
-rw-r--r-- | 7391 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/help.html
|
-rw-r--r-- | 4401 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/history.html
|
-rw-r--r-- | 425 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/home.gif
|
-rw-r--r-- | 6771 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/hooks.html
|
-rw-r--r-- | 4786 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/idepreds.html
|
-rw-r--r-- | 5092 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/idesummary.html
|
-rw-r--r-- | 6461 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/import.html
|
-rw-r--r-- | 5905 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/importmodule.html
|
-rw-r--r-- | 344 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/index.gif
|
-rw-r--r-- | 4647 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/index.html
|
-rw-r--r-- | 273 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/info.gif
|
-rw-r--r-- | 4859 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/initfile.html
|
-rw-r--r-- | 4491 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/initgoal.html
|
-rw-r--r-- | 7230 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/intlibs.html
|
-rw-r--r-- | 4227 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/intro.html
|
-rw-r--r-- | 3767 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/iso.html
|
-rw-r--r-- | 10483 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/libpl.html
|
-rw-r--r-- | 36119 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/library.html
|
-rw-r--r-- | 5592 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/license.html
|
-rw-r--r-- | 10877 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/limits.html
|
-rw-r--r-- | 11471 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/listing.html
|
-rw-r--r-- | 11443 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/lists.html
|
-rw-r--r-- | 4729 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/loadfilehook.html
|
-rw-r--r-- | 15611 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/manipatom.html
|
-rw-r--r-- | 4369 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/manipmodule.html
|
-rw-r--r-- | 10039 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/manipstack.html
|
-rw-r--r-- | 15560 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/manipterm.html
|
-rw-r--r-- | 7962 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/memory.html
|
-rw-r--r-- | 13577 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/metacall.html
|
-rw-r--r-- | 6880 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/metainmodule.html
|
-rw-r--r-- | 8782 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/metapred.html
|
-rw-r--r-- | 3468 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/miscarith.html
|
-rw-r--r-- | 5971 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/miscpreds.html
|
-rw-r--r-- | 6123 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/modulecompat.html
|
-rw-r--r-- | 4199 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/moduleop.html
|
-rw-r--r-- | 6973 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/modules.html
|
-rw-r--r-- | 4364 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/mtoplevel.html
|
-rw-r--r-- | 4176 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/mtunbound.html
|
-rw-r--r-- | 3081 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/navigator.html
|
-rw-r--r-- | 6104 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/nb_set.html
|
-rw-r--r-- | 6027 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/nbset.html
|
-rw-r--r-- | 297 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/next.gif
|
-rw-r--r-- | 11084 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/operators.html
|
-rw-r--r-- | 6708 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/opsummary.html
|
-rw-r--r-- | 7244 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/option.html
|
-rw-r--r-- | 6912 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/ordsets.html
|
-rw-r--r-- | 4009 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/overrule.html
|
-rw-r--r-- | 10704 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/overview.html
|
-rw-r--r-- | 6107 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/pairs.html
|
-rw-r--r-- | 15870 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/pceemacs.html
|
-rw-r--r-- | 6659 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/pio.html
|
-rw-r--r-- | 11644 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/plld.html
|
-rw-r--r-- | 9524 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/portabilitystrategies.html
|
-rw-r--r-- | 12002 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/practical.html
|
-rw-r--r-- | 5998 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/preddesc.html
|
-rw-r--r-- | 82650 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/predsummary.html
|
-rw-r--r-- | 297 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/prev.gif
|
-rw-r--r-- | 13924 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/profile.html
|
-rw-r--r-- | 13378 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/profnode.gif
|
-rw-r--r-- | 12548 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/projectfiles.html
|
-rw-r--r-- | 8803 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/prolog_xref.html
|
-rw-r--r-- | 8713 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/prologxref.html
|
-rw-r--r-- | 4354 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/protocol.html
|
-rw-r--r-- | 5525 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/qsaveforeign.html
|
-rw-r--r-- | 3934 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/qsavelimits.html
|
-rw-r--r-- | 6266 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/quickstart.html
|
-rw-r--r-- | 4316 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/readline.html
|
-rw-r--r-- | 7228 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/readutil.html
|
-rw-r--r-- | 8296 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/record.html
|
-rw-r--r-- | 4552 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/reexport.html
|
-rw-r--r-- | 6910 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/registry.html
|
-rw-r--r-- | 23009 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/relnotes.html
|
-rw-r--r-- | 3806 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/resmodules.html
|
-rw-r--r-- | 5489 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/runenv.html
|
-rw-r--r-- | 12704 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/runtime.html
|
-rw-r--r-- | 4989 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/sec-5.11.html
|
-rw-r--r-- | 4324 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/sec-E.4.html
|
-rw-r--r-- | 6043 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/sicstus-chr.html
|
-rw-r--r-- | 8202 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/signal.html
|
-rw-r--r-- | 12266 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/simplex.html
|
-rw-r--r-- | 7874 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/softlicense.html
|
-rw-r--r-- | 3182 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/sponsor.html
|
-rw-r--r-- | 9030 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/statistics.html
|
-rw-r--r-- | 3421 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/status.html
|
-rw-r--r-- | 7106 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/streamstat.html
|
-rw-r--r-- | 7680 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/strings.html
|
-rw-r--r-- | 7388 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/summary.html
|
-rw-r--r-- | 5917 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/swiorother.html
|
-rw-r--r-- | 6899 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/swiprolog.html
|
-rw-r--r-- | 14804 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/syntax.html
|
-rw-r--r-- | 35096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/system.html
|
-rw-r--r-- | 26766 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/termrw.html
|
-rw-r--r-- | 7160 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/thmonitor.html
|
-rw-r--r-- | 15918 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/threadcom.html
|
-rw-r--r-- | 14039 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/threadcreate.html
|
-rw-r--r-- | 8802 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/threadpool.html
|
-rw-r--r-- | 7657 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/threads.html
|
-rw-r--r-- | 9690 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/threadsync.html
|
-rw-r--r-- | 9284 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/thutil.html
|
-rw-r--r-- | 8009 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/toplevel.html
|
-rw-r--r-- | 3929 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/topvars.html
|
-rw-r--r-- | 7715 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/tracehook.html
|
-rw-r--r-- | 6278 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/tty.html
|
-rw-r--r-- | 8594 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/typetest.html
|
-rw-r--r-- | 11441 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/ugraphs.html
|
-rw-r--r-- | 280 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/up.gif
|
-rw-r--r-- | 10362 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/url.html
|
-rw-r--r-- | 6409 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/usemodules.html
|
-rw-r--r-- | 9514 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/useresource.html
|
-rw-r--r-- | 4780 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/usingmodules.html
|
-rw-r--r-- | 5113 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/whichmodules.html
|
-rw-r--r-- | 3899 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/whymodules.html
|
-rw-r--r-- | 11014 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/widechars.html
|
-rw-r--r-- | 4420 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/www_browser.html
|
-rw-r--r-- | 8334 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/xref.html
|
-rw-r--r-- | 43403 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/xrefchatdep.gif
|
-rw-r--r-- | 46780 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/xrefchatfile.gif
|
-rw-r--r-- | 400 | root |
root |
/usr/lib64/swipl-5.10.2/doc/Manual/yellow_pages.gif
|
-rw-r--r-- | 18753 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/R.html
|
-rw-r--r-- | 93672 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/clib.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples
|
-rw-r--r-- | 191578 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/http.html
|
-rw-r--r-- | 0 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/httpserver.gif
|
-rw-r--r-- | 3507 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/index.html
|
-rw-r--r-- | 4985 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/modules.gif
|
-rw-r--r-- | 13180 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/nlp.html
|
-rw-r--r-- | 56245 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/odbc.html
|
-rw-r--r-- | 62153 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/pl2cpp.html
|
-rw-r--r-- | 47912 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/pldoc.html
|
-rw-r--r-- | 35565 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/plunit.html
|
-rw-r--r-- | 34710 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/protobufs.html
|
-rw-r--r-- | 25133 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/rdf2pl.html
|
-rw-r--r-- | 198401 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/semweb.html
|
-rw-r--r-- | 98201 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/sgml.html
|
-rw-r--r-- | 21088 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/ssl.html
|
-rw-r--r-- | 28713 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/table.html
|
-rw-r--r-- | 10075 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/zlib.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/R
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/pldoc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/plunit
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/protobufs
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl
|
-rw-r--r-- | 5997 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/R/r_demo.pl
|
-rw-r--r-- | 5879 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/bool.chr
|
-rw-r--r-- | 2480 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/chrdif.chr
|
-rw-r--r-- | 135 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/chrfreeze.chr
|
-rw-r--r-- | 2347 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/family.chr
|
-rw-r--r-- | 515 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/fib.chr
|
-rw-r--r-- | 755 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/fibonacci.chr
|
-rw-r--r-- | 600 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/gcd.chr
|
-rw-r--r-- | 774 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/leq.chr
|
-rw-r--r-- | 3706 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/listdom.chr
|
-rw-r--r-- | 662 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/chr/primes.chr
|
-rw-r--r-- | 2205 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/calc.pl
|
-rw-r--r-- | 5625 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/demo_body.pl
|
-rw-r--r-- | 4031 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/demo_client.pl
|
-rw-r--r-- | 1787 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/demo_files.pl
|
-rwxr-xr-x | 434 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/demo_inetd
|
-rw-r--r-- | 5185 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/demo_openid.pl
|
-rw-r--r-- | 548 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/demo_pwp.pl
|
-rw-r--r-- | 581 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/demo_threads.pl
|
-rw-r--r-- | 1481 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/demo_xpce.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp
|
-rw-r--r-- | 459 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/context.pwp
|
-rw-r--r-- | 590 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/index.pwp
|
-rw-r--r-- | 279 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/pwp1.pwp
|
-rw-r--r-- | 308 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/pwp2.pwp
|
-rw-r--r-- | 607 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/pwp3.pwp
|
-rw-r--r-- | 623 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/pwp4.pwp
|
-rw-r--r-- | 329 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/pwp5.pwp
|
-rw-r--r-- | 32 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/pwp6.pwp
|
-rw-r--r-- | 60 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/pwp7.pwp
|
-rw-r--r-- | 83 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/pwp8.pwp
|
-rw-r--r-- | 351 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/http/pwp/pwpdb.pl
|
-rw-r--r-- | 1198 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/pldoc/README
|
-rwxr-xr-x | 1120 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/pldoc/man_server.pl
|
-rw-r--r-- | 322 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/plunit/read.pl
|
-rw-r--r-- | 435 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/plunit/simple.pl
|
-rw-r--r-- | 587 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/protobufs/Makefile
|
-rw-r--r-- | 5118 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/protobufs/foo.cpp
|
-rw-r--r-- | 496 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/protobufs/pb-vector.proto
|
-rw-r--r-- | 4658 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/protobufs/vector_demo.pl
|
-rw-r--r-- | 2306 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/client.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc
|
-rw-r--r-- | 2470 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/https.pl
|
-rw-r--r-- | 2675 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/server.pl
|
-rw-r--r-- | 329 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/Makefile
|
-rw-r--r-- | 1305 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/README
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/client
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/server
|
-rw-r--r-- | 3419 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/client/client-cert.pem
|
-rw-r--r-- | 1797 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/client/client-key.pem
|
-rw-r--r-- | 3643 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/cacert.pem
|
-rw-r--r-- | 737 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/careq.pem
|
-rw-r--r-- | 668 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/index.txt
|
-rw-r--r-- | 20 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/index.txt.attr
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/newcerts
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/private
|
-rw-r--r-- | 17 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/serial
|
-rw-r--r-- | 3419 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A71.pem
|
-rw-r--r-- | 3419 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A72.pem
|
-rw-r--r-- | 963 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem
|
-rw-r--r-- | 3419 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/server/server-cert.pem
|
-rw-r--r-- | 1797 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/ssl/etc/server/server-key.pem
|
-rw-r--r-- | 235 | root |
root |
/usr/lib64/swipl-5.10.2/dotfiles/README
|
-rw-r--r-- | 3150 | root |
root |
/usr/lib64/swipl-5.10.2/dotfiles/dotplrc
|
-rw-r--r-- | 1497 | root |
root |
/usr/lib64/swipl-5.10.2/dotfiles/dotxpcerc
|
-rwxr-xr-x | 1003 | root |
root |
/usr/lib64/swipl-5.10.2/dotfiles/edit
|
-rw-r--r-- | 36958 | root |
root |
/usr/lib64/swipl-5.10.2/include/SWI-Prolog.h
|
-rw-r--r-- | 14605 | root |
root |
/usr/lib64/swipl-5.10.2/include/SWI-Stream.h
|
-rw-r--r-- | 21912 | root |
root |
/usr/lib64/swipl-5.10.2/include/SWI-cpp.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/include/sicstus
|
-rw-r--r-- | 2782 | root |
root |
/usr/lib64/swipl-5.10.2/include/stub.c
|
-rw-r--r-- | 6422 | root |
root |
/usr/lib64/swipl-5.10.2/include/sicstus/sicstus.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux
|
-rwxr-xr-x | 18648 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/cgi.so
|
-rwxr-xr-x | 18600 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/crypt.so
|
-rwxr-xr-x | 18432 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/double_metaphone.so
|
-rwxr-xr-x | 14464 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/files.so
|
-rwxr-xr-x | 23184 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/http_stream.so
|
-rwxr-xr-x | 6088 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/json.so
|
-rw-r--r-- | 8247064 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/libswipl.a
|
lrwxrwxrwx | 18 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/libswipl.so
|
-rw-r--r-- | 4523547 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/libswipl.so.5.10.2
|
-rwxr-xr-x | 18872 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/memfile.so
|
-rwxr-xr-x | 39416 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/mime.so
|
-rwxr-xr-x | 52952 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/odbc4pl.so
|
-rwxr-xr-x | 18568 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/porter_stem.so
|
-rwxr-xr-x | 22952 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/process.so
|
-rwxr-xr-x | 10240 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/protobufs.so
|
-rwxr-xr-x | 10208 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/random.so
|
-rwxr-xr-x | 142512 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/rdf_db.so
|
-rwxr-xr-x | 10208 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/readutil.so
|
-rwxr-xr-x | 10280 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/rlimit.so
|
-rwxr-xr-x | 147784 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/sgml2pl.so
|
-rwxr-xr-x | 39232 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/sha4pl.so
|
-rwxr-xr-x | 193136 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/snowball.so
|
-rwxr-xr-x | 35768 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/socket.so
|
-rwxr-xr-x | 69624 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/ssl4pl.so
|
-rwxr-xr-x | 10264 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/streaminfo.so
|
-rwxr-xr-x | 35256 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/table.so
|
-rwxr-xr-x | 22992 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/time.so
|
-rwxr-xr-x | 14376 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/turtle.so
|
-rwxr-xr-x | 18824 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/unix.so
|
-rwxr-xr-x | 22720 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/uri.so
|
-rwxr-xr-x | 18760 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/zlib4pl.so
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/DTD
|
-rw-r--r-- | 39299 | root |
root |
/usr/lib64/swipl-5.10.2/library/INDEX.pl
|
-rw-r--r-- | 1314488 | root |
root |
/usr/lib64/swipl-5.10.2/library/MANUAL
|
-rw-r--r-- | 43969 | root |
root |
/usr/lib64/swipl-5.10.2/library/R.pl
|
-rw-r--r-- | 18738 | root |
root |
/usr/lib64/swipl-5.10.2/library/aggregate.pl
|
-rw-r--r-- | 4782 | root |
root |
/usr/lib64/swipl-5.10.2/library/am_match.pl
|
-rw-r--r-- | 6137 | root |
root |
/usr/lib64/swipl-5.10.2/library/apply.pl
|
-rw-r--r-- | 6096 | root |
root |
/usr/lib64/swipl-5.10.2/library/apply_macros.pl
|
-rw-r--r-- | 14671 | root |
root |
/usr/lib64/swipl-5.10.2/library/assoc.pl
|
-rw-r--r-- | 14319 | root |
root |
/usr/lib64/swipl-5.10.2/library/backcomp.pl
|
-rw-r--r-- | 5616 | root |
root |
/usr/lib64/swipl-5.10.2/library/base64.pl
|
-rw-r--r-- | 4488 | root |
root |
/usr/lib64/swipl-5.10.2/library/bim.pl
|
-rw-r--r-- | 5314 | root |
root |
/usr/lib64/swipl-5.10.2/library/broadcast.pl
|
-rw-r--r-- | 1492 | root |
root |
/usr/lib64/swipl-5.10.2/library/cgi.pl
|
-rw-r--r-- | 6225 | root |
root |
/usr/lib64/swipl-5.10.2/library/charsio.pl
|
-rw-r--r-- | 10176 | root |
root |
/usr/lib64/swipl-5.10.2/library/check.pl
|
-rw-r--r-- | 2868 | root |
root |
/usr/lib64/swipl-5.10.2/library/checklast.pl
|
-rw-r--r-- | 2786 | root |
root |
/usr/lib64/swipl-5.10.2/library/checkselect.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr
|
-rw-r--r-- | 12233 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp
|
-rw-r--r-- | 5405 | root |
root |
/usr/lib64/swipl-5.10.2/library/coinduction.pl
|
-rw-r--r-- | 1583 | root |
root |
/usr/lib64/swipl-5.10.2/library/crypt.pl
|
-rw-r--r-- | 8355 | root |
root |
/usr/lib64/swipl-5.10.2/library/csv.pl
|
-rw-r--r-- | 3915 | root |
root |
/usr/lib64/swipl-5.10.2/library/ctypes.pl
|
-rw-r--r-- | 7871 | root |
root |
/usr/lib64/swipl-5.10.2/library/date.pl
|
-rw-r--r-- | 9062 | root |
root |
/usr/lib64/swipl-5.10.2/library/debug.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect
|
-rw-r--r-- | 4182 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect.pl
|
-rw-r--r-- | 7332 | root |
root |
/usr/lib64/swipl-5.10.2/library/dif.pl
|
-rw-r--r-- | 18681 | root |
root |
/usr/lib64/swipl-5.10.2/library/doc_http.pl
|
-rw-r--r-- | 38688 | root |
root |
/usr/lib64/swipl-5.10.2/library/doc_latex.pl
|
-rw-r--r-- | 3228 | root |
root |
/usr/lib64/swipl-5.10.2/library/double_metaphone.pl
|
-rw-r--r-- | 3295 | root |
root |
/usr/lib64/swipl-5.10.2/library/edinburgh.pl
|
-rw-r--r-- | 14569 | root |
root |
/usr/lib64/swipl-5.10.2/library/edit.pl
|
-rw-r--r-- | 8167 | root |
root |
/usr/lib64/swipl-5.10.2/library/emacs_interface.pl
|
-rw-r--r-- | 9975 | root |
root |
/usr/lib64/swipl-5.10.2/library/error.pl
|
-rw-r--r-- | 10259 | root |
root |
/usr/lib64/swipl-5.10.2/library/explain.pl
|
-rw-r--r-- | 3755 | root |
root |
/usr/lib64/swipl-5.10.2/library/fastrw.pl
|
-rw-r--r-- | 2422 | root |
root |
/usr/lib64/swipl-5.10.2/library/files.pl
|
-rw-r--r-- | 1496 | root |
root |
/usr/lib64/swipl-5.10.2/library/filesex.pl
|
-rw-r--r-- | 2603 | root |
root |
/usr/lib64/swipl-5.10.2/library/gensym.pl
|
-rw-r--r-- | 5884 | root |
root |
/usr/lib64/swipl-5.10.2/library/heaps.pl
|
-rw-r--r-- | 9012 | root |
root |
/usr/lib64/swipl-5.10.2/library/help.pl
|
-rw-r--r-- | 92260 | root |
root |
/usr/lib64/swipl-5.10.2/library/helpidx.pl
|
-rw-r--r-- | 6086 | root |
root |
/usr/lib64/swipl-5.10.2/library/hotfix.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/http
|
-rw-r--r-- | 14340 | root |
root |
/usr/lib64/swipl-5.10.2/library/iso_639.pl
|
-rw-r--r-- | 14826 | root |
root |
/usr/lib64/swipl-5.10.2/library/listing.pl
|
-rw-r--r-- | 10943 | root |
root |
/usr/lib64/swipl-5.10.2/library/lists.pl
|
-rw-r--r-- | 2913 | root |
root |
/usr/lib64/swipl-5.10.2/library/main.pl
|
-rw-r--r-- | 3091 | root |
root |
/usr/lib64/swipl-5.10.2/library/make.pl
|
-rw-r--r-- | 2012 | root |
root |
/usr/lib64/swipl-5.10.2/library/memfile.pl
|
-rw-r--r-- | 2553 | root |
root |
/usr/lib64/swipl-5.10.2/library/mime.pl
|
-rw-r--r-- | 7051 | root |
root |
/usr/lib64/swipl-5.10.2/library/nb_rbtrees.pl
|
-rw-r--r-- | 3423 | root |
root |
/usr/lib64/swipl-5.10.2/library/nb_set.pl
|
-rw-r--r-- | 3776 | root |
root |
/usr/lib64/swipl-5.10.2/library/occurs.pl
|
-rw-r--r-- | 9553 | root |
root |
/usr/lib64/swipl-5.10.2/library/odbc.pl
|
-rw-r--r-- | 4971 | root |
root |
/usr/lib64/swipl-5.10.2/library/operators.pl
|
-rw-r--r-- | 8209 | root |
root |
/usr/lib64/swipl-5.10.2/library/option.pl
|
-rw-r--r-- | 10037 | root |
root |
/usr/lib64/swipl-5.10.2/library/ordsets.pl
|
-rw-r--r-- | 4802 | root |
root |
/usr/lib64/swipl-5.10.2/library/oset.pl
|
-rw-r--r-- | 4812 | root |
root |
/usr/lib64/swipl-5.10.2/library/pairs.pl
|
-rw-r--r-- | 13428 | root |
root |
/usr/lib64/swipl-5.10.2/library/persistency.pl
|
-rw-r--r-- | 1694 | root |
root |
/usr/lib64/swipl-5.10.2/library/pio.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc
|
-rw-r--r-- | 3583 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc.pl
|
-rw-r--r-- | 40820 | root |
root |
/usr/lib64/swipl-5.10.2/library/plunit.pl
|
-rw-r--r-- | 1590 | root |
root |
/usr/lib64/swipl-5.10.2/library/porter_stem.pl
|
-rw-r--r-- | 4617 | root |
root |
/usr/lib64/swipl-5.10.2/library/portray_text.pl
|
-rw-r--r-- | 11458 | root |
root |
/usr/lib64/swipl-5.10.2/library/process.pl
|
-rw-r--r-- | 20859 | root |
root |
/usr/lib64/swipl-5.10.2/library/prolog_clause.pl
|
-rw-r--r-- | 3767 | root |
root |
/usr/lib64/swipl-5.10.2/library/prolog_server.pl
|
-rw-r--r-- | 8651 | root |
root |
/usr/lib64/swipl-5.10.2/library/prolog_source.pl
|
-rw-r--r-- | 5911 | root |
root |
/usr/lib64/swipl-5.10.2/library/prolog_stack.pl
|
-rw-r--r-- | 45528 | root |
root |
/usr/lib64/swipl-5.10.2/library/prolog_xref.pl
|
-rw-r--r-- | 9578 | root |
root |
/usr/lib64/swipl-5.10.2/library/protobufs.pl
|
-rw-r--r-- | 5518 | root |
root |
/usr/lib64/swipl-5.10.2/library/pure_input.pl
|
-rw-r--r-- | 21682 | root |
root |
/usr/lib64/swipl-5.10.2/library/pwp.pl
|
-rw-r--r-- | 19583 | root |
root |
/usr/lib64/swipl-5.10.2/library/qpforeign.pl
|
-rw-r--r-- | 16913 | root |
root |
/usr/lib64/swipl-5.10.2/library/qsave.pl
|
-rw-r--r-- | 9660 | root |
root |
/usr/lib64/swipl-5.10.2/library/quintus.pl
|
-rw-r--r-- | 3890 | root |
root |
/usr/lib64/swipl-5.10.2/library/random.pl
|
-rw-r--r-- | 30565 | root |
root |
/usr/lib64/swipl-5.10.2/library/rbtrees.pl
|
-rw-r--r-- | 11401 | root |
root |
/usr/lib64/swipl-5.10.2/library/rdf.pl
|
-rw-r--r-- | 7159 | root |
root |
/usr/lib64/swipl-5.10.2/library/rdf_ntriples.pl
|
-rw-r--r-- | 16487 | root |
root |
/usr/lib64/swipl-5.10.2/library/rdf_parser.pl
|
-rw-r--r-- | 10751 | root |
root |
/usr/lib64/swipl-5.10.2/library/rdf_triple.pl
|
-rw-r--r-- | 19207 | root |
root |
/usr/lib64/swipl-5.10.2/library/rdf_write.pl
|
-rw-r--r-- | 6251 | root |
root |
/usr/lib64/swipl-5.10.2/library/readln.pl
|
-rw-r--r-- | 7486 | root |
root |
/usr/lib64/swipl-5.10.2/library/readutil.pl
|
-rw-r--r-- | 12170 | root |
root |
/usr/lib64/swipl-5.10.2/library/record.pl
|
-rw-r--r-- | 4110 | root |
root |
/usr/lib64/swipl-5.10.2/library/rewrite.pl
|
-rw-r--r-- | 1847 | root |
root |
/usr/lib64/swipl-5.10.2/library/rlimit.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb
|
-rw-r--r-- | 18662 | root |
root |
/usr/lib64/swipl-5.10.2/library/settings.pl
|
-rw-r--r-- | 11272 | root |
root |
/usr/lib64/swipl-5.10.2/library/sgml.pl
|
-rw-r--r-- | 22909 | root |
root |
/usr/lib64/swipl-5.10.2/library/sgml_write.pl
|
-rw-r--r-- | 2735 | root |
root |
/usr/lib64/swipl-5.10.2/library/sha.pl
|
-rw-r--r-- | 5589 | root |
root |
/usr/lib64/swipl-5.10.2/library/shell.pl
|
-rw-r--r-- | 12520 | root |
root |
/usr/lib64/swipl-5.10.2/library/shlib.pl
|
-rw-r--r-- | 3125 | root |
root |
/usr/lib64/swipl-5.10.2/library/snowball.pl
|
-rw-r--r-- | 4129 | root |
root |
/usr/lib64/swipl-5.10.2/library/socket.pl
|
-rw-r--r-- | 3153 | root |
root |
/usr/lib64/swipl-5.10.2/library/sort.pl
|
-rw-r--r-- | 3943 | root |
root |
/usr/lib64/swipl-5.10.2/library/ssl.pl
|
-rw-r--r-- | 8674 | root |
root |
/usr/lib64/swipl-5.10.2/library/statistics.pl
|
-rw-r--r-- | 2919 | root |
root |
/usr/lib64/swipl-5.10.2/library/streaminfo.pl
|
-rw-r--r-- | 3319 | root |
root |
/usr/lib64/swipl-5.10.2/library/streampool.pl
|
-rw-r--r-- | 3298 | root |
root |
/usr/lib64/swipl-5.10.2/library/system.pl
|
-rw-r--r-- | 1864 | root |
root |
/usr/lib64/swipl-5.10.2/library/table.pl
|
-rw-r--r-- | 6192 | root |
root |
/usr/lib64/swipl-5.10.2/library/table_util.pl
|
-rw-r--r-- | 5001 | root |
root |
/usr/lib64/swipl-5.10.2/library/terms.pl
|
-rw-r--r-- | 7538 | root |
root |
/usr/lib64/swipl-5.10.2/library/test_cover.pl
|
-rw-r--r-- | 5511 | root |
root |
/usr/lib64/swipl-5.10.2/library/test_wizard.pl
|
-rw-r--r-- | 11998 | root |
root |
/usr/lib64/swipl-5.10.2/library/thread.pl
|
-rw-r--r-- | 13180 | root |
root |
/usr/lib64/swipl-5.10.2/library/thread_pool.pl
|
-rw-r--r-- | 6347 | root |
root |
/usr/lib64/swipl-5.10.2/library/threadutil.pl
|
-rw-r--r-- | 4458 | root |
root |
/usr/lib64/swipl-5.10.2/library/time.pl
|
-rw-r--r-- | 8119 | root |
root |
/usr/lib64/swipl-5.10.2/library/tty.pl
|
-rw-r--r-- | 15100 | root |
root |
/usr/lib64/swipl-5.10.2/library/ugraphs.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/unicode
|
-rw-r--r-- | 2016 | root |
root |
/usr/lib64/swipl-5.10.2/library/unix.pl
|
-rw-r--r-- | 10221 | root |
root |
/usr/lib64/swipl-5.10.2/library/uri.pl
|
-rw-r--r-- | 24741 | root |
root |
/usr/lib64/swipl-5.10.2/library/url.pl
|
-rw-r--r-- | 4065 | root |
root |
/usr/lib64/swipl-5.10.2/library/utf8.pl
|
-rw-r--r-- | 1830 | root |
root |
/usr/lib64/swipl-5.10.2/library/vm.pl
|
-rw-r--r-- | 6290 | root |
root |
/usr/lib64/swipl-5.10.2/library/when.pl
|
-rw-r--r-- | 6424 | root |
root |
/usr/lib64/swipl-5.10.2/library/www_browser.pl
|
-rw-r--r-- | 10196 | root |
root |
/usr/lib64/swipl-5.10.2/library/xpath.pl
|
-rw-r--r-- | 7469 | root |
root |
/usr/lib64/swipl-5.10.2/library/xsdp_types.pl
|
-rw-r--r-- | 2661 | root |
root |
/usr/lib64/swipl-5.10.2/library/zlib.pl
|
-rw-r--r-- | 2878 | root |
root |
/usr/lib64/swipl-5.10.2/library/DTD/HTML4.dcl
|
-rw-r--r-- | 45643 | root |
root |
/usr/lib64/swipl-5.10.2/library/DTD/HTML4.dtd
|
-rw-r--r-- | 224 | root |
root |
/usr/lib64/swipl-5.10.2/library/DTD/HTML4.soc
|
-rw-r--r-- | 12023 | root |
root |
/usr/lib64/swipl-5.10.2/library/DTD/HTMLlat1.ent
|
-rw-r--r-- | 4116 | root |
root |
/usr/lib64/swipl-5.10.2/library/DTD/HTMLspec.ent
|
-rw-r--r-- | 14446 | root |
root |
/usr/lib64/swipl-5.10.2/library/DTD/HTMLsym.ent
|
-rw-r--r-- | 1289 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/README
|
-rw-r--r-- | 2587 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/a_star.pl
|
-rw-r--r-- | 3389 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/binomialheap.pl
|
-rw-r--r-- | 23343 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/builtins.pl
|
-rw-r--r-- | 6147 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_compiler_errors.pl
|
-rw-r--r-- | 13159 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_compiler_options.pl
|
-rw-r--r-- | 8445 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_compiler_utility.pl
|
-rw-r--r-- | 2021 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_debug.pl
|
-rw-r--r-- | 9501 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_hashtable_store.pl
|
-rw-r--r-- | 3622 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_integertable_store.pl
|
-rw-r--r-- | 3979 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_messages.pl
|
-rw-r--r-- | 1922 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_op.pl
|
-rw-r--r-- | 26276 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_runtime.pl
|
-rw-r--r-- | 640662 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/chr_translate.pl
|
-rw-r--r-- | 6502 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/clean_code.pl
|
-rw-r--r-- | 2516 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/find.pl
|
-rw-r--r-- | 474331 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/guard_entailment.pl
|
-rw-r--r-- | 2554 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/listmap.pl
|
-rw-r--r-- | 1965 | root |
root |
/usr/lib64/swipl-5.10.2/library/chr/pairlist.pl
|
-rw-r--r-- | 39015 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/bounds.pl
|
-rw-r--r-- | 6381 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clp_distinct.pl
|
-rw-r--r-- | 2495 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clp_events.pl
|
-rw-r--r-- | 204235 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpfd.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpq
|
-rw-r--r-- | 3689 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpq.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpqr
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpr
|
-rw-r--r-- | 3806 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpr.pl
|
-rw-r--r-- | 46789 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/simplex.pl
|
-rw-r--r-- | 6398 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpq/bb_q.pl
|
-rw-r--r-- | 48326 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpq/bv_q.pl
|
-rw-r--r-- | 13150 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpq/fourmotz_q.pl
|
-rw-r--r-- | 36155 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpq/ineq_q.pl
|
-rw-r--r-- | 6250 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpq/itf_q.pl
|
-rw-r--r-- | 25071 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpq/nf_q.pl
|
-rw-r--r-- | 10710 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpq/store_q.pl
|
-rw-r--r-- | 699 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpqr/README
|
-rw-r--r-- | 4809 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpqr/class.pl
|
-rw-r--r-- | 9102 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpqr/dump.pl
|
-rw-r--r-- | 5440 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpqr/geler.pl
|
-rw-r--r-- | 3601 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpqr/itf.pl
|
-rw-r--r-- | 4786 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpqr/ordering.pl
|
-rw-r--r-- | 7836 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpqr/project.pl
|
-rw-r--r-- | 7614 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpqr/redund.pl
|
-rw-r--r-- | 7301 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpr/bb_r.pl
|
-rw-r--r-- | 49616 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpr/bv_r.pl
|
-rw-r--r-- | 13279 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpr/fourmotz_r.pl
|
-rw-r--r-- | 40942 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpr/ineq_r.pl
|
-rw-r--r-- | 6456 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpr/itf_r.pl
|
-rw-r--r-- | 27156 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpr/nf_r.pl
|
-rw-r--r-- | 11438 | root |
root |
/usr/lib64/swipl-5.10.2/library/clp/clpr/store_r.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao
|
-rw-r--r-- | 5311 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao.pl
|
-rw-r--r-- | 1660 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/commons.pl
|
-rw-r--r-- | 6964 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/hprolog.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/iso
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/sicstus
|
-rw-r--r-- | 12838 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/sicstus.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/yap
|
-rw-r--r-- | 6960 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/yap.pl
|
-rw-r--r-- | 2453 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/aggregates.pl
|
-rw-r--r-- | 1632 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/assertions.pl
|
-rw-r--r-- | 1375 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/classic.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/engine
|
-rw-r--r-- | 1526 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/format.pl
|
-rw-r--r-- | 1355 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/iso_misc.pl
|
-rw-r--r-- | 686 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/isomodes.pl
|
-rw-r--r-- | 1973 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/lists.pl
|
-rw-r--r-- | 1665 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/read.pl
|
-rw-r--r-- | 424 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/regtypes.pl
|
-rw-r--r-- | 3844 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/sockets.pl
|
-rw-r--r-- | 3752 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/strings.pl
|
-rw-r--r-- | 3386 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/system.pl
|
-rw-r--r-- | 2221 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/terms.pl
|
-rw-r--r-- | 2508 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/write.pl
|
-rw-r--r-- | 1504 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/engine/hiord_rt.pl
|
-rw-r--r-- | 1681 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/ciao/engine/internals.pl
|
-rw-r--r-- | 8112 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/iso/iso_predicates.pl
|
-rw-r--r-- | 3382 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/sicstus/arrays.pl
|
-rw-r--r-- | 6602 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/sicstus/block.pl
|
-rw-r--r-- | 2715 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/sicstus/lists.pl
|
-rw-r--r-- | 4760 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/sicstus/sockets.pl
|
-rw-r--r-- | 3838 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/sicstus/swipl-lfr.pl
|
-rw-r--r-- | 4860 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/sicstus/system.pl
|
-rw-r--r-- | 2650 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/sicstus/timeout.pl
|
-rw-r--r-- | 351 | root |
root |
/usr/lib64/swipl-5.10.2/library/dialect/yap/README.TXT
|
-rw-r--r-- | 679 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/README
|
-rw-r--r-- | 7951 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/dcg_basics.pl
|
-rw-r--r-- | 15517 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/html_head.pl
|
-rw-r--r-- | 34671 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/html_write.pl
|
-rw-r--r-- | 6876 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_authenticate.pl
|
-rw-r--r-- | 14986 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_client.pl
|
-rw-r--r-- | 5828 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_dirindex.pl
|
-rw-r--r-- | 27041 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_dispatch.pl
|
-rw-r--r-- | 3236 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_error.pl
|
-rw-r--r-- | 3653 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_exception.pl
|
-rw-r--r-- | 42821 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_header.pl
|
-rw-r--r-- | 2491 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_hook.pl
|
-rw-r--r-- | 4444 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_host.pl
|
-rw-r--r-- | 6638 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_json.pl
|
-rw-r--r-- | 7785 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_log.pl
|
-rw-r--r-- | 2958 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_mime_plugin.pl
|
-rw-r--r-- | 19237 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_open.pl
|
-rw-r--r-- | 33282 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_openid.pl
|
-rw-r--r-- | 9906 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_parameters.pl
|
-rw-r--r-- | 8659 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_path.pl
|
-rw-r--r-- | 9080 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_pwp.pl
|
-rw-r--r-- | 3552 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_server_files.pl
|
-rw-r--r-- | 14742 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_session.pl
|
-rw-r--r-- | 4298 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_sgml_plugin.pl
|
-rw-r--r-- | 2751 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_ssl_plugin.pl
|
-rw-r--r-- | 9687 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_stream.pl
|
-rw-r--r-- | 12182 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/http_wrapper.pl
|
-rw-r--r-- | 2218 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/inetd_httpd.pl
|
-rw-r--r-- | 6689 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/js_write.pl
|
-rw-r--r-- | 19169 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/json.pl
|
-rw-r--r-- | 17043 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/json_convert.pl
|
-rw-r--r-- | 4910 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/mimepack.pl
|
-rw-r--r-- | 3936 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/mimetype.pl
|
-rw-r--r-- | 18307 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/thread_httpd.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web
|
-rw-r--r-- | 8917 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/xpce_httpd.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/css
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/icons
|
-rw-r--r-- | 383 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/css/dirindex.css
|
-rw-r--r-- | 609 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/css/openid.css
|
-rw-r--r-- | 284 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/icons/back.png
|
-rw-r--r-- | 285 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/icons/c.png
|
-rw-r--r-- | 315 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/icons/compressed.png
|
-rw-r--r-- | 272 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/icons/folder.png
|
-rw-r--r-- | 260 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/icons/generic.png
|
-rw-r--r-- | 306 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/icons/layout.png
|
-rw-r--r-- | 2272 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/icons/openid-logo-square.png
|
-rw-r--r-- | 493 | root |
root |
/usr/lib64/swipl-5.10.2/library/http/web/icons/openid-logo-tiny.png
|
-rw-r--r-- | 4727 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_access.pl
|
-rw-r--r-- | 36918 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_colour.pl
|
-rw-r--r-- | 47677 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_html.pl
|
-rw-r--r-- | 12625 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_htmlsrc.pl
|
-rw-r--r-- | 10901 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_index.pl
|
-rw-r--r-- | 3102 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_library.pl
|
-rw-r--r-- | 25793 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_man.pl
|
-rw-r--r-- | 12864 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_modes.pl
|
-rw-r--r-- | 10636 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_process.pl
|
-rw-r--r-- | 3523 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_register.pl
|
-rw-r--r-- | 12207 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_search.pl
|
-rw-r--r-- | 2858 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_util.pl
|
-rw-r--r-- | 36741 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/doc_wiki.pl
|
-rw-r--r-- | 2244 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/edit.gif
|
-rw-r--r-- | 1406 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/favicon.ico
|
-rw-r--r-- | 752 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/h1-bg.png
|
-rw-r--r-- | 1847 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/hooks.pl
|
-rw-r--r-- | 508 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/multi-bg.png
|
-rw-r--r-- | 4686 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/pldoc.css
|
-rw-r--r-- | 1142 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/pldoc.js
|
-rw-r--r-- | 15373 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/pldoc.sty
|
-rw-r--r-- | 2316 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/pllisting.css
|
-rw-r--r-- | 770 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/priv-bg.png
|
-rw-r--r-- | 1589 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/private.png
|
-rw-r--r-- | 673 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/pub-bg.png
|
-rw-r--r-- | 4996 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/public.png
|
-rw-r--r-- | 222 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/reload.gif
|
-rw-r--r-- | 6493 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/source.png
|
-rw-r--r-- | 1214 | root |
root |
/usr/lib64/swipl-5.10.2/library/pldoc/up.gif
|
-rw-r--r-- | 1230 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/README
|
-rw-r--r-- | 8461 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/dc.rdfs
|
-rw-r--r-- | 3128 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/eor.rdfs
|
-rw-r--r-- | 8674 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/owl.owl
|
-rw-r--r-- | 6459 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_cache.pl
|
-rw-r--r-- | 3411 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_compare.pl
|
-rw-r--r-- | 63845 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_db.pl
|
-rw-r--r-- | 29484 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_edit.pl
|
-rw-r--r-- | 5443 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_http_plugin.pl
|
-rw-r--r-- | 23537 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_library.pl
|
-rw-r--r-- | 1896 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_library.ttl
|
-rw-r--r-- | 18351 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_litindex.pl
|
-rw-r--r-- | 32266 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_persistency.pl
|
-rw-r--r-- | 4938 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_portray.pl
|
-rw-r--r-- | 24828 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_turtle.pl
|
-rw-r--r-- | 36442 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_turtle_write.pl
|
-rw-r--r-- | 1807 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdf_zlib_plugin.pl
|
-rw-r--r-- | 14677 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdfs.pl
|
-rw-r--r-- | 10483 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/rdfs.rdfs
|
-rw-r--r-- | 9452 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/sparql_client.pl
|
-rw-r--r-- | 3226 | root |
root |
/usr/lib64/swipl-5.10.2/library/semweb/turtle_base.pl
|
-rw-r--r-- | 8577 | root |
root |
/usr/lib64/swipl-5.10.2/library/unicode/blocks.pl
|
-rw-r--r-- | 4684 | root |
root |
/usr/lib64/swipl-5.10.2/library/unicode/unicode_data.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/swi-prolog
|
-rw-r--r-- | 3706 | root |
root |
/usr/share/doc/swi-prolog/PORTING
|
-rw-r--r-- | 8206 | root |
root |
/usr/share/doc/swi-prolog/README
|
-rw-r--r-- | 8 | root |
root |
/usr/share/doc/swi-prolog/VERSION
|
-rw-r--r-- | 2768 | root |
root |
/usr/share/man/man1/swipl-ld.1.xz
|
-rw-r--r-- | 848 | root |
root |
/usr/share/man/man1/swipl-rc.1.xz
|
-rw-r--r-- | 4592 | root |
root |
/usr/share/man/man1/swipl.1.xz
|