lrwxrwxrwx | 33 | root |
root |
/usr/bin/swipl
|
lrwxrwxrwx | 36 | root |
root |
/usr/bin/swipl-ld
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/01
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/0d
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/10
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/1c
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/1e
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/20
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/23
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/26
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/2d
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/30
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/35
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/38
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/3e
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/42
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/45
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/51
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/5b
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/6b
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/6e
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/78
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/7e
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/7f
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/83
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/8a
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/8b
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/91
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/92
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/94
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/9b
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/9d
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/a5
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/ad
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/b0
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/b1
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/b8
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/b9
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/bc
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/bf
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/c6
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/d9
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/da
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/e2
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/e6
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/ee
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/f3
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/f4
|
lrwxrwxrwx | 55 | root |
root |
/usr/lib/.build-id/01/7c231c278295aaa30ed48f50479b6d061f8bfc
|
lrwxrwxrwx | 49 | root |
root |
/usr/lib/.build-id/0d/7e1e7d882cd957c84bd7533e0c148c9e4e6536
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/10/3f851da043a0d9c7ca3ee71ead3aba50dd2b31
|
lrwxrwxrwx | 48 | root |
root |
/usr/lib/.build-id/1c/af4f121b78597ba3f4e4e4720ddc9e25930026
|
lrwxrwxrwx | 47 | root |
root |
/usr/lib/.build-id/1e/3ccbd54e3387d354c1c7382294148c8c0e9d85
|
lrwxrwxrwx | 54 | root |
root |
/usr/lib/.build-id/20/ccd6fd03f433abe5569b350027ec3cca3a7581
|
lrwxrwxrwx | 48 | root |
root |
/usr/lib/.build-id/23/64ab05e3b2c6c8a507fa0032f95c97978d7a45
|
lrwxrwxrwx | 51 | root |
root |
/usr/lib/.build-id/26/7d19761d1e0991438d9ba81ccbc860babbe327
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/2d/dbb3745875bee467f98129ac573b7f7383d42a
|
lrwxrwxrwx | 48 | root |
root |
/usr/lib/.build-id/30/bac1a681134ad3725a086b078eb269e0fd8119
|
lrwxrwxrwx | 55 | root |
root |
/usr/lib/.build-id/35/ad2b629833f8300ce0ea56c6c190ba21b9c6c2
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/38/e6b94d750873750dbcef296cfea611d5ad7e2a
|
lrwxrwxrwx | 53 | root |
root |
/usr/lib/.build-id/3e/96ccac8bcd23266db67be05e3de82d32a69209
|
lrwxrwxrwx | 51 | root |
root |
/usr/lib/.build-id/3e/d03ad49817117598065b53c87bae0a05cc3fcc
|
lrwxrwxrwx | 51 | root |
root |
/usr/lib/.build-id/42/fd05d19c4fea4be7fd86ce7cfe5359403ddb4c
|
lrwxrwxrwx | 51 | root |
root |
/usr/lib/.build-id/45/0bfb89537af932349f82784538dd908770f3cf
|
lrwxrwxrwx | 48 | root |
root |
/usr/lib/.build-id/45/6abf0a791cfe7d2bf30d689b734b058ef3f680
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/51/2ccfb06e4a9c8b600d51528019066fdfbd54ee
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/5b/38eb8ad3a7be8988d22993342df1b2135a2872
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/5b/eac18f2dcd59e325cacd03da67b1f469abab65
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/6b/59cc02766f89d2913ed5ba2cab11324045427d
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/6e/0e03857ef37c7d838c49a2c9426635b1c1a7a3
|
lrwxrwxrwx | 49 | root |
root |
/usr/lib/.build-id/78/2a316b8d14c6268028286d32cd71682b94cdf4
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/7e/7df302662341b01a4712c6da787a191432a163
|
lrwxrwxrwx | 48 | root |
root |
/usr/lib/.build-id/7f/ecfa877422d1bb6e0b50451100997d3a17be73
|
lrwxrwxrwx | 60 | root |
root |
/usr/lib/.build-id/83/a551678ffce1b55a7c033e1033b38aabdcd407
|
lrwxrwxrwx | 51 | root |
root |
/usr/lib/.build-id/8a/9fa31834ff77dbfc76e12b689e8284a5ac818c
|
lrwxrwxrwx | 58 | root |
root |
/usr/lib/.build-id/8b/e8d1f2d5aa0f3ce0d29e6803c793ee0e90398a
|
lrwxrwxrwx | 54 | root |
root |
/usr/lib/.build-id/91/1d2821838e34db670e63538d94e2b3c97fa73a
|
lrwxrwxrwx | 53 | root |
root |
/usr/lib/.build-id/92/ed7d81a083ab0b0508917241e10c8e4a77e4a4
|
lrwxrwxrwx | 46 | root |
root |
/usr/lib/.build-id/94/1a880d10330aa3e2329715a2152b6eb94f3a0e
|
lrwxrwxrwx | 53 | root |
root |
/usr/lib/.build-id/9b/5e97a35b8aa906eb33b54a8f5fc868a065aaa3
|
lrwxrwxrwx | 51 | root |
root |
/usr/lib/.build-id/9d/2b84b24207f8e951479935e416a8e5417c9aec
|
lrwxrwxrwx | 55 | root |
root |
/usr/lib/.build-id/a5/7c52da3673cdee73457218073ab9e5778bd6b6
|
lrwxrwxrwx | 47 | root |
root |
/usr/lib/.build-id/a5/e0d09fea966d3cb86485beb7336b592ba169fc
|
lrwxrwxrwx | 54 | root |
root |
/usr/lib/.build-id/ad/112c0123916ba1ca29202aa5c9e73832a137eb
|
lrwxrwxrwx | 48 | root |
root |
/usr/lib/.build-id/b0/3c4e08409cd579eb678888695e88aa9c3fd8e0
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/b0/6a7fddd4d736e8733667d918ddf14019582e22
|
lrwxrwxrwx | 57 | root |
root |
/usr/lib/.build-id/b1/60c5591d5a011de6c7b87db4384c15f216e9fe
|
lrwxrwxrwx | 52 | root |
root |
/usr/lib/.build-id/b1/7ce764c71c7c6587a8646b7da481104a03622c
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/b8/b7f72bbacff911a850df9f807e0f8ef369bb9d
|
lrwxrwxrwx | 52 | root |
root |
/usr/lib/.build-id/b9/859bec9f5a213d6dbc0e89026433db434d23ea
|
lrwxrwxrwx | 54 | root |
root |
/usr/lib/.build-id/bc/addb61ce60813ad1ae4323e8aff110414c7c63
|
lrwxrwxrwx | 47 | root |
root |
/usr/lib/.build-id/bf/76bf3f01fedcdfd581c981b34e93f8df69492d
|
lrwxrwxrwx | 49 | root |
root |
/usr/lib/.build-id/c6/39ac41cfa426395c06e280a0974793a854b17c
|
lrwxrwxrwx | 54 | root |
root |
/usr/lib/.build-id/d9/2a14034683cc5754dda59168008ac10bf699fd
|
lrwxrwxrwx | 52 | root |
root |
/usr/lib/.build-id/da/eef4388aad6de67d490e6d65c504b7e44f1e1b
|
lrwxrwxrwx | 54 | root |
root |
/usr/lib/.build-id/e2/65b01951dc0cd86349c47a79b5133209db4466
|
lrwxrwxrwx | 51 | root |
root |
/usr/lib/.build-id/e6/b00bfef487fd6a9f89e3f832e650e25919aea1
|
lrwxrwxrwx | 50 | root |
root |
/usr/lib/.build-id/e6/cc1cbb85ba0ced0459da48ba8d3f96fcde5c68
|
lrwxrwxrwx | 47 | root |
root |
/usr/lib/.build-id/e6/ee38ae1a48cded3311a73e1107d1adf4baa0a1
|
lrwxrwxrwx | 55 | root |
root |
/usr/lib/.build-id/ee/3bb854fd09abd04d9df6ccb4c6c1625e2f0a3e
|
lrwxrwxrwx | 51 | root |
root |
/usr/lib/.build-id/f3/7c8bf71a77b7f24be40605d8011eb206c97ce3
|
lrwxrwxrwx | 49 | root |
root |
/usr/lib/.build-id/f4/b23527c3dc509d1ff1861044ff07591be04d13
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/cmake/swipl
|
-rw-r--r-- | 1166 | root |
root |
/usr/lib/cmake/swipl/SWIPLConfig.cmake
|
-rw-r--r-- | 1722 | root |
root |
/usr/lib/cmake/swipl/SWIPLConfigVersion.cmake
|
-rw-r--r-- | 1361 | root |
root |
/usr/lib/cmake/swipl/SWIPLTargets-relwithdebinfo.cmake
|
-rw-r--r-- | 3717 | root |
root |
/usr/lib/cmake/swipl/SWIPLTargets.cmake
|
-rw-r--r-- | 1823 | root |
root |
/usr/lib/swipl/LICENSE
|
-rw-r--r-- | 1859 | root |
root |
/usr/lib/swipl/README.md
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/bin
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/boot
|
-rw-r--r-- | 92648 | root |
root |
/usr/lib/swipl/boot.prc
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/customize
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/demo
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/include
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/lib
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library
|
-rw-r--r-- | 2 | root |
root |
/usr/lib/swipl/swipl.home
|
-rw-r--r-- | 4172 | root |
root |
/usr/lib/swipl/swipl.rc
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/xpce
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/bin/i686-linux
|
-rwxr-xr-x | 107 | root |
root |
/usr/lib/swipl/bin/latex2html
|
-rw-r--r-- | 3 | root |
root |
/usr/lib/swipl/bin/swipl.home
|
-rwxr-xr-x | 14620 | root |
root |
/usr/lib/swipl/bin/i686-linux/swipl
|
-rwxr-xr-x | 31816 | root |
root |
/usr/lib/swipl/bin/i686-linux/swipl-ld
|
-rw-r--r-- | 2495 | root |
root |
/usr/lib/swipl/boot/apply.pl
|
-rw-r--r-- | 8817 | root |
root |
/usr/lib/swipl/boot/attvar.pl
|
-rw-r--r-- | 29311 | root |
root |
/usr/lib/swipl/boot/autoload.pl
|
-rw-r--r-- | 9532 | root |
root |
/usr/lib/swipl/boot/bags.pl
|
-rw-r--r-- | 12363 | root |
root |
/usr/lib/swipl/boot/dcg.pl
|
-rw-r--r-- | 5336 | root |
root |
/usr/lib/swipl/boot/dicts.pl
|
-rw-r--r-- | 14718 | root |
root |
/usr/lib/swipl/boot/dwim.pl
|
-rw-r--r-- | 5386 | root |
root |
/usr/lib/swipl/boot/engines.pl
|
-rw-r--r-- | 46937 | root |
root |
/usr/lib/swipl/boot/expand.pl
|
-rw-r--r-- | 2324 | root |
root |
/usr/lib/swipl/boot/gc.pl
|
-rw-r--r-- | 10732 | root |
root |
/usr/lib/swipl/boot/history.pl
|
-rw-r--r-- | 128342 | root |
root |
/usr/lib/swipl/boot/init.pl
|
-rw-r--r-- | 2499 | root |
root |
/usr/lib/swipl/boot/iri.pl
|
-rw-r--r-- | 13145 | root |
root |
/usr/lib/swipl/boot/license.pl
|
-rw-r--r-- | 3024 | root |
root |
/usr/lib/swipl/boot/load.pl
|
-rw-r--r-- | 64173 | root |
root |
/usr/lib/swipl/boot/messages.pl
|
-rw-r--r-- | 7788 | root |
root |
/usr/lib/swipl/boot/packs.pl
|
-rw-r--r-- | 4872 | root |
root |
/usr/lib/swipl/boot/predopts.pl
|
-rw-r--r-- | 4265 | root |
root |
/usr/lib/swipl/boot/qlf.pl
|
-rw-r--r-- | 7763 | root |
root |
/usr/lib/swipl/boot/rc.pl
|
-rw-r--r-- | 48344 | root |
root |
/usr/lib/swipl/boot/syspred.pl
|
-rw-r--r-- | 63626 | root |
root |
/usr/lib/swipl/boot/tabling.pl
|
-rw-r--r-- | 46787 | root |
root |
/usr/lib/swipl/boot/toplevel.pl
|
-rw-r--r-- | 7029 | root |
root |
/usr/lib/swipl/boot/topvars.pl
|
-rw-r--r-- | 808 | root |
root |
/usr/lib/swipl/customize/README.md
|
-rw-r--r-- | 1640 | root |
root |
/usr/lib/swipl/customize/edit
|
-rw-r--r-- | 5872 | root |
root |
/usr/lib/swipl/customize/init.pl
|
-rw-r--r-- | 1051 | root |
root |
/usr/lib/swipl/demo/README.md
|
-rw-r--r-- | 903 | root |
root |
/usr/lib/swipl/demo/likes.pl
|
-rw-r--r-- | 51466 | root |
root |
/usr/lib/swipl/include/SWI-Prolog.h
|
-rw-r--r-- | 15993 | root |
root |
/usr/lib/swipl/include/SWI-Stream.h
|
-rw-r--r-- | 28804 | root |
root |
/usr/lib/swipl/include/SWI-cpp.h
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/include/Yap
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/include/sicstus
|
-rw-r--r-- | 6118 | root |
root |
/usr/lib/swipl/include/Yap/YapInterface.h
|
-rw-r--r-- | 10504 | root |
root |
/usr/lib/swipl/include/sicstus/sicstus.h
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/lib/i686-linux
|
-rwxr-xr-x | 31900 | root |
root |
/usr/lib/swipl/lib/i686-linux/archive4pl.so
|
-rwxr-xr-x | 36476 | root |
root |
/usr/lib/swipl/lib/i686-linux/bdb4pl.so
|
-rwxr-xr-x | 18944 | root |
root |
/usr/lib/swipl/lib/i686-linux/cgi.so
|
-rwxr-xr-x | 18840 | root |
root |
/usr/lib/swipl/lib/i686-linux/crypt.so
|
-rwxr-xr-x | 44724 | root |
root |
/usr/lib/swipl/lib/i686-linux/crypto4pl.so
|
-rwxr-xr-x | 26924 | root |
root |
/usr/lib/swipl/lib/i686-linux/double_metaphone.so
|
-rwxr-xr-x | 14720 | root |
root |
/usr/lib/swipl/lib/i686-linux/files.so
|
-rwxr-xr-x | 47892 | root |
root |
/usr/lib/swipl/lib/i686-linux/hashstream.so
|
-rwxr-xr-x | 35828 | root |
root |
/usr/lib/swipl/lib/i686-linux/http_stream.so
|
-rwxr-xr-x | 31160 | root |
root |
/usr/lib/swipl/lib/i686-linux/inclpr.so
|
-rwxr-xr-x | 14584 | root |
root |
/usr/lib/swipl/lib/i686-linux/isub.so
|
-rwxr-xr-x | 14672 | root |
root |
/usr/lib/swipl/lib/i686-linux/json.so
|
-rwxr-xr-x | 33564 | root |
root |
/usr/lib/swipl/lib/i686-linux/libedit4pl.so
|
lrwxrwxrwx | 13 | root |
root |
/usr/lib/swipl/lib/i686-linux/libswipl.so
|
lrwxrwxrwx | 17 | root |
root |
/usr/lib/swipl/lib/i686-linux/libswipl.so.8
|
-rwxr-xr-x | 1769440 | root |
root |
/usr/lib/swipl/lib/i686-linux/libswipl.so.8.2.2
|
-rwxr-xr-x | 14632 | root |
root |
/usr/lib/swipl/lib/i686-linux/mallocinfo.so
|
-rwxr-xr-x | 14628 | root |
root |
/usr/lib/swipl/lib/i686-linux/md54pl.so
|
-rwxr-xr-x | 31820 | root |
root |
/usr/lib/swipl/lib/i686-linux/memfile.so
|
-rwxr-xr-x | 18836 | root |
root |
/usr/lib/swipl/lib/i686-linux/ntriples.so
|
-rwxr-xr-x | 19684 | root |
root |
/usr/lib/swipl/lib/i686-linux/pcre4pl.so
|
-rwxr-xr-x | 14580 | root |
root |
/usr/lib/swipl/lib/i686-linux/pdt_console.so
|
-rwxr-xr-x | 23076 | root |
root |
/usr/lib/swipl/lib/i686-linux/porter_stem.so
|
-rwxr-xr-x | 27384 | root |
root |
/usr/lib/swipl/lib/i686-linux/process.so
|
-rwxr-xr-x | 14652 | root |
root |
/usr/lib/swipl/lib/i686-linux/prolog_stream.so
|
-rwxr-xr-x | 14636 | root |
root |
/usr/lib/swipl/lib/i686-linux/protobufs.so
|
-rwxr-xr-x | 227688 | root |
root |
/usr/lib/swipl/lib/i686-linux/rdf_db.so
|
-rwxr-xr-x | 20140 | root |
root |
/usr/lib/swipl/lib/i686-linux/readline4pl.so
|
-rwxr-xr-x | 14420 | root |
root |
/usr/lib/swipl/lib/i686-linux/readutil.so
|
-rwxr-xr-x | 14576 | root |
root |
/usr/lib/swipl/lib/i686-linux/rlimit.so
|
-rwxr-xr-x | 190532 | root |
root |
/usr/lib/swipl/lib/i686-linux/sgml2pl.so
|
-rwxr-xr-x | 47952 | root |
root |
/usr/lib/swipl/lib/i686-linux/sha4pl.so
|
-rwxr-xr-x | 156196 | root |
root |
/usr/lib/swipl/lib/i686-linux/snowball.so
|
-rwxr-xr-x | 48668 | root |
root |
/usr/lib/swipl/lib/i686-linux/socket.so
|
-rwxr-xr-x | 87108 | root |
root |
/usr/lib/swipl/lib/i686-linux/ssl4pl.so
|
-rwxr-xr-x | 14596 | root |
root |
/usr/lib/swipl/lib/i686-linux/streaminfo.so
|
-rwxr-xr-x | 14536 | root |
root |
/usr/lib/swipl/lib/i686-linux/syslog.so
|
-rwxr-xr-x | 44080 | root |
root |
/usr/lib/swipl/lib/i686-linux/table.so
|
-rwxr-xr-x | 52496 | root |
root |
/usr/lib/swipl/lib/i686-linux/tex.so
|
-rwxr-xr-x | 31452 | root |
root |
/usr/lib/swipl/lib/i686-linux/time.so
|
-rwxr-xr-x | 48672 | root |
root |
/usr/lib/swipl/lib/i686-linux/tipc.so
|
-rwxr-xr-x | 69200 | root |
root |
/usr/lib/swipl/lib/i686-linux/turtle.so
|
-rwxr-xr-x | 18920 | root |
root |
/usr/lib/swipl/lib/i686-linux/uid.so
|
-rwxr-xr-x | 511512 | root |
root |
/usr/lib/swipl/lib/i686-linux/unicode4pl.so
|
-rwxr-xr-x | 19124 | root |
root |
/usr/lib/swipl/lib/i686-linux/unix.so
|
-rwxr-xr-x | 31484 | root |
root |
/usr/lib/swipl/lib/i686-linux/uri.so
|
-rwxr-xr-x | 14600 | root |
root |
/usr/lib/swipl/lib/i686-linux/uuid.so
|
-rwxr-xr-x | 23140 | root |
root |
/usr/lib/swipl/lib/i686-linux/websocket.so
|
-rwxr-xr-x | 31608 | root |
root |
/usr/lib/swipl/lib/i686-linux/yaml4pl.so
|
-rwxr-xr-x | 18848 | root |
root |
/usr/lib/swipl/lib/i686-linux/zlib4pl.so
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/DTD
|
-rw-r--r-- | 63785 | root |
root |
/usr/lib/swipl/library/INDEX.pl
|
-rw-r--r-- | 23349 | root |
root |
/usr/lib/swipl/library/aggregate.pl
|
-rw-r--r-- | 15430 | root |
root |
/usr/lib/swipl/library/ansi_term.pl
|
-rw-r--r-- | 12074 | root |
root |
/usr/lib/swipl/library/apply.pl
|
-rw-r--r-- | 12224 | root |
root |
/usr/lib/swipl/library/apply_macros.pl
|
-rw-r--r-- | 23045 | root |
root |
/usr/lib/swipl/library/archive.pl
|
-rw-r--r-- | 9086 | root |
root |
/usr/lib/swipl/library/arithmetic.pl
|
-rw-r--r-- | 17321 | root |
root |
/usr/lib/swipl/library/assoc.pl
|
-rw-r--r-- | 5422 | root |
root |
/usr/lib/swipl/library/atom.pl
|
-rw-r--r-- | 19115 | root |
root |
/usr/lib/swipl/library/backcomp.pl
|
-rw-r--r-- | 8293 | root |
root |
/usr/lib/swipl/library/base32.pl
|
-rw-r--r-- | 12453 | root |
root |
/usr/lib/swipl/library/base64.pl
|
-rw-r--r-- | 19770 | root |
root |
/usr/lib/swipl/library/bdb.pl
|
-rw-r--r-- | 5355 | root |
root |
/usr/lib/swipl/library/broadcast.pl
|
-rw-r--r-- | 8069 | root |
root |
/usr/lib/swipl/library/c14n2.pl
|
-rw-r--r-- | 3184 | root |
root |
/usr/lib/swipl/library/cgi.pl
|
-rw-r--r-- | 6636 | root |
root |
/usr/lib/swipl/library/charsio.pl
|
-rw-r--r-- | 32995 | root |
root |
/usr/lib/swipl/library/check.pl
|
-rw-r--r-- | 25099 | root |
root |
/usr/lib/swipl/library/check_installation.pl
|
-rw-r--r-- | 3256 | root |
root |
/usr/lib/swipl/library/checklast.pl
|
-rw-r--r-- | 3195 | root |
root |
/usr/lib/swipl/library/checkselect.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/chr
|
-rw-r--r-- | 18247 | root |
root |
/usr/lib/swipl/library/chr.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/clp
|
-rw-r--r-- | 6449 | root |
root |
/usr/lib/swipl/library/codesio.pl
|
-rw-r--r-- | 6060 | root |
root |
/usr/lib/swipl/library/coinduction.pl
|
-rw-r--r-- | 3687 | root |
root |
/usr/lib/swipl/library/console_input.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/cql
|
-rw-r--r-- | 1817 | root |
root |
/usr/lib/swipl/library/crypt.pl
|
-rw-r--r-- | 40362 | root |
root |
/usr/lib/swipl/library/crypto.pl
|
-rw-r--r-- | 19094 | root |
root |
/usr/lib/swipl/library/csv.pl
|
-rw-r--r-- | 5022 | root |
root |
/usr/lib/swipl/library/ctypes.pl
|
-rw-r--r-- | 9452 | root |
root |
/usr/lib/swipl/library/date.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/dcg
|
-rw-r--r-- | 13404 | root |
root |
/usr/lib/swipl/library/debug.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/dialect
|
-rw-r--r-- | 4094 | root |
root |
/usr/lib/swipl/library/dialect.pl
|
-rw-r--r-- | 10377 | root |
root |
/usr/lib/swipl/library/dicts.pl
|
-rw-r--r-- | 8193 | root |
root |
/usr/lib/swipl/library/dif.pl
|
-rw-r--r-- | 12395 | root |
root |
/usr/lib/swipl/library/doc_files.pl
|
-rw-r--r-- | 25112 | root |
root |
/usr/lib/swipl/library/doc_http.pl
|
-rw-r--r-- | 46968 | root |
root |
/usr/lib/swipl/library/doc_latex.pl
|
-rw-r--r-- | 3658 | root |
root |
/usr/lib/swipl/library/double_metaphone.pl
|
-rw-r--r-- | 4497 | root |
root |
/usr/lib/swipl/library/edinburgh.pl
|
-rw-r--r-- | 19084 | root |
root |
/usr/lib/swipl/library/edit.pl
|
-rw-r--r-- | 21018 | root |
root |
/usr/lib/swipl/library/editline.pl
|
-rw-r--r-- | 15797 | root |
root |
/usr/lib/swipl/library/error.pl
|
-rw-r--r-- | 12195 | root |
root |
/usr/lib/swipl/library/explain.pl
|
-rw-r--r-- | 4186 | root |
root |
/usr/lib/swipl/library/fastrw.pl
|
-rw-r--r-- | 2757 | root |
root |
/usr/lib/swipl/library/files.pl
|
-rw-r--r-- | 19577 | root |
root |
/usr/lib/swipl/library/filesex.pl
|
-rw-r--r-- | 3462 | root |
root |
/usr/lib/swipl/library/gensym.pl
|
-rw-r--r-- | 27736 | root |
root |
/usr/lib/swipl/library/git.pl
|
-rw-r--r-- | 4787 | root |
root |
/usr/lib/swipl/library/hash_stream.pl
|
-rw-r--r-- | 8277 | root |
root |
/usr/lib/swipl/library/heaps.pl
|
-rw-r--r-- | 17586 | root |
root |
/usr/lib/swipl/library/help.pl
|
-rw-r--r-- | 7882 | root |
root |
/usr/lib/swipl/library/hotfix.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/http
|
-rw-r--r-- | 8622 | root |
root |
/usr/lib/swipl/library/intercept.pl
|
-rw-r--r-- | 8752 | root |
root |
/usr/lib/swipl/library/iostream.pl
|
-rw-r--r-- | 14677 | root |
root |
/usr/lib/swipl/library/iso_639.pl
|
-rw-r--r-- | 3001 | root |
root |
/usr/lib/swipl/library/isub.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/latex2html
|
-rw-r--r-- | 16008 | root |
root |
/usr/lib/swipl/library/lazy_lists.pl
|
-rw-r--r-- | 36658 | root |
root |
/usr/lib/swipl/library/listing.pl
|
-rw-r--r-- | 21687 | root |
root |
/usr/lib/swipl/library/lists.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/lynx
|
-rw-r--r-- | 4742 | root |
root |
/usr/lib/swipl/library/main.pl
|
-rw-r--r-- | 6323 | root |
root |
/usr/lib/swipl/library/make.pl
|
-rw-r--r-- | 4692 | root |
root |
/usr/lib/swipl/library/mallocinfo.pl
|
-rw-r--r-- | 2662 | root |
root |
/usr/lib/swipl/library/md5.pl
|
-rw-r--r-- | 3013 | root |
root |
/usr/lib/swipl/library/memfile.pl
|
-rw-r--r-- | 4472 | root |
root |
/usr/lib/swipl/library/modules.pl
|
-rw-r--r-- | 7938 | root |
root |
/usr/lib/swipl/library/nb_rbtrees.pl
|
-rw-r--r-- | 5666 | root |
root |
/usr/lib/swipl/library/nb_set.pl
|
-rw-r--r-- | 4122 | root |
root |
/usr/lib/swipl/library/obfuscate.pl
|
-rw-r--r-- | 4348 | root |
root |
/usr/lib/swipl/library/occurs.pl
|
-rw-r--r-- | 5244 | root |
root |
/usr/lib/swipl/library/operators.pl
|
-rw-r--r-- | 12277 | root |
root |
/usr/lib/swipl/library/option.pl
|
-rw-r--r-- | 38274 | root |
root |
/usr/lib/swipl/library/optparse.pl
|
-rw-r--r-- | 14539 | root |
root |
/usr/lib/swipl/library/ordsets.pl
|
-rw-r--r-- | 5747 | root |
root |
/usr/lib/swipl/library/oset.pl
|
-rw-r--r-- | 5864 | root |
root |
/usr/lib/swipl/library/pairs.pl
|
-rw-r--r-- | 42575 | root |
root |
/usr/lib/swipl/library/paxos.pl
|
-rw-r--r-- | 20550 | root |
root |
/usr/lib/swipl/library/pcre.pl
|
-rw-r--r-- | 2359 | root |
root |
/usr/lib/swipl/library/pdt_console.pl
|
-rw-r--r-- | 108836 | root |
root |
/usr/lib/swipl/library/pengines.pl
|
-rw-r--r-- | 28556 | root |
root |
/usr/lib/swipl/library/pengines_io.pl
|
-rw-r--r-- | 4030 | root |
root |
/usr/lib/swipl/library/pengines_sandbox.pl
|
-rw-r--r-- | 20868 | root |
root |
/usr/lib/swipl/library/persistency.pl
|
-rw-r--r-- | 1927 | root |
root |
/usr/lib/swipl/library/pio.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/pldoc
|
-rw-r--r-- | 4344 | root |
root |
/usr/lib/swipl/library/pldoc.pl
|
-rw-r--r-- | 53250 | root |
root |
/usr/lib/swipl/library/plunit.pl
|
-rw-r--r-- | 2139 | root |
root |
/usr/lib/swipl/library/porter_stem.pl
|
-rw-r--r-- | 5380 | root |
root |
/usr/lib/swipl/library/portray_text.pl
|
-rw-r--r-- | 23360 | root |
root |
/usr/lib/swipl/library/pprint.pl
|
-rw-r--r-- | 31050 | root |
root |
/usr/lib/swipl/library/predicate_options.pl
|
-rw-r--r-- | 18274 | root |
root |
/usr/lib/swipl/library/process.pl
|
-rw-r--r-- | 8549 | root |
root |
/usr/lib/swipl/library/prolog_autoload.pl
|
-rw-r--r-- | 10830 | root |
root |
/usr/lib/swipl/library/prolog_breakpoints.pl
|
-rw-r--r-- | 29785 | root |
root |
/usr/lib/swipl/library/prolog_clause.pl
|
-rw-r--r-- | 8792 | root |
root |
/usr/lib/swipl/library/prolog_code.pl
|
-rw-r--r-- | 39327 | root |
root |
/usr/lib/swipl/library/prolog_codewalk.pl
|
-rw-r--r-- | 100339 | root |
root |
/usr/lib/swipl/library/prolog_colour.pl
|
-rw-r--r-- | 40781 | root |
root |
/usr/lib/swipl/library/prolog_colour.qlf
|
-rw-r--r-- | 4808 | root |
root |
/usr/lib/swipl/library/prolog_config.pl
|
-rw-r--r-- | 17183 | root |
root |
/usr/lib/swipl/library/prolog_deps.pl
|
-rw-r--r-- | 6863 | root |
root |
/usr/lib/swipl/library/prolog_format.pl
|
-rw-r--r-- | 5865 | root |
root |
/usr/lib/swipl/library/prolog_history.pl
|
-rw-r--r-- | 5765 | root |
root |
/usr/lib/swipl/library/prolog_install.pl
|
-rw-r--r-- | 5185 | root |
root |
/usr/lib/swipl/library/prolog_jiti.pl
|
-rw-r--r-- | 9814 | root |
root |
/usr/lib/swipl/library/prolog_metainference.pl
|
-rw-r--r-- | 85354 | root |
root |
/usr/lib/swipl/library/prolog_pack.pl
|
-rw-r--r-- | 5143 | root |
root |
/usr/lib/swipl/library/prolog_server.pl
|
-rw-r--r-- | 30301 | root |
root |
/usr/lib/swipl/library/prolog_source.pl
|
-rw-r--r-- | 22557 | root |
root |
/usr/lib/swipl/library/prolog_stack.pl
|
-rw-r--r-- | 3648 | root |
root |
/usr/lib/swipl/library/prolog_stream.pl
|
-rw-r--r-- | 7069 | root |
root |
/usr/lib/swipl/library/prolog_trace.pl
|
-rw-r--r-- | 5404 | root |
root |
/usr/lib/swipl/library/prolog_wrap.pl
|
-rw-r--r-- | 90821 | root |
root |
/usr/lib/swipl/library/prolog_xref.pl
|
-rw-r--r-- | 61089 | root |
root |
/usr/lib/swipl/library/prolog_xref.qlf
|
-rw-r--r-- | 10363 | root |
root |
/usr/lib/swipl/library/protobufs.pl
|
-rw-r--r-- | 9872 | root |
root |
/usr/lib/swipl/library/pure_input.pl
|
-rw-r--r-- | 24939 | root |
root |
/usr/lib/swipl/library/pwp.pl
|
-rw-r--r-- | 22305 | root |
root |
/usr/lib/swipl/library/qpforeign.pl
|
-rw-r--r-- | 41161 | root |
root |
/usr/lib/swipl/library/qsave.pl
|
-rw-r--r-- | 11386 | root |
root |
/usr/lib/swipl/library/quasi_quotations.pl
|
-rw-r--r-- | 13093 | root |
root |
/usr/lib/swipl/library/quintus.pl
|
-rw-r--r-- | 11682 | root |
root |
/usr/lib/swipl/library/random.pl
|
-rw-r--r-- | 32314 | root |
root |
/usr/lib/swipl/library/rbtrees.pl
|
-rw-r--r-- | 13995 | root |
root |
/usr/lib/swipl/library/rdf.pl
|
-rw-r--r-- | 15977 | root |
root |
/usr/lib/swipl/library/rdf_diagram.pl
|
-rw-r--r-- | 19607 | root |
root |
/usr/lib/swipl/library/rdf_parser.pl
|
-rw-r--r-- | 12598 | root |
root |
/usr/lib/swipl/library/rdf_triple.pl
|
-rw-r--r-- | 21441 | root |
root |
/usr/lib/swipl/library/rdf_write.pl
|
-rw-r--r-- | 3331 | root |
root |
/usr/lib/swipl/library/readline.pl
|
-rw-r--r-- | 8927 | root |
root |
/usr/lib/swipl/library/readln.pl
|
-rw-r--r-- | 11089 | root |
root |
/usr/lib/swipl/library/readutil.pl
|
-rw-r--r-- | 16608 | root |
root |
/usr/lib/swipl/library/record.pl
|
-rw-r--r-- | 4960 | root |
root |
/usr/lib/swipl/library/rewrite_term.pl
|
-rw-r--r-- | 2303 | root |
root |
/usr/lib/swipl/library/rlimit.pl
|
-rw-r--r-- | 31711 | root |
root |
/usr/lib/swipl/library/saml.pl
|
-rw-r--r-- | 41689 | root |
root |
/usr/lib/swipl/library/sandbox.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/semweb
|
-rw-r--r-- | 23964 | root |
root |
/usr/lib/swipl/library/settings.pl
|
-rw-r--r-- | 26230 | root |
root |
/usr/lib/swipl/library/sgml.pl
|
-rw-r--r-- | 30445 | root |
root |
/usr/lib/swipl/library/sgml_write.pl
|
-rw-r--r-- | 5434 | root |
root |
/usr/lib/swipl/library/sha.pl
|
-rw-r--r-- | 10705 | root |
root |
/usr/lib/swipl/library/shell.pl
|
-rw-r--r-- | 19862 | root |
root |
/usr/lib/swipl/library/shlib.pl
|
-rw-r--r-- | 3598 | root |
root |
/usr/lib/swipl/library/snowball.pl
|
-rw-r--r-- | 28387 | root |
root |
/usr/lib/swipl/library/socket.pl
|
-rw-r--r-- | 12252 | root |
root |
/usr/lib/swipl/library/solution_sequences.pl
|
-rw-r--r-- | 3820 | root |
root |
/usr/lib/swipl/library/sort.pl
|
-rw-r--r-- | 29191 | root |
root |
/usr/lib/swipl/library/ssl.pl
|
-rw-r--r-- | 22965 | root |
root |
/usr/lib/swipl/library/statistics.pl
|
-rw-r--r-- | 3672 | root |
root |
/usr/lib/swipl/library/streaminfo.pl
|
-rw-r--r-- | 4258 | root |
root |
/usr/lib/swipl/library/streampool.pl
|
-rw-r--r-- | 6531 | root |
root |
/usr/lib/swipl/library/syslog.pl
|
-rw-r--r-- | 3308 | root |
root |
/usr/lib/swipl/library/system.pl
|
-rw-r--r-- | 2342 | root |
root |
/usr/lib/swipl/library/table.pl
|
-rw-r--r-- | 6624 | root |
root |
/usr/lib/swipl/library/table_util.pl
|
-rw-r--r-- | 12612 | root |
root |
/usr/lib/swipl/library/tables.pl
|
-rw-r--r-- | 1800 | root |
root |
/usr/lib/swipl/library/tabling.pl
|
-rw-r--r-- | 4636 | root |
root |
/usr/lib/swipl/library/term_to_json.pl
|
-rw-r--r-- | 8879 | root |
root |
/usr/lib/swipl/library/terms.pl
|
-rw-r--r-- | 10479 | root |
root |
/usr/lib/swipl/library/test_cover.pl
|
-rw-r--r-- | 7990 | root |
root |
/usr/lib/swipl/library/test_wizard.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/theme
|
-rw-r--r-- | 27526 | root |
root |
/usr/lib/swipl/library/thread.pl
|
-rw-r--r-- | 16881 | root |
root |
/usr/lib/swipl/library/thread_pool.pl
|
-rw-r--r-- | 15143 | root |
root |
/usr/lib/swipl/library/threadutil.pl
|
-rw-r--r-- | 6295 | root |
root |
/usr/lib/swipl/library/time.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/tipc
|
-rw-r--r-- | 9275 | root |
root |
/usr/lib/swipl/library/tty.pl
|
-rw-r--r-- | 34433 | root |
root |
/usr/lib/swipl/library/udp_broadcast.pl
|
-rw-r--r-- | 19797 | root |
root |
/usr/lib/swipl/library/ugraphs.pl
|
-rw-r--r-- | 7476 | root |
root |
/usr/lib/swipl/library/uid.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/unicode
|
-rw-r--r-- | 9010 | root |
root |
/usr/lib/swipl/library/unicode.pl
|
-rw-r--r-- | 11449 | root |
root |
/usr/lib/swipl/library/unix.pl
|
-rw-r--r-- | 13083 | root |
root |
/usr/lib/swipl/library/uri.pl
|
-rw-r--r-- | 28153 | root |
root |
/usr/lib/swipl/library/url.pl
|
-rw-r--r-- | 4605 | root |
root |
/usr/lib/swipl/library/utf8.pl
|
-rw-r--r-- | 3174 | root |
root |
/usr/lib/swipl/library/uuid.pl
|
-rw-r--r-- | 7141 | root |
root |
/usr/lib/swipl/library/varnumbers.pl
|
-rw-r--r-- | 3673 | root |
root |
/usr/lib/swipl/library/vm.pl
|
-rw-r--r-- | 6921 | root |
root |
/usr/lib/swipl/library/wfs.pl
|
-rw-r--r-- | 7666 | root |
root |
/usr/lib/swipl/library/when.pl
|
-rw-r--r-- | 15557 | root |
root |
/usr/lib/swipl/library/win_menu.pl
|
-rw-r--r-- | 9921 | root |
root |
/usr/lib/swipl/library/writef.pl
|
-rw-r--r-- | 8300 | root |
root |
/usr/lib/swipl/library/www_browser.pl
|
-rw-r--r-- | 16892 | root |
root |
/usr/lib/swipl/library/xmldsig.pl
|
-rw-r--r-- | 17382 | root |
root |
/usr/lib/swipl/library/xmlenc.pl
|
-rw-r--r-- | 18456 | root |
root |
/usr/lib/swipl/library/xpath.pl
|
-rw-r--r-- | 8476 | root |
root |
/usr/lib/swipl/library/xsdp_types.pl
|
-rw-r--r-- | 19510 | root |
root |
/usr/lib/swipl/library/yall.pl
|
-rw-r--r-- | 10718 | root |
root |
/usr/lib/swipl/library/yaml.pl
|
-rw-r--r-- | 7641 | root |
root |
/usr/lib/swipl/library/zip.pl
|
-rw-r--r-- | 4133 | root |
root |
/usr/lib/swipl/library/zlib.pl
|
-rw-r--r-- | 2878 | root |
root |
/usr/lib/swipl/library/DTD/HTML4.dcl
|
-rw-r--r-- | 45643 | root |
root |
/usr/lib/swipl/library/DTD/HTML4.dtd
|
-rw-r--r-- | 224 | root |
root |
/usr/lib/swipl/library/DTD/HTML4.soc
|
-rw-r--r-- | 17209 | root |
root |
/usr/lib/swipl/library/DTD/HTML5.dtd
|
-rw-r--r-- | 12023 | root |
root |
/usr/lib/swipl/library/DTD/HTMLlat1.ent
|
-rw-r--r-- | 4116 | root |
root |
/usr/lib/swipl/library/DTD/HTMLspec.ent
|
-rw-r--r-- | 14446 | root |
root |
/usr/lib/swipl/library/DTD/HTMLsym.ent
|
-rw-r--r-- | 2799 | root |
root |
/usr/lib/swipl/library/chr/a_star.pl
|
-rw-r--r-- | 3579 | root |
root |
/usr/lib/swipl/library/chr/binomialheap.pl
|
-rw-r--r-- | 23633 | root |
root |
/usr/lib/swipl/library/chr/builtins.pl
|
-rw-r--r-- | 6402 | root |
root |
/usr/lib/swipl/library/chr/chr_compiler_errors.pl
|
-rw-r--r-- | 13368 | root |
root |
/usr/lib/swipl/library/chr/chr_compiler_options.pl
|
-rw-r--r-- | 8683 | root |
root |
/usr/lib/swipl/library/chr/chr_compiler_utility.pl
|
-rw-r--r-- | 2227 | root |
root |
/usr/lib/swipl/library/chr/chr_debug.pl
|
-rw-r--r-- | 9711 | root |
root |
/usr/lib/swipl/library/chr/chr_hashtable_store.pl
|
-rw-r--r-- | 3828 | root |
root |
/usr/lib/swipl/library/chr/chr_integertable_store.pl
|
-rw-r--r-- | 4191 | root |
root |
/usr/lib/swipl/library/chr/chr_messages.pl
|
-rw-r--r-- | 2134 | root |
root |
/usr/lib/swipl/library/chr/chr_op.pl
|
-rw-r--r-- | 27409 | root |
root |
/usr/lib/swipl/library/chr/chr_runtime.pl
|
-rw-r--r-- | 896080 | root |
root |
/usr/lib/swipl/library/chr/chr_translate.pl
|
-rw-r--r-- | 6714 | root |
root |
/usr/lib/swipl/library/chr/clean_code.pl
|
-rw-r--r-- | 2728 | root |
root |
/usr/lib/swipl/library/chr/find.pl
|
-rw-r--r-- | 782780 | root |
root |
/usr/lib/swipl/library/chr/guard_entailment.pl
|
-rw-r--r-- | 2766 | root |
root |
/usr/lib/swipl/library/chr/listmap.pl
|
-rw-r--r-- | 1370 | root |
root |
/usr/lib/swipl/library/chr/pairlist.pl
|
-rw-r--r-- | 3036 | root |
root |
/usr/lib/swipl/library/clp/INDEX.pl
|
-rw-r--r-- | 39309 | root |
root |
/usr/lib/swipl/library/clp/bounds.pl
|
-rw-r--r-- | 6597 | root |
root |
/usr/lib/swipl/library/clp/clp_distinct.pl
|
-rw-r--r-- | 2712 | root |
root |
/usr/lib/swipl/library/clp/clp_events.pl
|
-rw-r--r-- | 66052 | root |
root |
/usr/lib/swipl/library/clp/clpb.pl
|
-rw-r--r-- | 260033 | root |
root |
/usr/lib/swipl/library/clp/clpfd.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/clp/clpq
|
-rw-r--r-- | 3491 | root |
root |
/usr/lib/swipl/library/clp/clpq.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/clp/clpqr
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/clp/clpr
|
-rw-r--r-- | 3926 | root |
root |
/usr/lib/swipl/library/clp/clpr.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/clp/inclpr
|
-rw-r--r-- | 1881 | root |
root |
/usr/lib/swipl/library/clp/inclpr.pl
|
-rw-r--r-- | 53238 | root |
root |
/usr/lib/swipl/library/clp/simplex.pl
|
-rw-r--r-- | 6610 | root |
root |
/usr/lib/swipl/library/clp/clpq/bb_q.pl
|
-rw-r--r-- | 48669 | root |
root |
/usr/lib/swipl/library/clp/clpq/bv_q.pl
|
-rw-r--r-- | 13138 | root |
root |
/usr/lib/swipl/library/clp/clpq/fourmotz_q.pl
|
-rw-r--r-- | 36143 | root |
root |
/usr/lib/swipl/library/clp/clpq/ineq_q.pl
|
-rw-r--r-- | 6297 | root |
root |
/usr/lib/swipl/library/clp/clpq/itf_q.pl
|
-rw-r--r-- | 25213 | root |
root |
/usr/lib/swipl/library/clp/clpq/nf_q.pl
|
-rw-r--r-- | 10711 | root |
root |
/usr/lib/swipl/library/clp/clpq/store_q.pl
|
-rw-r--r-- | 4810 | root |
root |
/usr/lib/swipl/library/clp/clpqr/class.pl
|
-rw-r--r-- | 9397 | root |
root |
/usr/lib/swipl/library/clp/clpqr/dump.pl
|
-rw-r--r-- | 5511 | root |
root |
/usr/lib/swipl/library/clp/clpqr/geler.pl
|
-rw-r--r-- | 3089 | root |
root |
/usr/lib/swipl/library/clp/clpqr/highlight.pl
|
-rw-r--r-- | 3827 | root |
root |
/usr/lib/swipl/library/clp/clpqr/itf.pl
|
-rw-r--r-- | 4972 | root |
root |
/usr/lib/swipl/library/clp/clpqr/ordering.pl
|
-rw-r--r-- | 7835 | root |
root |
/usr/lib/swipl/library/clp/clpqr/project.pl
|
-rw-r--r-- | 7606 | root |
root |
/usr/lib/swipl/library/clp/clpqr/redund.pl
|
-rw-r--r-- | 7525 | root |
root |
/usr/lib/swipl/library/clp/clpr/bb_r.pl
|
-rw-r--r-- | 49979 | root |
root |
/usr/lib/swipl/library/clp/clpr/bv_r.pl
|
-rw-r--r-- | 13274 | root |
root |
/usr/lib/swipl/library/clp/clpr/fourmotz_r.pl
|
-rw-r--r-- | 40913 | root |
root |
/usr/lib/swipl/library/clp/clpr/ineq_r.pl
|
-rw-r--r-- | 6504 | root |
root |
/usr/lib/swipl/library/clp/clpr/itf_r.pl
|
-rw-r--r-- | 27325 | root |
root |
/usr/lib/swipl/library/clp/clpr/nf_r.pl
|
-rw-r--r-- | 11439 | root |
root |
/usr/lib/swipl/library/clp/clpr/store_r.pl
|
-rw-r--r-- | 11360 | root |
root |
/usr/lib/swipl/library/clp/inclpr/inclpr_consistency.pl
|
-rw-r--r-- | 40463 | root |
root |
/usr/lib/swipl/library/clp/inclpr/inclpr_core.pl
|
-rw-r--r-- | 14798 | root |
root |
/usr/lib/swipl/library/clp/inclpr/inclpr_interval_arithmetic.pl
|
-rw-r--r-- | 5268 | root |
root |
/usr/lib/swipl/library/clp/inclpr/inclpr_inversion.pl
|
-rw-r--r-- | 5129 | root |
root |
/usr/lib/swipl/library/clp/inclpr/inclpr_natural_interval_extension.pl
|
-rw-r--r-- | 6211 | root |
root |
/usr/lib/swipl/library/clp/inclpr/inclpr_newton.pl
|
-rw-r--r-- | 8700 | root |
root |
/usr/lib/swipl/library/clp/inclpr/inclpr_ordering.pl
|
-rw-r--r-- | 7793 | root |
root |
/usr/lib/swipl/library/clp/inclpr/inclpr_symbolic_processing.pl
|
-rw-r--r-- | 3477 | root |
root |
/usr/lib/swipl/library/cql/INDEX.pl
|
-rw-r--r-- | 338353 | root |
root |
/usr/lib/swipl/library/cql/cql.pl
|
-rw-r--r-- | 9627 | root |
root |
/usr/lib/swipl/library/cql/cql_autoschema.pl
|
-rw-r--r-- | 24880 | root |
root |
/usr/lib/swipl/library/cql/cql_database.pl
|
-rw-r--r-- | 4013 | root |
root |
/usr/lib/swipl/library/cql/cql_hooks.pl
|
-rw-r--r-- | 8858 | root |
root |
/usr/lib/swipl/library/cql/sql_keywords.pl
|
-rw-r--r-- | 107388 | root |
root |
/usr/lib/swipl/library/cql/sql_parser.pl
|
-rw-r--r-- | 7082 | root |
root |
/usr/lib/swipl/library/cql/sql_tokenizer.pl
|
-rw-r--r-- | 76268 | root |
root |
/usr/lib/swipl/library/cql/sql_write.pl
|
-rw-r--r-- | 1277 | root |
root |
/usr/lib/swipl/library/dcg/INDEX.pl
|
-rw-r--r-- | 10688 | root |
root |
/usr/lib/swipl/library/dcg/basics.pl
|
-rw-r--r-- | 7456 | root |
root |
/usr/lib/swipl/library/dcg/high_order.pl
|
-rw-r--r-- | 4281 | root |
root |
/usr/lib/swipl/library/dialect/bim.pl
|
-rw-r--r-- | 2560 | root |
root |
/usr/lib/swipl/library/dialect/commons.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/dialect/eclipse
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/dialect/hprolog
|
-rw-r--r-- | 8392 | root |
root |
/usr/lib/swipl/library/dialect/hprolog.pl
|
-rw-r--r-- | 36457 | root |
root |
/usr/lib/swipl/library/dialect/ifprolog.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/dialect/iso
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/dialect/sicstus
|
-rw-r--r-- | 12957 | root |
root |
/usr/lib/swipl/library/dialect/sicstus.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/dialect/swi
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/dialect/xsb
|
-rw-r--r-- | 21236 | root |
root |
/usr/lib/swipl/library/dialect/xsb.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/dialect/yap
|
-rw-r--r-- | 7134 | root |
root |
/usr/lib/swipl/library/dialect/yap.pl
|
-rw-r--r-- | 9852 | root |
root |
/usr/lib/swipl/library/dialect/eclipse/test_util_iso.pl
|
-rw-r--r-- | 1837 | root |
root |
/usr/lib/swipl/library/dialect/hprolog/format.pl
|
-rw-r--r-- | 9690 | root |
root |
/usr/lib/swipl/library/dialect/iso/iso_predicates.pl
|
-rw-r--r-- | 31 | root |
root |
/usr/lib/swipl/library/dialect/sicstus/README.TXT
|
-rw-r--r-- | 3615 | root |
root |
/usr/lib/swipl/library/dialect/sicstus/arrays.pl
|
-rw-r--r-- | 7088 | root |
root |
/usr/lib/swipl/library/dialect/sicstus/block.pl
|
-rw-r--r-- | 2948 | root |
root |
/usr/lib/swipl/library/dialect/sicstus/lists.pl
|
-rw-r--r-- | 6202 | root |
root |
/usr/lib/swipl/library/dialect/sicstus/sockets.pl
|
-rw-r--r-- | 4000 | root |
root |
/usr/lib/swipl/library/dialect/sicstus/swipl-lfr.pl
|
-rw-r--r-- | 5890 | root |
root |
/usr/lib/swipl/library/dialect/sicstus/system.pl
|
-rw-r--r-- | 2098 | root |
root |
/usr/lib/swipl/library/dialect/sicstus/terms.pl
|
-rw-r--r-- | 3672 | root |
root |
/usr/lib/swipl/library/dialect/sicstus/timeout.pl
|
-rw-r--r-- | 7442 | root |
root |
/usr/lib/swipl/library/dialect/swi/syspred_options.pl
|
-rw-r--r-- | 651 | root |
root |
/usr/lib/swipl/library/dialect/xsb/README.md
|
-rw-r--r-- | 7367 | root |
root |
/usr/lib/swipl/library/dialect/xsb/basics.pl
|
-rw-r--r-- | 1842 | root |
root |
/usr/lib/swipl/library/dialect/xsb/consult.pl
|
-rw-r--r-- | 2263 | root |
root |
/usr/lib/swipl/library/dialect/xsb/curr_sym.pl
|
-rw-r--r-- | 4197 | root |
root |
/usr/lib/swipl/library/dialect/xsb/error_handler.pl
|
-rw-r--r-- | 2042 | root |
root |
/usr/lib/swipl/library/dialect/xsb/gensym.pl
|
-rw-r--r-- | 5064 | root |
root |
/usr/lib/swipl/library/dialect/xsb/gpp.pl
|
-rw-r--r-- | 6618 | root |
root |
/usr/lib/swipl/library/dialect/xsb/increval.pl
|
-rw-r--r-- | 1922 | root |
root |
/usr/lib/swipl/library/dialect/xsb/intern.pl
|
-rw-r--r-- | 1898 | root |
root |
/usr/lib/swipl/library/dialect/xsb/lists.pl
|
-rw-r--r-- | 7042 | root |
root |
/usr/lib/swipl/library/dialect/xsb/machine.pl
|
-rw-r--r-- | 2222 | root |
root |
/usr/lib/swipl/library/dialect/xsb/ordsets.pl
|
-rw-r--r-- | 2539 | root |
root |
/usr/lib/swipl/library/dialect/xsb/setof.pl
|
-rw-r--r-- | 9796 | root |
root |
/usr/lib/swipl/library/dialect/xsb/source.pl
|
-rw-r--r-- | 4805 | root |
root |
/usr/lib/swipl/library/dialect/xsb/standard.pl
|
-rw-r--r-- | 2570 | root |
root |
/usr/lib/swipl/library/dialect/xsb/storage.pl
|
-rw-r--r-- | 2554 | root |
root |
/usr/lib/swipl/library/dialect/xsb/string.pl
|
-rw-r--r-- | 2185 | root |
root |
/usr/lib/swipl/library/dialect/xsb/thread.pl
|
-rw-r--r-- | 5739 | root |
root |
/usr/lib/swipl/library/dialect/xsb/timed_call.pl
|
-rw-r--r-- | 351 | root |
root |
/usr/lib/swipl/library/dialect/yap/README.TXT
|
-rw-r--r-- | 14262 | root |
root |
/usr/lib/swipl/library/http/INDEX.pl
|
-rw-r--r-- | 1235 | root |
root |
/usr/lib/swipl/library/http/README.md
|
-rw-r--r-- | 6905 | root |
root |
/usr/lib/swipl/library/http/ax.pl
|
-rw-r--r-- | 2134 | root |
root |
/usr/lib/swipl/library/http/dcg_basics.pl
|
-rw-r--r-- | 20742 | root |
root |
/usr/lib/swipl/library/http/html_head.pl
|
-rw-r--r-- | 4223 | root |
root |
/usr/lib/swipl/library/http/html_quasiquotations.pl
|
-rw-r--r-- | 47285 | root |
root |
/usr/lib/swipl/library/http/html_write.pl
|
-rw-r--r-- | 11999 | root |
root |
/usr/lib/swipl/library/http/http_authenticate.pl
|
-rw-r--r-- | 14509 | root |
root |
/usr/lib/swipl/library/http/http_client.pl
|
-rw-r--r-- | 8289 | root |
root |
/usr/lib/swipl/library/http/http_cookie.pl
|
-rw-r--r-- | 5812 | root |
root |
/usr/lib/swipl/library/http/http_cors.pl
|
-rw-r--r-- | 26635 | root |
root |
/usr/lib/swipl/library/http/http_digest.pl
|
-rw-r--r-- | 9687 | root |
root |
/usr/lib/swipl/library/http/http_dirindex.pl
|
-rw-r--r-- | 49862 | root |
root |
/usr/lib/swipl/library/http/http_dispatch.pl
|
-rw-r--r-- | 7562 | root |
root |
/usr/lib/swipl/library/http/http_dyn_workers.pl
|
-rw-r--r-- | 4244 | root |
root |
/usr/lib/swipl/library/http/http_error.pl
|
-rw-r--r-- | 8056 | root |
root |
/usr/lib/swipl/library/http/http_exception.pl
|
-rw-r--r-- | 5660 | root |
root |
/usr/lib/swipl/library/http/http_files.pl
|
-rw-r--r-- | 83805 | root |
root |
/usr/lib/swipl/library/http/http_header.pl
|
-rw-r--r-- | 3673 | root |
root |
/usr/lib/swipl/library/http/http_hook.pl
|
-rw-r--r-- | 7414 | root |
root |
/usr/lib/swipl/library/http/http_host.pl
|
-rw-r--r-- | 16078 | root |
root |
/usr/lib/swipl/library/http/http_json.pl
|
-rw-r--r-- | 4178 | root |
root |
/usr/lib/swipl/library/http/http_load.pl
|
-rw-r--r-- | 22784 | root |
root |
/usr/lib/swipl/library/http/http_log.pl
|
-rw-r--r-- | 8457 | root |
root |
/usr/lib/swipl/library/http/http_multipart_plugin.pl
|
-rw-r--r-- | 54676 | root |
root |
/usr/lib/swipl/library/http/http_open.pl
|
-rw-r--r-- | 54830 | root |
root |
/usr/lib/swipl/library/http/http_openid.pl
|
-rw-r--r-- | 15984 | root |
root |
/usr/lib/swipl/library/http/http_parameters.pl
|
-rw-r--r-- | 12075 | root |
root |
/usr/lib/swipl/library/http/http_path.pl
|
-rw-r--r-- | 3045 | root |
root |
/usr/lib/swipl/library/http/http_proxy.pl
|
-rw-r--r-- | 12445 | root |
root |
/usr/lib/swipl/library/http/http_pwp.pl
|
-rw-r--r-- | 4769 | root |
root |
/usr/lib/swipl/library/http/http_server.pl
|
-rw-r--r-- | 5054 | root |
root |
/usr/lib/swipl/library/http/http_server_files.pl
|
-rw-r--r-- | 28746 | root |
root |
/usr/lib/swipl/library/http/http_session.pl
|
-rw-r--r-- | 4775 | root |
root |
/usr/lib/swipl/library/http/http_sgml_plugin.pl
|
-rw-r--r-- | 10134 | root |
root |
/usr/lib/swipl/library/http/http_ssl_plugin.pl
|
-rw-r--r-- | 13484 | root |
root |
/usr/lib/swipl/library/http/http_stream.pl
|
-rw-r--r-- | 30668 | root |
root |
/usr/lib/swipl/library/http/http_unix_daemon.pl
|
-rw-r--r-- | 18147 | root |
root |
/usr/lib/swipl/library/http/http_wrapper.pl
|
-rw-r--r-- | 21660 | root |
root |
/usr/lib/swipl/library/http/hub.pl
|
-rw-r--r-- | 4023 | root |
root |
/usr/lib/swipl/library/http/jquery.pl
|
-rw-r--r-- | 7934 | root |
root |
/usr/lib/swipl/library/http/js_grammar.pl
|
-rw-r--r-- | 12488 | root |
root |
/usr/lib/swipl/library/http/js_write.pl
|
-rw-r--r-- | 34816 | root |
root |
/usr/lib/swipl/library/http/json.pl
|
-rw-r--r-- | 21980 | root |
root |
/usr/lib/swipl/library/http/json_convert.pl
|
-rw-r--r-- | 7981 | root |
root |
/usr/lib/swipl/library/http/mimepack.pl
|
-rw-r--r-- | 9994 | root |
root |
/usr/lib/swipl/library/http/mimetype.pl
|
-rw-r--r-- | 17435 | root |
root |
/usr/lib/swipl/library/http/term_html.pl
|
-rw-r--r-- | 34373 | root |
root |
/usr/lib/swipl/library/http/thread_httpd.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/http/web
|
-rw-r--r-- | 25516 | root |
root |
/usr/lib/swipl/library/http/websocket.pl
|
-rw-r--r-- | 6350 | root |
root |
/usr/lib/swipl/library/http/yadis.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/http/web/css
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/http/web/icons
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/http/web/js
|
-rw-r--r-- | 383 | root |
root |
/usr/lib/swipl/library/http/web/css/dirindex.css
|
-rw-r--r-- | 834 | root |
root |
/usr/lib/swipl/library/http/web/css/openid.css
|
-rw-r--r-- | 887 | root |
root |
/usr/lib/swipl/library/http/web/css/plterm.css
|
-rw-r--r-- | 284 | root |
root |
/usr/lib/swipl/library/http/web/icons/back.png
|
-rw-r--r-- | 285 | root |
root |
/usr/lib/swipl/library/http/web/icons/c.png
|
-rw-r--r-- | 315 | root |
root |
/usr/lib/swipl/library/http/web/icons/compressed.png
|
-rw-r--r-- | 272 | root |
root |
/usr/lib/swipl/library/http/web/icons/folder.png
|
-rw-r--r-- | 260 | root |
root |
/usr/lib/swipl/library/http/web/icons/generic.png
|
-rw-r--r-- | 306 | root |
root |
/usr/lib/swipl/library/http/web/icons/layout.png
|
-rw-r--r-- | 2272 | root |
root |
/usr/lib/swipl/library/http/web/icons/openid-logo-square.png
|
-rw-r--r-- | 493 | root |
root |
/usr/lib/swipl/library/http/web/icons/openid-logo-tiny.png
|
-rw-r--r-- | 95957 | root |
root |
/usr/lib/swipl/library/http/web/js/jquery-1.11.3.min.js
|
-rw-r--r-- | 20033 | root |
root |
/usr/lib/swipl/library/http/web/js/pengines.js
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl/library/latex2html/icons
|
-rw-r--r-- | 3351 | root |
root |
/usr/lib/swipl/library/latex2html/latex.cmd
|
-rw-r--r-- | 2702 | root |
root |
/usr/lib/swipl/library/latex2html/latex2html.css
|
-rw-r--r-- | 97168 | root |
root |
/usr/lib/swipl/library/latex2html/latex2html.pl
|
-rw-r--r-- | 3388 | root |
root |
/usr/lib/swipl/library/latex2html/pldoc.cmd
|
-rw-r--r-- | 26024 | root |
root |
/usr/lib/swipl/library/latex2html/sty_pldoc.pl
|
-rw-r--r-- | 5991 | root |
root |
/usr/lib/swipl/library/latex2html/sty_xpce.pl
|
-rw-r--r-- | 433 | root |
root |
/usr/lib/swipl/library/latex2html/xpce.cmd
|
-rw-r--r-- | 425 | root |
root |
/usr/lib/swipl/library/latex2html/icons/home.gif
|
-rw-r--r-- | 344 | root |
root |
/usr/lib/swipl/library/latex2html/icons/index.gif
|
-rw-r--r-- | 273 | root |
root |
/usr/lib/swipl/library/latex2html/icons/info.gif
|
-rw-r--r-- | 297 | root |
root |
/usr/lib/swipl/library/latex2html/icons/next.gif
|
-rw-r--r-- | 297 | root |
root |
/usr/lib/swipl/library/latex2html/icons/prev.gif
|
-rw-r--r-- | 280 | root |
root |
/usr/lib/swipl/library/latex2html/icons/up.gif
|
-rw-r--r-- | 400 | root |
root |
/usr/lib/swipl/library/latex2html/icons/yellow_pages.gif
|
-rw-r--r-- | 524 | root |
root |
/usr/lib/swipl/library/lynx/INDEX.pl
|
-rw-r--r-- | 10791 | root |
root |
/usr/lib/swipl/library/lynx/format.pl
|
-rw-r--r-- | 4481 | root |
root |
/usr/lib/swipl/library/lynx/html_style.pl
|
-rw-r--r-- | 24738 | root |
root |
/usr/lib/swipl/library/lynx/html_text.pl
|
-rw-r--r-- | 3245 | root |
root |
/usr/lib/swipl/library/lynx/pldoc_style.pl
|
-rw-r--r-- | 5349 | root |
root |
/usr/lib/swipl/library/pldoc/doc_access.pl
|
-rw-r--r-- | 4201 | root |
root |
/usr/lib/swipl/library/pldoc/doc_colour.pl
|
-rw-r--r-- | 77592 | root |
root |
/usr/lib/swipl/library/pldoc/doc_html.pl
|
-rw-r--r-- | 58301 | root |
root |
/usr/lib/swipl/library/pldoc/doc_html.qlf
|
-rw-r--r-- | 17925 | root |
root |
/usr/lib/swipl/library/pldoc/doc_htmlsrc.pl
|
-rw-r--r-- | 17769 | root |
root |
/usr/lib/swipl/library/pldoc/doc_index.pl
|
-rw-r--r-- | 3853 | root |
root |
/usr/lib/swipl/library/pldoc/doc_library.pl
|
-rw-r--r-- | 42607 | root |
root |
/usr/lib/swipl/library/pldoc/doc_man.pl
|
-rw-r--r-- | 16149 | root |
root |
/usr/lib/swipl/library/pldoc/doc_modes.pl
|
-rw-r--r-- | 6516 | root |
root |
/usr/lib/swipl/library/pldoc/doc_pack.pl
|
-rw-r--r-- | 15571 | root |
root |
/usr/lib/swipl/library/pldoc/doc_process.pl
|
-rw-r--r-- | 4161 | root |
root |
/usr/lib/swipl/library/pldoc/doc_register.pl
|
-rw-r--r-- | 29464 | root |
root |
/usr/lib/swipl/library/pldoc/doc_search.pl
|
-rw-r--r-- | 6114 | root |
root |
/usr/lib/swipl/library/pldoc/doc_util.pl
|
-rw-r--r-- | 59902 | root |
root |
/usr/lib/swipl/library/pldoc/doc_wiki.pl
|
-rw-r--r-- | 7036 | root |
root |
/usr/lib/swipl/library/pldoc/doc_words.pl
|
-rw-r--r-- | 4412 | root |
root |
/usr/lib/swipl/library/pldoc/edit.png
|
-rw-r--r-- | 4011 | root |
root |
/usr/lib/swipl/library/pldoc/editpred.png
|
-rw-r--r-- | 1406 | root |
root |
/usr/lib/swipl/library/pldoc/favicon.ico
|
-rw-r--r-- | 752 | root |
root |
/usr/lib/swipl/library/pldoc/h1-bg.png
|
-rw-r--r-- | 673 | root |
root |
/usr/lib/swipl/library/pldoc/h2-bg.png
|
-rw-r--r-- | 2466 | root |
root |
/usr/lib/swipl/library/pldoc/hooks.pl
|
-rw-r--r-- | 18480 | root |
root |
/usr/lib/swipl/library/pldoc/man_index.pl
|
-rw-r--r-- | 508 | root |
root |
/usr/lib/swipl/library/pldoc/multi-bg.png
|
-rw-r--r-- | 9279 | root |
root |
/usr/lib/swipl/library/pldoc/pldoc.css
|
-rw-r--r-- | 967 | root |
root |
/usr/lib/swipl/library/pldoc/pldoc.js
|
-rw-r--r-- | 16437 | root |
root |
/usr/lib/swipl/library/pldoc/pldoc.sty
|
-rw-r--r-- | 2316 | root |
root |
/usr/lib/swipl/library/pldoc/pllisting.css
|
-rw-r--r-- | 770 | root |
root |
/usr/lib/swipl/library/pldoc/priv-bg.png
|
-rw-r--r-- | 4183 | root |
root |
/usr/lib/swipl/library/pldoc/private.png
|
-rw-r--r-- | 673 | root |
root |
/usr/lib/swipl/library/pldoc/pub-bg.png
|
-rw-r--r-- | 4674 | root |
root |
/usr/lib/swipl/library/pldoc/public.png
|
-rw-r--r-- | 4282 | root |
root |
/usr/lib/swipl/library/pldoc/reload.png
|
-rw-r--r-- | 4110 | root |
root |
/usr/lib/swipl/library/pldoc/source.png
|
-rw-r--r-- | 1214 | root |
root |
/usr/lib/swipl/library/pldoc/up.gif
|
-rw-r--r-- | 13432 | root |
root |
/usr/lib/swipl/library/semweb/INDEX.pl
|
-rw-r--r-- | 8461 | root |
root |
/usr/lib/swipl/library/semweb/dc.rdfs
|
-rw-r--r-- | 3128 | root |
root |
/usr/lib/swipl/library/semweb/eor.rdfs
|
-rw-r--r-- | 8674 | root |
root |
/usr/lib/swipl/library/semweb/owl.owl
|
-rw-r--r-- | 64119 | root |
root |
/usr/lib/swipl/library/semweb/rdf11.pl
|
-rw-r--r-- | 10574 | root |
root |
/usr/lib/swipl/library/semweb/rdf11_containers.pl
|
-rw-r--r-- | 9574 | root |
root |
/usr/lib/swipl/library/semweb/rdf_cache.pl
|
-rw-r--r-- | 4145 | root |
root |
/usr/lib/swipl/library/semweb/rdf_compare.pl
|
-rw-r--r-- | 115513 | root |
root |
/usr/lib/swipl/library/semweb/rdf_db.pl
|
-rw-r--r-- | 34401 | root |
root |
/usr/lib/swipl/library/semweb/rdf_edit.pl
|
-rw-r--r-- | 10627 | root |
root |
/usr/lib/swipl/library/semweb/rdf_http_plugin.pl
|
-rw-r--r-- | 32420 | root |
root |
/usr/lib/swipl/library/semweb/rdf_library.pl
|
-rw-r--r-- | 2344 | root |
root |
/usr/lib/swipl/library/semweb/rdf_library.ttl
|
-rw-r--r-- | 29570 | root |
root |
/usr/lib/swipl/library/semweb/rdf_litindex.pl
|
-rw-r--r-- | 14416 | root |
root |
/usr/lib/swipl/library/semweb/rdf_ntriples.pl
|
-rw-r--r-- | 48433 | root |
root |
/usr/lib/swipl/library/semweb/rdf_persistency.pl
|
-rw-r--r-- | 5997 | root |
root |
/usr/lib/swipl/library/semweb/rdf_portray.pl
|
-rw-r--r-- | 22466 | root |
root |
/usr/lib/swipl/library/semweb/rdf_prefixes.pl
|
-rw-r--r-- | 6144 | root |
root |
/usr/lib/swipl/library/semweb/rdf_sandbox.pl
|
-rw-r--r-- | 2338 | root |
root |
/usr/lib/swipl/library/semweb/rdf_turtle.pl
|
-rw-r--r-- | 50703 | root |
root |
/usr/lib/swipl/library/semweb/rdf_turtle_write.pl
|
-rw-r--r-- | 2029 | root |
root |
/usr/lib/swipl/library/semweb/rdf_zlib_plugin.pl
|
-rw-r--r-- | 48748 | root |
root |
/usr/lib/swipl/library/semweb/rdfa.pl
|
-rw-r--r-- | 15605 | root |
root |
/usr/lib/swipl/library/semweb/rdfs.pl
|
-rw-r--r-- | 9070 | root |
root |
/usr/lib/swipl/library/semweb/rdfs.rdfs
|
-rw-r--r-- | 19447 | root |
root |
/usr/lib/swipl/library/semweb/sparql_client.pl
|
-rw-r--r-- | 15799 | root |
root |
/usr/lib/swipl/library/semweb/turtle.pl
|
-rw-r--r-- | 2225 | root |
root |
/usr/lib/swipl/library/theme/auto.pl
|
-rw-r--r-- | 11904 | root |
root |
/usr/lib/swipl/library/theme/dark.pl
|
-rw-r--r-- | 2497 | root |
root |
/usr/lib/swipl/library/tipc/INDEX.pl
|
-rw-r--r-- | 24413 | root |
root |
/usr/lib/swipl/library/tipc/tipc.pl
|
-rw-r--r-- | 17023 | root |
root |
/usr/lib/swipl/library/tipc/tipc_broadcast.pl
|
-rw-r--r-- | 22139 | root |
root |
/usr/lib/swipl/library/tipc/tipc_linda.pl
|
-rw-r--r-- | 3179 | root |
root |
/usr/lib/swipl/library/tipc/tipc_paxos.pl
|
-rw-r--r-- | 174 | root |
root |
/usr/lib/swipl/library/unicode/INDEX.pl
|
-rw-r--r-- | 10241 | root |
root |
/usr/lib/swipl/library/unicode/blocks.pl
|
-rw-r--r-- | 5449 | root |
root |
/usr/lib/swipl/library/unicode/unicode_data.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/swi-prolog-nox
|
-rw-r--r-- | 1823 | root |
root |
/usr/share/doc/swi-prolog-nox/LICENSE
|
-rw-r--r-- | 1859 | root |
root |
/usr/share/doc/swi-prolog-nox/README.md
|
-rw-r--r-- | 6 | root |
root |
/usr/share/doc/swi-prolog-nox/VERSION
|
-rw-r--r-- | 232 | root |
root |
/usr/share/pkgconfig/swipl.pc
|