Sophie

Sophie

distrib > Fedora > 18 > x86_64 > by-pkgid > bf1c50b84dc4ed9d30620d18a48c0d21 > files

pl-6.0.2-5.fc18.x86_64.rpm

Files

lrwxrwxrwx 43 root root /usr/bin/swipl
lrwxrwxrwx 46 root root /usr/bin/swipl-ld
lrwxrwxrwx 46 root root /usr/bin/swipl-rc
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/bin
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/boot
-rw-r--r--113995 root root /usr/lib64/swipl-6.0.2/boot64.prc
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/customize
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/demo
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/lib
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library
-rw-r--r-- 2 root root /usr/lib64/swipl-6.0.2/swipl.home
-rw-r--r-- 3 root root /usr/lib64/swipl-6.0.2/bin/swipl.home
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/bin/x86_64-linux
-rwxr-xr-x 7184 root root /usr/lib64/swipl-6.0.2/bin/x86_64-linux/swipl
-rwxr-xr-x 28384 root root /usr/lib64/swipl-6.0.2/bin/x86_64-linux/swipl-ld
-rwxr-xr-x 20224 root root /usr/lib64/swipl-6.0.2/bin/x86_64-linux/swipl-rc
-rw-r--r-- 2024 root root /usr/lib64/swipl-6.0.2/boot/apply.pl
-rw-r--r-- 8100 root root /usr/lib64/swipl-6.0.2/boot/attvar.pl
-rw-r--r-- 11615 root root /usr/lib64/swipl-6.0.2/boot/autoload.pl
-rw-r--r-- 4941 root root /usr/lib64/swipl-6.0.2/boot/bags.pl
-rw-r--r-- 8401 root root /usr/lib64/swipl-6.0.2/boot/dcg.pl
-rw-r--r-- 12361 root root /usr/lib64/swipl-6.0.2/boot/dwim.pl
-rw-r--r-- 13536 root root /usr/lib64/swipl-6.0.2/boot/expand.pl
-rw-r--r-- 8468 root root /usr/lib64/swipl-6.0.2/boot/history.pl
-rw-r--r-- 72848 root root /usr/lib64/swipl-6.0.2/boot/init.pl
-rw-r--r-- 6413 root root /usr/lib64/swipl-6.0.2/boot/license.pl
-rw-r--r-- 2126 root root /usr/lib64/swipl-6.0.2/boot/load.pl
-rw-r--r-- 35734 root root /usr/lib64/swipl-6.0.2/boot/messages.pl
-rw-r--r-- 2492 root root /usr/lib64/swipl-6.0.2/boot/parms.pl
-rw-r--r-- 4258 root root /usr/lib64/swipl-6.0.2/boot/predopts.pl
-rw-r--r-- 3348 root root /usr/lib64/swipl-6.0.2/boot/qlf.pl
-rw-r--r-- 2774 root root /usr/lib64/swipl-6.0.2/boot/rc.pl
-rw-r--r-- 28558 root root /usr/lib64/swipl-6.0.2/boot/syspred.pl
-rw-r--r-- 25897 root root /usr/lib64/swipl-6.0.2/boot/toplevel.pl
-rw-r--r-- 4070 root root /usr/lib64/swipl-6.0.2/boot/topvars.pl
-rw-r--r-- 235 root root /usr/lib64/swipl-6.0.2/customize/README
-rw-r--r-- 4021 root root /usr/lib64/swipl-6.0.2/customize/dotplrc
-rwxr-xr-x 1003 root root /usr/lib64/swipl-6.0.2/customize/edit
-rw-r--r-- 1051 root root /usr/lib64/swipl-6.0.2/demo/README
-rw-r--r-- 749 root root /usr/lib64/swipl-6.0.2/demo/likes.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux
-rwxr-xr-x 19688 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/cgi.so
-rwxr-xr-x 19520 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/crypt.so
-rwxr-xr-x 19440 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/double_metaphone.so
-rwxr-xr-x 15424 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/files.so
-rwxr-xr-x 24480 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/http_stream.so
-rwxr-xr-x 11120 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/isub.so
-rwxr-xr-x 11104 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/json.so
-rwxr-xr-x1126352 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/libswipl.so.6.0.2
-rwxr-xr-x 20008 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/memfile.so
-rwxr-xr-x 49408 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/mime.so
-rwxr-xr-x 11208 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/pdt_console.so
-rwxr-xr-x 19648 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/porter_stem.so
-rwxr-xr-x 24112 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/process.so
-rwxr-xr-x 11208 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/protobufs.so
-rwxr-xr-x149296 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/rdf_db.so
-rwxr-xr-x 11144 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/readutil.so
-rwxr-xr-x 11160 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/rlimit.so
-rwxr-xr-x146280 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/sgml2pl.so
-rwxr-xr-x 40224 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/sha4pl.so
-rwxr-xr-x190448 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/snowball.so
-rwxr-xr-x 37072 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/socket.so
-rwxr-xr-x 71272 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/ssl4pl.so
-rwxr-xr-x 11184 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/streaminfo.so
-rwxr-xr-x 36720 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/table.so
-rwxr-xr-x 24176 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/time.so
-rwxr-xr-x 15528 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/turtle.so
-rwxr-xr-x 11344 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/uid.so
-rwxr-xr-x660384 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/unicode4pl.so
-rwxr-xr-x 19960 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/unix.so
-rwxr-xr-x 28208 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/uri.so
-rwxr-xr-x 15640 root root /usr/lib64/swipl-6.0.2/lib/x86_64-linux/zlib4pl.so
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/DTD
-rw-r--r-- 43899 root root /usr/lib64/swipl-6.0.2/library/INDEX.pl
-rw-r--r--1452938 root root /usr/lib64/swipl-6.0.2/library/MANUAL
-rw-r--r-- 57683 root root /usr/lib64/swipl-6.0.2/library/R.pl
-rw-r--r-- 17888 root root /usr/lib64/swipl-6.0.2/library/aggregate.pl
-rw-r--r-- 4787 root root /usr/lib64/swipl-6.0.2/library/am_match.pl
-rw-r--r-- 6006 root root /usr/lib64/swipl-6.0.2/library/ansi_term.pl
-rw-r--r-- 6143 root root /usr/lib64/swipl-6.0.2/library/apply.pl
-rw-r--r-- 6097 root root /usr/lib64/swipl-6.0.2/library/apply_macros.pl
-rw-r--r-- 7478 root root /usr/lib64/swipl-6.0.2/library/arithmetic.pl
-rw-r--r-- 14671 root root /usr/lib64/swipl-6.0.2/library/assoc.pl
-rw-r--r-- 15770 root root /usr/lib64/swipl-6.0.2/library/backcomp.pl
-rw-r--r-- 7233 root root /usr/lib64/swipl-6.0.2/library/base32.pl
-rw-r--r-- 5621 root root /usr/lib64/swipl-6.0.2/library/base64.pl
-rw-r--r-- 5319 root root /usr/lib64/swipl-6.0.2/library/broadcast.pl
-rw-r--r-- 2924 root root /usr/lib64/swipl-6.0.2/library/cgi.pl
-rw-r--r-- 6360 root root /usr/lib64/swipl-6.0.2/library/charsio.pl
-rw-r--r-- 11582 root root /usr/lib64/swipl-6.0.2/library/check.pl
-rw-r--r-- 2873 root root /usr/lib64/swipl-6.0.2/library/checklast.pl
-rw-r--r-- 2791 root root /usr/lib64/swipl-6.0.2/library/checkselect.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/chr
-rw-r--r-- 12197 root root /usr/lib64/swipl-6.0.2/library/chr.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/clp
-rw-r--r-- 6292 root root /usr/lib64/swipl-6.0.2/library/codesio.pl
-rw-r--r-- 5464 root root /usr/lib64/swipl-6.0.2/library/coinduction.pl
-rw-r--r-- 1588 root root /usr/lib64/swipl-6.0.2/library/crypt.pl
-rw-r--r-- 12089 root root /usr/lib64/swipl-6.0.2/library/csv.pl
-rw-r--r-- 3920 root root /usr/lib64/swipl-6.0.2/library/ctypes.pl
-rw-r--r-- 7882 root root /usr/lib64/swipl-6.0.2/library/date.pl
-rw-r--r-- 10945 root root /usr/lib64/swipl-6.0.2/library/debug.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/dialect
-rw-r--r-- 4187 root root /usr/lib64/swipl-6.0.2/library/dialect.pl
-rw-r--r-- 7337 root root /usr/lib64/swipl-6.0.2/library/dif.pl
-rw-r--r-- 19183 root root /usr/lib64/swipl-6.0.2/library/doc_http.pl
-rw-r--r-- 39336 root root /usr/lib64/swipl-6.0.2/library/doc_latex.pl
-rw-r--r-- 3233 root root /usr/lib64/swipl-6.0.2/library/double_metaphone.pl
-rw-r--r-- 3576 root root /usr/lib64/swipl-6.0.2/library/edinburgh.pl
-rw-r--r-- 15055 root root /usr/lib64/swipl-6.0.2/library/edit.pl
-rw-r--r-- 10741 root root /usr/lib64/swipl-6.0.2/library/error.pl
-rw-r--r-- 10264 root root /usr/lib64/swipl-6.0.2/library/explain.pl
-rw-r--r-- 3761 root root /usr/lib64/swipl-6.0.2/library/fastrw.pl
-rw-r--r-- 2427 root root /usr/lib64/swipl-6.0.2/library/files.pl
-rw-r--r-- 6911 root root /usr/lib64/swipl-6.0.2/library/filesex.pl
-rw-r--r-- 2605 root root /usr/lib64/swipl-6.0.2/library/gensym.pl
-rw-r--r-- 7242 root root /usr/lib64/swipl-6.0.2/library/heaps.pl
-rw-r--r-- 8818 root root /usr/lib64/swipl-6.0.2/library/help.pl
-rw-r--r--104362 root root /usr/lib64/swipl-6.0.2/library/helpidx.pl
-rw-r--r-- 6513 root root /usr/lib64/swipl-6.0.2/library/hotfix.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/http
-rw-r--r-- 14345 root root /usr/lib64/swipl-6.0.2/library/iso_639.pl
-rw-r--r-- 2408 root root /usr/lib64/swipl-6.0.2/library/isub.pl
-rw-r--r-- 21448 root root /usr/lib64/swipl-6.0.2/library/listing.pl
-rw-r--r-- 17394 root root /usr/lib64/swipl-6.0.2/library/lists.pl
-rw-r--r-- 2973 root root /usr/lib64/swipl-6.0.2/library/main.pl
-rw-r--r-- 3651 root root /usr/lib64/swipl-6.0.2/library/make.pl
-rw-r--r-- 2017 root root /usr/lib64/swipl-6.0.2/library/memfile.pl
-rw-r--r-- 3934 root root /usr/lib64/swipl-6.0.2/library/mime.pl
-rw-r--r-- 7059 root root /usr/lib64/swipl-6.0.2/library/nb_rbtrees.pl
-rw-r--r-- 3428 root root /usr/lib64/swipl-6.0.2/library/nb_set.pl
-rw-r--r-- 3781 root root /usr/lib64/swipl-6.0.2/library/occurs.pl
-rw-r--r-- 4767 root root /usr/lib64/swipl-6.0.2/library/operators.pl
-rw-r--r-- 8680 root root /usr/lib64/swipl-6.0.2/library/option.pl
-rw-r--r-- 37044 root root /usr/lib64/swipl-6.0.2/library/optparse.pl
-rw-r--r-- 11343 root root /usr/lib64/swipl-6.0.2/library/ordsets.pl
-rw-r--r-- 5188 root root /usr/lib64/swipl-6.0.2/library/oset.pl
-rw-r--r-- 4817 root root /usr/lib64/swipl-6.0.2/library/pairs.pl
-rw-r--r-- 2093 root root /usr/lib64/swipl-6.0.2/library/pdt_console.pl
-rw-r--r-- 14134 root root /usr/lib64/swipl-6.0.2/library/persistency.pl
-rw-r--r-- 1699 root root /usr/lib64/swipl-6.0.2/library/pio.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/pldoc
-rw-r--r-- 3784 root root /usr/lib64/swipl-6.0.2/library/pldoc.pl
-rw-r--r-- 45779 root root /usr/lib64/swipl-6.0.2/library/plunit.pl
-rw-r--r-- 1595 root root /usr/lib64/swipl-6.0.2/library/porter_stem.pl
-rw-r--r-- 4622 root root /usr/lib64/swipl-6.0.2/library/portray_text.pl
-rw-r--r-- 27529 root root /usr/lib64/swipl-6.0.2/library/predicate_options.pl
-rw-r--r-- 11565 root root /usr/lib64/swipl-6.0.2/library/process.pl
-rw-r--r-- 18089 root root /usr/lib64/swipl-6.0.2/library/prolog_autoload.pl
-rw-r--r-- 8178 root root /usr/lib64/swipl-6.0.2/library/prolog_breakpoints.pl
-rw-r--r-- 21020 root root /usr/lib64/swipl-6.0.2/library/prolog_clause.pl
-rw-r--r-- 47302 root root /usr/lib64/swipl-6.0.2/library/prolog_colour.pl
-rw-r--r-- 3630 root root /usr/lib64/swipl-6.0.2/library/prolog_history.pl
-rw-r--r-- 4278 root root /usr/lib64/swipl-6.0.2/library/prolog_server.pl
-rw-r--r-- 16732 root root /usr/lib64/swipl-6.0.2/library/prolog_source.pl
-rw-r--r-- 7938 root root /usr/lib64/swipl-6.0.2/library/prolog_stack.pl
-rw-r--r-- 50221 root root /usr/lib64/swipl-6.0.2/library/prolog_xref.pl
-rw-r--r-- 10079 root root /usr/lib64/swipl-6.0.2/library/protobufs.pl
-rw-r--r-- 5654 root root /usr/lib64/swipl-6.0.2/library/pure_input.pl
-rw-r--r-- 22297 root root /usr/lib64/swipl-6.0.2/library/pwp.pl
-rw-r--r-- 19777 root root /usr/lib64/swipl-6.0.2/library/qpforeign.pl
-rw-r--r-- 19572 root root /usr/lib64/swipl-6.0.2/library/qsave.pl
-rw-r--r-- 9629 root root /usr/lib64/swipl-6.0.2/library/quintus.pl
-rw-r--r-- 9570 root root /usr/lib64/swipl-6.0.2/library/random.pl
-rw-r--r-- 29818 root root /usr/lib64/swipl-6.0.2/library/rbtrees.pl
-rw-r--r-- 11398 root root /usr/lib64/swipl-6.0.2/library/rdf.pl
-rw-r--r-- 7164 root root /usr/lib64/swipl-6.0.2/library/rdf_ntriples.pl
-rw-r--r-- 16421 root root /usr/lib64/swipl-6.0.2/library/rdf_parser.pl
-rw-r--r-- 10975 root root /usr/lib64/swipl-6.0.2/library/rdf_triple.pl
-rw-r--r-- 19334 root root /usr/lib64/swipl-6.0.2/library/rdf_write.pl
-rw-r--r-- 6251 root root /usr/lib64/swipl-6.0.2/library/readln.pl
-rw-r--r-- 6957 root root /usr/lib64/swipl-6.0.2/library/readutil.pl
-rw-r--r-- 14402 root root /usr/lib64/swipl-6.0.2/library/record.pl
-rw-r--r-- 4115 root root /usr/lib64/swipl-6.0.2/library/rewrite.pl
-rw-r--r-- 1852 root root /usr/lib64/swipl-6.0.2/library/rlimit.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/semweb
-rw-r--r-- 19387 root root /usr/lib64/swipl-6.0.2/library/settings.pl
-rw-r--r-- 14745 root root /usr/lib64/swipl-6.0.2/library/sgml.pl
-rw-r--r-- 23232 root root /usr/lib64/swipl-6.0.2/library/sgml_write.pl
-rw-r--r-- 2740 root root /usr/lib64/swipl-6.0.2/library/sha.pl
-rw-r--r-- 5646 root root /usr/lib64/swipl-6.0.2/library/shell.pl
-rw-r--r-- 13116 root root /usr/lib64/swipl-6.0.2/library/shlib.pl
-rw-r--r-- 3130 root root /usr/lib64/swipl-6.0.2/library/snowball.pl
-rw-r--r-- 4171 root root /usr/lib64/swipl-6.0.2/library/socket.pl
-rw-r--r-- 3158 root root /usr/lib64/swipl-6.0.2/library/sort.pl
-rw-r--r-- 4496 root root /usr/lib64/swipl-6.0.2/library/ssl.pl
-rw-r--r-- 11999 root root /usr/lib64/swipl-6.0.2/library/statistics.pl
-rw-r--r-- 2924 root root /usr/lib64/swipl-6.0.2/library/streaminfo.pl
-rw-r--r-- 3324 root root /usr/lib64/swipl-6.0.2/library/streampool.pl
-rw-r--r-- 2947 root root /usr/lib64/swipl-6.0.2/library/system.pl
-rw-r--r-- 1918 root root /usr/lib64/swipl-6.0.2/library/table.pl
-rw-r--r-- 6197 root root /usr/lib64/swipl-6.0.2/library/table_util.pl
-rw-r--r-- 7147 root root /usr/lib64/swipl-6.0.2/library/terms.pl
-rw-r--r-- 7543 root root /usr/lib64/swipl-6.0.2/library/test_cover.pl
-rw-r--r-- 5511 root root /usr/lib64/swipl-6.0.2/library/test_wizard.pl
-rw-r--r-- 12155 root root /usr/lib64/swipl-6.0.2/library/thread.pl
-rw-r--r-- 13380 root root /usr/lib64/swipl-6.0.2/library/thread_pool.pl
-rw-r--r-- 6472 root root /usr/lib64/swipl-6.0.2/library/threadutil.pl
-rw-r--r-- 4638 root root /usr/lib64/swipl-6.0.2/library/time.pl
-rw-r--r-- 8124 root root /usr/lib64/swipl-6.0.2/library/tty.pl
-rw-r--r-- 16482 root root /usr/lib64/swipl-6.0.2/library/ugraphs.pl
-rw-r--r-- 5238 root root /usr/lib64/swipl-6.0.2/library/uid.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/unicode
-rw-r--r-- 8560 root root /usr/lib64/swipl-6.0.2/library/unicode.pl
-rw-r--r-- 2021 root root /usr/lib64/swipl-6.0.2/library/unix.pl
-rw-r--r-- 10226 root root /usr/lib64/swipl-6.0.2/library/uri.pl
-rw-r--r-- 24938 root root /usr/lib64/swipl-6.0.2/library/url.pl
-rw-r--r-- 4070 root root /usr/lib64/swipl-6.0.2/library/utf8.pl
-rw-r--r-- 4758 root root /usr/lib64/swipl-6.0.2/library/varnumbers.pl
-rw-r--r-- 1830 root root /usr/lib64/swipl-6.0.2/library/vm.pl
-rw-r--r-- 6368 root root /usr/lib64/swipl-6.0.2/library/when.pl
-rw-r--r-- 8713 root root /usr/lib64/swipl-6.0.2/library/writef.pl
-rw-r--r-- 6594 root root /usr/lib64/swipl-6.0.2/library/www_browser.pl
-rw-r--r-- 10196 root root /usr/lib64/swipl-6.0.2/library/xpath.pl
-rw-r--r-- 7474 root root /usr/lib64/swipl-6.0.2/library/xsdp_types.pl
-rw-r--r-- 2737 root root /usr/lib64/swipl-6.0.2/library/zlib.pl
-rw-r--r-- 2878 root root /usr/lib64/swipl-6.0.2/library/DTD/HTML4.dcl
-rw-r--r-- 45643 root root /usr/lib64/swipl-6.0.2/library/DTD/HTML4.dtd
-rw-r--r-- 224 root root /usr/lib64/swipl-6.0.2/library/DTD/HTML4.soc
-rw-r--r-- 12023 root root /usr/lib64/swipl-6.0.2/library/DTD/HTMLlat1.ent
-rw-r--r-- 4116 root root /usr/lib64/swipl-6.0.2/library/DTD/HTMLspec.ent
-rw-r--r-- 14446 root root /usr/lib64/swipl-6.0.2/library/DTD/HTMLsym.ent
-rw-r--r-- 1289 root root /usr/lib64/swipl-6.0.2/library/chr/README
-rw-r--r-- 2592 root root /usr/lib64/swipl-6.0.2/library/chr/a_star.pl
-rw-r--r-- 3372 root root /usr/lib64/swipl-6.0.2/library/chr/binomialheap.pl
-rw-r--r-- 23348 root root /usr/lib64/swipl-6.0.2/library/chr/builtins.pl
-rw-r--r-- 6194 root root /usr/lib64/swipl-6.0.2/library/chr/chr_compiler_errors.pl
-rw-r--r-- 13164 root root /usr/lib64/swipl-6.0.2/library/chr/chr_compiler_options.pl
-rw-r--r-- 8475 root root /usr/lib64/swipl-6.0.2/library/chr/chr_compiler_utility.pl
-rw-r--r-- 2026 root root /usr/lib64/swipl-6.0.2/library/chr/chr_debug.pl
-rw-r--r-- 9506 root root /usr/lib64/swipl-6.0.2/library/chr/chr_hashtable_store.pl
-rw-r--r-- 3627 root root /usr/lib64/swipl-6.0.2/library/chr/chr_integertable_store.pl
-rw-r--r-- 3984 root root /usr/lib64/swipl-6.0.2/library/chr/chr_messages.pl
-rw-r--r-- 1927 root root /usr/lib64/swipl-6.0.2/library/chr/chr_op.pl
-rw-r--r-- 25841 root root /usr/lib64/swipl-6.0.2/library/chr/chr_runtime.pl
-rw-r--r--693621 root root /usr/lib64/swipl-6.0.2/library/chr/chr_translate.pl
-rw-r--r-- 6507 root root /usr/lib64/swipl-6.0.2/library/chr/clean_code.pl
-rw-r--r-- 2521 root root /usr/lib64/swipl-6.0.2/library/chr/find.pl
-rw-r--r--519083 root root /usr/lib64/swipl-6.0.2/library/chr/guard_entailment.pl
-rw-r--r-- 2559 root root /usr/lib64/swipl-6.0.2/library/chr/listmap.pl
-rw-r--r-- 1370 root root /usr/lib64/swipl-6.0.2/library/chr/pairlist.pl
-rw-r--r-- 39077 root root /usr/lib64/swipl-6.0.2/library/clp/bounds.pl
-rw-r--r-- 6386 root root /usr/lib64/swipl-6.0.2/library/clp/clp_distinct.pl
-rw-r--r-- 2500 root root /usr/lib64/swipl-6.0.2/library/clp/clp_events.pl
-rw-r--r--216768 root root /usr/lib64/swipl-6.0.2/library/clp/clpfd.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/clp/clpq
-rw-r--r-- 3694 root root /usr/lib64/swipl-6.0.2/library/clp/clpq.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/clp/clpqr
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/clp/clpr
-rw-r--r-- 3811 root root /usr/lib64/swipl-6.0.2/library/clp/clpr.pl
-rw-r--r-- 46796 root root /usr/lib64/swipl-6.0.2/library/clp/simplex.pl
-rw-r--r-- 6403 root root /usr/lib64/swipl-6.0.2/library/clp/clpq/bb_q.pl
-rw-r--r-- 48331 root root /usr/lib64/swipl-6.0.2/library/clp/clpq/bv_q.pl
-rw-r--r-- 13155 root root /usr/lib64/swipl-6.0.2/library/clp/clpq/fourmotz_q.pl
-rw-r--r-- 36160 root root /usr/lib64/swipl-6.0.2/library/clp/clpq/ineq_q.pl
-rw-r--r-- 6255 root root /usr/lib64/swipl-6.0.2/library/clp/clpq/itf_q.pl
-rw-r--r-- 25076 root root /usr/lib64/swipl-6.0.2/library/clp/clpq/nf_q.pl
-rw-r--r-- 10715 root root /usr/lib64/swipl-6.0.2/library/clp/clpq/store_q.pl
-rw-r--r-- 699 root root /usr/lib64/swipl-6.0.2/library/clp/clpqr/README
-rw-r--r-- 4814 root root /usr/lib64/swipl-6.0.2/library/clp/clpqr/class.pl
-rw-r--r-- 9218 root root /usr/lib64/swipl-6.0.2/library/clp/clpqr/dump.pl
-rw-r--r-- 5445 root root /usr/lib64/swipl-6.0.2/library/clp/clpqr/geler.pl
-rw-r--r-- 3606 root root /usr/lib64/swipl-6.0.2/library/clp/clpqr/itf.pl
-rw-r--r-- 4791 root root /usr/lib64/swipl-6.0.2/library/clp/clpqr/ordering.pl
-rw-r--r-- 7841 root root /usr/lib64/swipl-6.0.2/library/clp/clpqr/project.pl
-rw-r--r-- 7619 root root /usr/lib64/swipl-6.0.2/library/clp/clpqr/redund.pl
-rw-r--r-- 7306 root root /usr/lib64/swipl-6.0.2/library/clp/clpr/bb_r.pl
-rw-r--r-- 49621 root root /usr/lib64/swipl-6.0.2/library/clp/clpr/bv_r.pl
-rw-r--r-- 13284 root root /usr/lib64/swipl-6.0.2/library/clp/clpr/fourmotz_r.pl
-rw-r--r-- 40947 root root /usr/lib64/swipl-6.0.2/library/clp/clpr/ineq_r.pl
-rw-r--r-- 6461 root root /usr/lib64/swipl-6.0.2/library/clp/clpr/itf_r.pl
-rw-r--r-- 27161 root root /usr/lib64/swipl-6.0.2/library/clp/clpr/nf_r.pl
-rw-r--r-- 11443 root root /usr/lib64/swipl-6.0.2/library/clp/clpr/store_r.pl
-rw-r--r-- 4281 root root /usr/lib64/swipl-6.0.2/library/dialect/bim.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao
-rw-r--r-- 5316 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao.pl
-rw-r--r-- 1665 root root /usr/lib64/swipl-6.0.2/library/dialect/commons.pl
-rw-r--r-- 6969 root root /usr/lib64/swipl-6.0.2/library/dialect/hprolog.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/dialect/ifprolog
-rw-r--r-- 15007 root root /usr/lib64/swipl-6.0.2/library/dialect/ifprolog.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/dialect/iso
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/dialect/sicstus
-rw-r--r-- 13329 root root /usr/lib64/swipl-6.0.2/library/dialect/sicstus.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/dialect/swi
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/dialect/yap
-rw-r--r-- 6965 root root /usr/lib64/swipl-6.0.2/library/dialect/yap.pl
-rw-r--r-- 2458 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/aggregates.pl
-rw-r--r-- 1632 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/assertions.pl
-rw-r--r-- 1380 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/classic.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/engine
-rw-r--r-- 1531 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/format.pl
-rw-r--r-- 1360 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/iso_misc.pl
-rw-r--r-- 686 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/isomodes.pl
-rw-r--r-- 1978 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/lists.pl
-rw-r--r-- 1670 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/read.pl
-rw-r--r-- 424 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/regtypes.pl
-rw-r--r-- 3844 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/sockets.pl
-rw-r--r-- 3757 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/strings.pl
-rw-r--r-- 3391 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/system.pl
-rw-r--r-- 2226 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/terms.pl
-rw-r--r-- 2513 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/write.pl
-rw-r--r-- 1509 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/engine/hiord_rt.pl
-rw-r--r-- 1686 root root /usr/lib64/swipl-6.0.2/library/dialect/ciao/engine/internals.pl
-rw-r--r-- 9527 root root /usr/lib64/swipl-6.0.2/library/dialect/iso/iso_predicates.pl
-rw-r--r-- 3387 root root /usr/lib64/swipl-6.0.2/library/dialect/sicstus/arrays.pl
-rw-r--r-- 6649 root root /usr/lib64/swipl-6.0.2/library/dialect/sicstus/block.pl
-rw-r--r-- 2720 root root /usr/lib64/swipl-6.0.2/library/dialect/sicstus/lists.pl
-rw-r--r-- 4765 root root /usr/lib64/swipl-6.0.2/library/dialect/sicstus/sockets.pl
-rwxr-xr-x 3838 root root /usr/lib64/swipl-6.0.2/library/dialect/sicstus/swipl-lfr.pl
-rw-r--r-- 5620 root root /usr/lib64/swipl-6.0.2/library/dialect/sicstus/system.pl
-rw-r--r-- 2530 root root /usr/lib64/swipl-6.0.2/library/dialect/sicstus/timeout.pl
-rw-r--r-- 5512 root root /usr/lib64/swipl-6.0.2/library/dialect/swi/syspred_options.pl
-rw-r--r-- 351 root root /usr/lib64/swipl-6.0.2/library/dialect/yap/README.TXT
-rw-r--r-- 8806 root root /usr/lib64/swipl-6.0.2/library/http/INDEX.pl
-rw-r--r-- 679 root root /usr/lib64/swipl-6.0.2/library/http/README
-rw-r--r-- 7956 root root /usr/lib64/swipl-6.0.2/library/http/dcg_basics.pl
-rw-r--r-- 15936 root root /usr/lib64/swipl-6.0.2/library/http/html_head.pl
-rw-r--r-- 36146 root root /usr/lib64/swipl-6.0.2/library/http/html_write.pl
-rw-r--r-- 7750 root root /usr/lib64/swipl-6.0.2/library/http/http_authenticate.pl
-rw-r--r-- 16593 root root /usr/lib64/swipl-6.0.2/library/http/http_client.pl
-rw-r--r-- 7598 root root /usr/lib64/swipl-6.0.2/library/http/http_cookie.pl
-rw-r--r-- 3306 root root /usr/lib64/swipl-6.0.2/library/http/http_cors.pl
-rw-r--r-- 6458 root root /usr/lib64/swipl-6.0.2/library/http/http_dirindex.pl
-rw-r--r-- 27953 root root /usr/lib64/swipl-6.0.2/library/http/http_dispatch.pl
-rw-r--r-- 3241 root root /usr/lib64/swipl-6.0.2/library/http/http_error.pl
-rw-r--r-- 3658 root root /usr/lib64/swipl-6.0.2/library/http/http_exception.pl
-rw-r--r-- 4810 root root /usr/lib64/swipl-6.0.2/library/http/http_files.pl
-rw-r--r-- 51997 root root /usr/lib64/swipl-6.0.2/library/http/http_header.pl
-rw-r--r-- 2496 root root /usr/lib64/swipl-6.0.2/library/http/http_hook.pl
-rw-r--r-- 4606 root root /usr/lib64/swipl-6.0.2/library/http/http_host.pl
-rw-r--r-- 6993 root root /usr/lib64/swipl-6.0.2/library/http/http_json.pl
-rw-r--r-- 7843 root root /usr/lib64/swipl-6.0.2/library/http/http_log.pl
-rw-r--r-- 4207 root root /usr/lib64/swipl-6.0.2/library/http/http_mime_plugin.pl
-rw-r--r-- 27013 root root /usr/lib64/swipl-6.0.2/library/http/http_open.pl
-rw-r--r-- 33610 root root /usr/lib64/swipl-6.0.2/library/http/http_openid.pl
-rw-r--r-- 10359 root root /usr/lib64/swipl-6.0.2/library/http/http_parameters.pl
-rw-r--r-- 9070 root root /usr/lib64/swipl-6.0.2/library/http/http_path.pl
-rw-r--r-- 11011 root root /usr/lib64/swipl-6.0.2/library/http/http_pwp.pl
-rw-r--r-- 3557 root root /usr/lib64/swipl-6.0.2/library/http/http_server_files.pl
-rw-r--r-- 19057 root root /usr/lib64/swipl-6.0.2/library/http/http_session.pl
-rw-r--r-- 4303 root root /usr/lib64/swipl-6.0.2/library/http/http_sgml_plugin.pl
-rw-r--r-- 3761 root root /usr/lib64/swipl-6.0.2/library/http/http_ssl_plugin.pl
-rw-r--r-- 9862 root root /usr/lib64/swipl-6.0.2/library/http/http_stream.pl
-rw-r--r-- 12520 root root /usr/lib64/swipl-6.0.2/library/http/http_wrapper.pl
-rw-r--r-- 2223 root root /usr/lib64/swipl-6.0.2/library/http/inetd_httpd.pl
-rw-r--r-- 6812 root root /usr/lib64/swipl-6.0.2/library/http/js_write.pl
-rw-r--r-- 20062 root root /usr/lib64/swipl-6.0.2/library/http/json.pl
-rw-r--r-- 17662 root root /usr/lib64/swipl-6.0.2/library/http/json_convert.pl
-rw-r--r-- 4960 root root /usr/lib64/swipl-6.0.2/library/http/mimepack.pl
-rw-r--r-- 5407 root root /usr/lib64/swipl-6.0.2/library/http/mimetype.pl
-rw-r--r-- 19738 root root /usr/lib64/swipl-6.0.2/library/http/thread_httpd.pl
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/http/web
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/http/web/css
drwxr-xr-x 4096 root root /usr/lib64/swipl-6.0.2/library/http/web/icons
-rw-r--r-- 383 root root /usr/lib64/swipl-6.0.2/library/http/web/css/dirindex.css
-rw-r--r-- 609 root root /usr/lib64/swipl-6.0.2/library/http/web/css/openid.css
-rw-r--r-- 284 root root /usr/lib64/swipl-6.0.2/library/http/web/icons/back.png
-rw-r--r-- 285 root root /usr/lib64/swipl-6.0.2/library/http/web/icons/c.png
-rw-r--r-- 315 root root /usr/lib64/swipl-6.0.2/library/http/web/icons/compressed.png
-rw-r--r-- 272 root root /usr/lib64/swipl-6.0.2/library/http/web/icons/folder.png
-rw-r--r-- 260 root root /usr/lib64/swipl-6.0.2/library/http/web/icons/generic.png
-rw-r--r-- 306 root root /usr/lib64/swipl-6.0.2/library/http/web/icons/layout.png
-rw-r--r-- 2272 root root /usr/lib64/swipl-6.0.2/library/http/web/icons/openid-logo-square.png
-rw-r--r-- 493 root root /usr/lib64/swipl-6.0.2/library/http/web/icons/openid-logo-tiny.png
-rw-r--r-- 830 root root /usr/lib64/swipl-6.0.2/library/pldoc/README
-rw-r--r-- 4765 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_access.pl
-rw-r--r-- 3359 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_colour.pl
-rw-r--r-- 50898 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_html.pl
-rw-r--r-- 13369 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_htmlsrc.pl
-rw-r--r-- 11797 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_index.pl
-rw-r--r-- 3107 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_library.pl
-rw-r--r-- 26915 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_man.pl
-rw-r--r-- 13158 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_modes.pl
-rw-r--r-- 11446 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_process.pl
-rw-r--r-- 3538 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_register.pl
-rw-r--r-- 12399 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_search.pl
-rw-r--r-- 2863 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_util.pl
-rw-r--r-- 36829 root root /usr/lib64/swipl-6.0.2/library/pldoc/doc_wiki.pl
-rw-r--r-- 2244 root root /usr/lib64/swipl-6.0.2/library/pldoc/edit.gif
-rw-r--r-- 1406 root root /usr/lib64/swipl-6.0.2/library/pldoc/favicon.ico
-rw-r--r-- 752 root root /usr/lib64/swipl-6.0.2/library/pldoc/h1-bg.png
-rw-r--r-- 673 root root /usr/lib64/swipl-6.0.2/library/pldoc/h2-bg.png
-rw-r--r-- 1852 root root /usr/lib64/swipl-6.0.2/library/pldoc/hooks.pl
-rw-r--r-- 508 root root /usr/lib64/swipl-6.0.2/library/pldoc/multi-bg.png
-rw-r--r-- 4895 root root /usr/lib64/swipl-6.0.2/library/pldoc/pldoc.css
-rw-r--r-- 1142 root root /usr/lib64/swipl-6.0.2/library/pldoc/pldoc.js
-rw-r--r-- 15643 root root /usr/lib64/swipl-6.0.2/library/pldoc/pldoc.sty
-rw-r--r-- 2316 root root /usr/lib64/swipl-6.0.2/library/pldoc/pllisting.css
-rw-r--r-- 770 root root /usr/lib64/swipl-6.0.2/library/pldoc/priv-bg.png
-rw-r--r-- 1589 root root /usr/lib64/swipl-6.0.2/library/pldoc/private.png
-rw-r--r-- 673 root root /usr/lib64/swipl-6.0.2/library/pldoc/pub-bg.png
-rw-r--r-- 4996 root root /usr/lib64/swipl-6.0.2/library/pldoc/public.png
-rw-r--r-- 222 root root /usr/lib64/swipl-6.0.2/library/pldoc/reload.gif
-rw-r--r-- 6493 root root /usr/lib64/swipl-6.0.2/library/pldoc/source.png
-rw-r--r-- 1214 root root /usr/lib64/swipl-6.0.2/library/pldoc/up.gif
-rw-r--r-- 7941 root root /usr/lib64/swipl-6.0.2/library/semweb/INDEX.pl
-rw-r--r-- 1230 root root /usr/lib64/swipl-6.0.2/library/semweb/README
-rw-r--r-- 8461 root root /usr/lib64/swipl-6.0.2/library/semweb/dc.rdfs
-rw-r--r-- 3128 root root /usr/lib64/swipl-6.0.2/library/semweb/eor.rdfs
-rw-r--r-- 8674 root root /usr/lib64/swipl-6.0.2/library/semweb/owl.owl
-rw-r--r-- 6497 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_cache.pl
-rw-r--r-- 3416 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_compare.pl
-rw-r--r-- 67357 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_db.pl
-rw-r--r-- 29596 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_edit.pl
-rw-r--r-- 5487 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_http_plugin.pl
-rw-r--r-- 26417 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_library.pl
-rw-r--r-- 2194 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_library.ttl
-rw-r--r-- 18232 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_litindex.pl
-rw-r--r-- 32596 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_persistency.pl
-rw-r--r-- 4943 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_portray.pl
-rw-r--r-- 25871 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_turtle.pl
-rw-r--r-- 36580 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_turtle_write.pl
-rw-r--r-- 1812 root root /usr/lib64/swipl-6.0.2/library/semweb/rdf_zlib_plugin.pl
-rw-r--r-- 14794 root root /usr/lib64/swipl-6.0.2/library/semweb/rdfs.pl
-rw-r--r-- 10483 root root /usr/lib64/swipl-6.0.2/library/semweb/rdfs.rdfs
-rw-r--r-- 9993 root root /usr/lib64/swipl-6.0.2/library/semweb/sparql_client.pl
-rw-r--r-- 3231 root root /usr/lib64/swipl-6.0.2/library/semweb/turtle_base.pl
-rw-r--r-- 8584 root root /usr/lib64/swipl-6.0.2/library/unicode/blocks.pl
-rw-r--r-- 4689 root root /usr/lib64/swipl-6.0.2/library/unicode/unicode_data.pl
drwxr-xr-x 4096 root root /usr/share/doc/pl-6.0.2
-rw-r--r-- 26440 root root /usr/share/doc/pl-6.0.2/COPYING
-rw-r--r-- 1530 root root /usr/share/doc/pl-6.0.2/README
-rw-r--r-- 6 root root /usr/share/doc/pl-6.0.2/VERSION
-rw-r--r-- 4021 root root /usr/share/doc/pl-6.0.2/dotplrc
-rw-r--r-- 32070 root root /usr/share/doc/pl-6.0.2/relnotes-5.10
-rw-r--r-- 2752 root root /usr/share/man/man1/swipl-ld.1.gz
-rw-r--r-- 776 root root /usr/share/man/man1/swipl-rc.1.gz
-rw-r--r-- 4351 root root /usr/share/man/man1/swipl.1.gz