drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/prolog
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions2
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Family
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/FamilyMT
|
-rw-r--r-- | 2130 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/README
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/SemWeb
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test2
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Time
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Versions
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Zahed
|
-rw-r--r-- | 3519 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/env.sh
|
-rw-r--r-- | 956 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions/Exceptions.class
|
-rw-r--r-- | 958 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions/Exceptions.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions/README
|
-rwxr-xr-x | 40 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions/run.sh
|
-rw-r--r-- | 1077 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions2/Exceptions2.class
|
-rw-r--r-- | 671 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions2/Exceptions2.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions2/README
|
-rwxr-xr-x | 41 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Exceptions2/run.sh
|
-rw-r--r-- | 2159 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Family/Family.class
|
-rw-r--r-- | 1748 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Family/Family.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Family/README
|
-rw-r--r-- | 205 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Family/family.pl
|
-rwxr-xr-x | 36 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Family/run.sh
|
-rw-r--r-- | 3006 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/FamilyMT/FamilyMT.class
|
-rw-r--r-- | 2392 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/FamilyMT/FamilyMT.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/FamilyMT/README
|
-rwxr-xr-x | 38 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/FamilyMT/run.sh
|
-rw-r--r-- | 1291 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/SemWeb/README
|
-rw-r--r-- | 1411 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/SemWeb/SemWeb.class
|
-rw-r--r-- | 705 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/SemWeb/SemWeb.java
|
-rwxr-xr-x | 46 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/SemWeb/run.sh
|
-rw-r--r-- | 461 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/SemWeb/test.rdf
|
-rw-r--r-- | 169 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test/README
|
-rw-r--r-- | 1493 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test/Test$QueryThread.class
|
-rw-r--r-- | 8055 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test/Test.class
|
-rw-r--r-- | 14267 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test/Test.java
|
-rwxr-xr-x | 34 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test/run.sh
|
-rw-r--r-- | 290 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test/test.pl
|
-rw-r--r-- | 169 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test2/README
|
-rw-r--r-- | 1284 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test2/Test2.class
|
-rw-r--r-- | 567 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test2/Test2.java
|
-rwxr-xr-x | 35 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test2/run.sh
|
-rw-r--r-- | 195 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Test2/test2.pl
|
-rw-r--r-- | 169 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Time/README
|
-rw-r--r-- | 1016 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Time/Time$Timer.class
|
-rw-r--r-- | 5035 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Time/Time.class
|
-rw-r--r-- | 7031 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Time/Time.java
|
-rwxr-xr-x | 34 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Time/run.sh
|
-rw-r--r-- | 159 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Time/time.pl
|
-rw-r--r-- | 169 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Versions/README
|
-rw-r--r-- | 1375 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Versions/Versions.class
|
-rw-r--r-- | 818 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Versions/Versions.java
|
-rwxr-xr-x | 38 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Versions/run.sh
|
-rw-r--r-- | 169 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Zahed/README
|
-rw-r--r-- | 1421 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Zahed/Zahed.class
|
-rw-r--r-- | 2077 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Zahed/Zahed.java
|
-rwxr-xr-x | 35 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Zahed/run.sh
|
-rw-r--r-- | 90 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/java/Zahed/zahed.pl
|
-rw-r--r-- | 449 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/prolog/README
|
-rw-r--r-- | 713 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/prolog/jpl_colour_choose_demo.pl
|
-rw-r--r-- | 537 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/prolog/jpl_jlist_demo.pl
|
-rw-r--r-- | 820 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/prolog/jpl_midi_demo.pl
|
-rw-r--r-- | 884 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/prolog/jpl_table_demo.pl
|
-rw-r--r-- | 648 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/prolog/jpl_text_entry_demo.pl
|
-rw-r--r-- | 588 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/examples/jpl/prolog/jpl_versions_demo.pl
|
-rw-r--r-- | 1361 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/index.html
|
-rw-r--r-- | 8402 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/installation.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api
|
-rw-r--r-- | 1920 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/objectives.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/prolog_api
|
-rw-r--r-- | 25114 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/release_notes.html
|
-rw-r--r-- | 12659 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/getting_started.html
|
-rw-r--r-- | 1781 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/gotchas.html
|
-rw-r--r-- | 29592 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/high-level_interface.html
|
-rw-r--r-- | 7864 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/index.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc
|
-rw-r--r-- | 28104 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/lgpl.html
|
-rw-r--r-- | 12354 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/logo.jpg
|
-rw-r--r-- | 11814 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/low-level_interface.html
|
-rw-r--r-- | 6123 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/philosophical-gnu-sm.jpg
|
-rw-r--r-- | 6042 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/programming_notes.html
|
-rw-r--r-- | 3264 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/allclasses-frame.html
|
-rw-r--r-- | 2684 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/allclasses-noframe.html
|
-rw-r--r-- | 15067 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/constant-values.html
|
-rw-r--r-- | 9982 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/deprecated-list.html
|
-rw-r--r-- | 8981 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/help-doc.html
|
-rw-r--r-- | 82201 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/index-all.html
|
-rw-r--r-- | 1415 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/index.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl
|
-rw-r--r-- | 1038 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/overview-frame.html
|
-rw-r--r-- | 5275 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/overview-summary.html
|
-rw-r--r-- | 8162 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/overview-tree.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/resources
|
-rw-r--r-- | 6421 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/serialized-form.html
|
-rw-r--r-- | 16009 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/Atom.html
|
-rw-r--r-- | 32425 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/Compound.html
|
-rw-r--r-- | 27143 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/Float.html
|
-rw-r--r-- | 27280 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/Integer.html
|
-rw-r--r-- | 24831 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/JPL.html
|
-rw-r--r-- | 10554 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/JPLException.html
|
-rw-r--r-- | 23879 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/JRef.html
|
-rw-r--r-- | 10276 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/PrologException.html
|
-rw-r--r-- | 54687 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/Query.html
|
-rw-r--r-- | 33651 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/Term.html
|
-rw-r--r-- | 21173 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/Util.html
|
-rw-r--r-- | 24468 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/Variable.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/class-use
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli
|
-rw-r--r-- | 1842 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/package-frame.html
|
-rw-r--r-- | 8625 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/package-summary.html
|
-rw-r--r-- | 6603 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/package-tree.html
|
-rw-r--r-- | 10068 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/BooleanHolder.html
|
-rw-r--r-- | 10054 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/DoubleHolder.html
|
-rw-r--r-- | 10031 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/Int64Holder.html
|
-rw-r--r-- | 9996 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/IntHolder.html
|
-rw-r--r-- | 11522 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/LongHolder.html
|
-rw-r--r-- | 10089 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/ObjectHolder.html
|
-rw-r--r-- | 10922 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/PointerHolder.html
|
-rw-r--r-- | 59536 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/Prolog.html
|
-rw-r--r-- | 10054 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/StringHolder.html
|
-rw-r--r-- | 11409 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/atom_t.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/class-use
|
-rw-r--r-- | 10494 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/engine_t.html
|
-rw-r--r-- | 10461 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/fid_t.html
|
-rw-r--r-- | 10534 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/functor_t.html
|
-rw-r--r-- | 10715 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/module_t.html
|
-rw-r--r-- | 2234 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/package-frame.html
|
-rw-r--r-- | 9316 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/package-summary.html
|
-rw-r--r-- | 7221 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/package-tree.html
|
-rw-r--r-- | 10754 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/predicate_t.html
|
-rw-r--r-- | 10447 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/qid_t.html
|
-rw-r--r-- | 14272 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/jpl/fli/term_t.html
|
-rw-r--r-- | 57 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/java_api/javadoc/resources/inherit.gif
|
-rw-r--r-- | 18143 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/prolog_api/api.html
|
-rw-r--r-- | 1363 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/prolog_api/gotchas.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/prolog_api/overview
|
-rw-r--r-- | 45015 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/prolog_api/overview.html
|
-rw-r--r-- | 36062 | root |
root |
/usr/lib64/swipl-5.10.2/doc/packages/jpl/prolog_api/screendump.jpg
|
-rw-r--r-- | 30572 | root |
root |
/usr/lib64/swipl-5.10.2/lib/jpl.jar
|
-rwxr-xr-x | 89720 | root |
root |
/usr/lib64/swipl-5.10.2/lib/x86_64-linux/libjpl.so
|
-rw-r--r-- | 157923 | root |
root |
/usr/lib64/swipl-5.10.2/library/jpl.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/swi-prolog-jpl
|
-rw-r--r-- | 6012 | root |
root |
/usr/share/doc/swi-prolog-jpl/README.html
|