drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
lrwxrwxrwx | 59 | root |
root |
/usr/lib/.build-id/a8/f18a33f037edc1761b5471cd1468d823904e8d
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/prolog
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions2
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Family
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/FamilyMT
|
-rw-r--r-- | 2130 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/README
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/SemWeb
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test2
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Time
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Versions
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Zahed
|
-rw-r--r-- | 3508 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/env.sh
|
-rw-r--r-- | 731 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions/Exceptions.class
|
-rw-r--r-- | 805 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions/Exceptions.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions/README
|
-rwxr-xr-x | 44 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions/run.sh
|
-rw-r--r-- | 818 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions2/Exceptions2.class
|
-rw-r--r-- | 611 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions2/Exceptions2.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions2/README
|
-rwxr-xr-x | 45 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Exceptions2/run.sh
|
-rw-r--r-- | 2628 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Family/Family.class
|
-rw-r--r-- | 2118 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Family/Family.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Family/README
|
-rw-r--r-- | 214 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Family/family.pl
|
-rwxr-xr-x | 40 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Family/run.sh
|
-rw-r--r-- | 2674 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/FamilyMT/FamilyMT.class
|
-rw-r--r-- | 2153 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/FamilyMT/FamilyMT.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/FamilyMT/README
|
-rwxr-xr-x | 42 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/FamilyMT/run.sh
|
-rw-r--r-- | 1291 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/SemWeb/README
|
-rw-r--r-- | 1226 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/SemWeb/SemWeb.class
|
-rw-r--r-- | 624 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/SemWeb/SemWeb.java
|
-rwxr-xr-x | 50 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/SemWeb/run.sh
|
-rw-r--r-- | 461 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/SemWeb/test.rdf
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test/README
|
-rw-r--r-- | 1451 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test/Test$QueryThread.class
|
-rw-r--r-- | 7206 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test/Test.class
|
-rw-r--r-- | 10717 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test/Test.java
|
-rwxr-xr-x | 38 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test/run.sh
|
-rw-r--r-- | 296 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test/test.pl
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test2/README
|
-rw-r--r-- | 1320 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test2/Test2.class
|
-rw-r--r-- | 586 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test2/Test2.java
|
-rwxr-xr-x | 39 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test2/run.sh
|
-rw-r--r-- | 213 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Test2/test2.pl
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Time/README
|
-rw-r--r-- | 837 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Time/Time$Timer.class
|
-rw-r--r-- | 4884 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Time/Time.class
|
-rw-r--r-- | 5399 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Time/Time.java
|
-rwxr-xr-x | 38 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Time/run.sh
|
-rw-r--r-- | 165 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Time/time.pl
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Versions/README
|
-rw-r--r-- | 1345 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Versions/Versions.class
|
-rw-r--r-- | 810 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Versions/Versions.java
|
-rwxr-xr-x | 42 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Versions/run.sh
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Zahed/README
|
-rw-r--r-- | 1335 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Zahed/Zahed.class
|
-rw-r--r-- | 1140 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Zahed/Zahed.java
|
-rwxr-xr-x | 39 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Zahed/run.sh
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/java/Zahed/zahed.pl
|
-rw-r--r-- | 449 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/prolog/README
|
-rw-r--r-- | 760 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/prolog/jpl_colour_choose_demo.pl
|
-rw-r--r-- | 594 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/prolog/jpl_jlist_demo.pl
|
-rw-r--r-- | 1111 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/prolog/jpl_table_demo.pl
|
-rw-r--r-- | 690 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/prolog/jpl_text_entry_demo.pl
|
-rw-r--r-- | 647 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/examples/jpl/prolog/jpl_versions_demo.pl
|
-rw-r--r-- | 1361 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/index.html
|
-rw-r--r-- | 8402 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/installation.html
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api
|
-rw-r--r-- | 1920 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/objectives.html
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/prolog_api
|
-rw-r--r-- | 25114 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/release_notes.html
|
-rw-r--r-- | 12659 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/getting_started.html
|
-rw-r--r-- | 1781 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/gotchas.html
|
-rw-r--r-- | 29592 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/high-level_interface.html
|
-rw-r--r-- | 8161 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/index.html
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc
|
-rw-r--r-- | 12354 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/logo.jpg
|
-rw-r--r-- | 11814 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/low-level_interface.html
|
-rw-r--r-- | 6123 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/philosophical-gnu-sm.jpg
|
-rw-r--r-- | 6042 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/programming_notes.html
|
-rw-r--r-- | 3605 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/allclasses-frame.html
|
-rw-r--r-- | 3025 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/allclasses-noframe.html
|
-rw-r--r-- | 14668 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/constant-values.html
|
-rw-r--r-- | 5615 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/deprecated-list.html
|
-rw-r--r-- | 8213 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/help-doc.html
|
-rw-r--r-- | 106127 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/index-all.html
|
-rw-r--r-- | 2923 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/index.html
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/jpl
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org
|
-rw-r--r-- | 855 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/overview-frame.html
|
-rw-r--r-- | 4028 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/overview-summary.html
|
-rw-r--r-- | 8353 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/overview-tree.html
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/resources
|
-rw-r--r-- | 4586 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/serialized-form.html
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7
|
-rw-r--r-- | 23020 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/Atom.html
|
-rw-r--r-- | 31324 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/Compound.html
|
-rw-r--r-- | 24184 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/Float.html
|
-rw-r--r-- | 27258 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/Integer.html
|
-rw-r--r-- | 27884 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/JPL.html
|
-rw-r--r-- | 10191 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/JPLException.html
|
-rw-r--r-- | 22618 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/JRef.html
|
-rw-r--r-- | 10664 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/PrologException.html
|
-rw-r--r-- | 59924 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/Query.html
|
-rw-r--r-- | 46022 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/Term.html
|
-rw-r--r-- | 23405 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/Util.html
|
-rw-r--r-- | 27108 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/Variable.html
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli
|
-rw-r--r-- | 1793 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/package-frame.html
|
-rw-r--r-- | 8236 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/package-summary.html
|
-rw-r--r-- | 6036 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/package-tree.html
|
-rw-r--r-- | 9837 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/BooleanHolder.html
|
-rw-r--r-- | 9822 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/DoubleHolder.html
|
-rw-r--r-- | 9798 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/Int64Holder.html
|
-rw-r--r-- | 9761 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/IntHolder.html
|
-rw-r--r-- | 12145 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/LongHolder.html
|
-rw-r--r-- | 9857 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/ObjectHolder.html
|
-rw-r--r-- | 10331 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/PointerHolder.html
|
-rw-r--r-- | 68294 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/Prolog.html
|
-rw-r--r-- | 9822 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/StringHolder.html
|
-rw-r--r-- | 11559 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/atom_t.html
|
-rw-r--r-- | 9876 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/engine_t.html
|
-rw-r--r-- | 9840 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/fid_t.html
|
-rw-r--r-- | 9915 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/functor_t.html
|
-rw-r--r-- | 10098 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/module_t.html
|
-rw-r--r-- | 2347 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/package-frame.html
|
-rw-r--r-- | 8795 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/package-summary.html
|
-rw-r--r-- | 6872 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/package-tree.html
|
-rw-r--r-- | 10140 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/predicate_t.html
|
-rw-r--r-- | 9826 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/qid_t.html
|
-rw-r--r-- | 14911 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/java_api/javadoc/org/jpl7/fli/term_t.html
|
-rw-r--r-- | 18143 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/prolog_api/api.html
|
-rw-r--r-- | 1363 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/prolog_api/gotchas.html
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/prolog_api/overview
|
-rw-r--r-- | 45015 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/prolog_api/overview.html
|
-rw-r--r-- | 36062 | root |
root |
/usr/lib/swipl-7.4.2/doc/packages/jpl/prolog_api/screendump.jpg
|
-rw-r--r-- | 30413 | root |
root |
/usr/lib/swipl-7.4.2/lib/jpl.jar
|
-rwxr-xr-x | 55476 | root |
root |
/usr/lib/swipl-7.4.2/lib/armv7hl-linux/libjpl.so
|
-rw-r--r-- | 144630 | root |
root |
/usr/lib/swipl-7.4.2/library/jpl.pl
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/swi-prolog-java
|
-rw-r--r-- | 6012 | root |
root |
/usr/share/doc/swi-prolog-java/README.html
|