drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/prolog
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions2
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Family
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/FamilyMT
|
-rw-r--r-- | 2130 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/README
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/SemWeb
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test2
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Time
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Versions
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Zahed
|
-rw-r--r-- | 3519 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/env.sh
|
-rw-r--r-- | 956 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions/Exceptions.class
|
-rw-r--r-- | 958 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions/Exceptions.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions/README
|
-rwxr-xr-x | 40 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions/run.sh
|
-rw-r--r-- | 1043 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions2/Exceptions2.class
|
-rw-r--r-- | 671 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions2/Exceptions2.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions2/README
|
-rwxr-xr-x | 41 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Exceptions2/run.sh
|
-rw-r--r-- | 1818 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Family/Family.class
|
-rw-r--r-- | 1748 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Family/Family.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Family/README
|
-rw-r--r-- | 205 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Family/family.pl
|
-rwxr-xr-x | 36 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Family/run.sh
|
-rw-r--r-- | 2682 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/FamilyMT/FamilyMT.class
|
-rw-r--r-- | 2392 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/FamilyMT/FamilyMT.java
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/FamilyMT/README
|
-rwxr-xr-x | 38 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/FamilyMT/run.sh
|
-rw-r--r-- | 1291 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/SemWeb/README
|
-rw-r--r-- | 1234 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/SemWeb/SemWeb.class
|
-rw-r--r-- | 705 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/SemWeb/SemWeb.java
|
-rwxr-xr-x | 46 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/SemWeb/run.sh
|
-rw-r--r-- | 461 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/SemWeb/test.rdf
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test/README
|
-rw-r--r-- | 1430 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test/Test$QueryThread.class
|
-rw-r--r-- | 7555 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test/Test.class
|
-rw-r--r-- | 14267 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test/Test.java
|
-rwxr-xr-x | 34 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test/run.sh
|
-rw-r--r-- | 290 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test/test.pl
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test2/README
|
-rw-r--r-- | 1260 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test2/Test2.class
|
-rw-r--r-- | 567 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test2/Test2.java
|
-rwxr-xr-x | 35 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test2/run.sh
|
-rw-r--r-- | 195 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Test2/test2.pl
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Time/README
|
-rw-r--r-- | 973 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Time/Time$Timer.class
|
-rw-r--r-- | 4863 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Time/Time.class
|
-rw-r--r-- | 7031 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Time/Time.java
|
-rwxr-xr-x | 34 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Time/run.sh
|
-rw-r--r-- | 159 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Time/time.pl
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Versions/README
|
-rw-r--r-- | 1333 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Versions/Versions.class
|
-rw-r--r-- | 818 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Versions/Versions.java
|
-rwxr-xr-x | 38 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Versions/run.sh
|
-rw-r--r-- | 169 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Zahed/README
|
-rw-r--r-- | 1307 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Zahed/Zahed.class
|
-rw-r--r-- | 2077 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Zahed/Zahed.java
|
-rwxr-xr-x | 35 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Zahed/run.sh
|
-rw-r--r-- | 90 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/java/Zahed/zahed.pl
|
-rw-r--r-- | 449 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/prolog/README
|
-rw-r--r-- | 713 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/prolog/jpl_colour_choose_demo.pl
|
-rw-r--r-- | 537 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/prolog/jpl_jlist_demo.pl
|
-rw-r--r-- | 820 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/prolog/jpl_midi_demo.pl
|
-rw-r--r-- | 884 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/prolog/jpl_table_demo.pl
|
-rw-r--r-- | 648 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/prolog/jpl_text_entry_demo.pl
|
-rw-r--r-- | 588 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/examples/jpl/prolog/jpl_versions_demo.pl
|
-rw-r--r-- | 1361 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/index.html
|
-rw-r--r-- | 8402 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/installation.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api
|
-rw-r--r-- | 1920 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/objectives.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/prolog_api
|
-rw-r--r-- | 25114 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/release_notes.html
|
-rw-r--r-- | 12659 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/getting_started.html
|
-rw-r--r-- | 1781 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/gotchas.html
|
-rw-r--r-- | 29592 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/high-level_interface.html
|
-rw-r--r-- | 7864 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/index.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc
|
-rw-r--r-- | 28097 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/lgpl.html
|
-rw-r--r-- | 12354 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/logo.jpg
|
-rw-r--r-- | 11814 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/low-level_interface.html
|
-rw-r--r-- | 6123 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/philosophical-gnu-sm.jpg
|
-rw-r--r-- | 6042 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/programming_notes.html
|
-rw-r--r-- | 3314 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/allclasses-frame.html
|
-rw-r--r-- | 2734 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/allclasses-noframe.html
|
-rw-r--r-- | 12622 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/constant-values.html
|
-rw-r--r-- | 7728 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/deprecated-list.html
|
-rw-r--r-- | 8212 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/help-doc.html
|
-rw-r--r-- | 98661 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/index-all.html
|
-rw-r--r-- | 2863 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/index.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl
|
-rw-r--r-- | 834 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/overview-frame.html
|
-rw-r--r-- | 4007 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/overview-summary.html
|
-rw-r--r-- | 7883 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/overview-tree.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/resources
|
-rw-r--r-- | 4520 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/serialized-form.html
|
-rw-r--r-- | 15803 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/Atom.html
|
-rw-r--r-- | 34029 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/Compound.html
|
-rw-r--r-- | 28399 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/Float.html
|
-rw-r--r-- | 28530 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/Integer.html
|
-rw-r--r-- | 24545 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/JPL.html
|
-rw-r--r-- | 9262 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/JPLException.html
|
-rw-r--r-- | 26111 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/JRef.html
|
-rw-r--r-- | 9698 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/PrologException.html
|
-rw-r--r-- | 55993 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/Query.html
|
-rw-r--r-- | 34875 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/Term.html
|
-rw-r--r-- | 21455 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/Util.html
|
-rw-r--r-- | 25286 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/Variable.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/class-use
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli
|
-rw-r--r-- | 1708 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/package-frame.html
|
-rw-r--r-- | 7814 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/package-summary.html
|
-rw-r--r-- | 5719 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/package-tree.html
|
-rw-r--r-- | 8931 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/BooleanHolder.html
|
-rw-r--r-- | 8916 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/DoubleHolder.html
|
-rw-r--r-- | 8892 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/Int64Holder.html
|
-rw-r--r-- | 8855 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/IntHolder.html
|
-rw-r--r-- | 11104 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/LongHolder.html
|
-rw-r--r-- | 8951 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/ObjectHolder.html
|
-rw-r--r-- | 9291 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/PointerHolder.html
|
-rw-r--r-- | 56648 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/Prolog.html
|
-rw-r--r-- | 8916 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/StringHolder.html
|
-rw-r--r-- | 10571 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/atom_t.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/class-use
|
-rw-r--r-- | 8860 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/engine_t.html
|
-rw-r--r-- | 8824 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/fid_t.html
|
-rw-r--r-- | 8901 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/functor_t.html
|
-rw-r--r-- | 9064 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/module_t.html
|
-rw-r--r-- | 2237 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/package-frame.html
|
-rw-r--r-- | 8493 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/package-summary.html
|
-rw-r--r-- | 6479 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/package-tree.html
|
-rw-r--r-- | 9106 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/predicate_t.html
|
-rw-r--r-- | 8810 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/qid_t.html
|
-rw-r--r-- | 13877 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/java_api/javadoc/jpl/fli/term_t.html
|
-rw-r--r-- | 18143 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/prolog_api/api.html
|
-rw-r--r-- | 1363 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/prolog_api/gotchas.html
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/prolog_api/overview
|
-rw-r--r-- | 45015 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/prolog_api/overview.html
|
-rw-r--r-- | 36062 | root |
root |
/usr/lib/swipl-6.6.6/doc/packages/jpl/prolog_api/screendump.jpg
|
-rw-r--r-- | 29460 | root |
root |
/usr/lib/swipl-6.6.6/lib/jpl.jar
|
-rwxr-xr-x | 1419068 | root |
root |
/usr/lib/swipl-6.6.6/lib/i586-linux/libjpl.so
|
-rw-r--r-- | 158478 | root |
root |
/usr/lib/swipl-6.6.6/library/jpl.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/swi-prolog-java
|
-rw-r--r-- | 6012 | root |
root |
/usr/share/doc/swi-prolog-java/README.html
|