| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/prolog
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions2
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Family
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/FamilyMT
|
| -rw-r--r-- | 2130 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/README
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/SemWeb
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test2
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Time
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Versions
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Zahed
|
| -rw-r--r-- | 3519 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/env.sh
|
| -rw-r--r-- | 956 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions/Exceptions.class
|
| -rw-r--r-- | 958 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions/Exceptions.java
|
| -rw-r--r-- | 169 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions/README
|
| -rwxr-xr-x | 40 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions/run.sh
|
| -rw-r--r-- | 1077 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions2/Exceptions2.class
|
| -rw-r--r-- | 671 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions2/Exceptions2.java
|
| -rw-r--r-- | 169 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions2/README
|
| -rwxr-xr-x | 41 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Exceptions2/run.sh
|
| -rw-r--r-- | 2159 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Family/Family.class
|
| -rw-r--r-- | 1748 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Family/Family.java
|
| -rw-r--r-- | 169 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Family/README
|
| -rw-r--r-- | 205 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Family/family.pl
|
| -rwxr-xr-x | 36 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Family/run.sh
|
| -rw-r--r-- | 3006 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/FamilyMT/FamilyMT.class
|
| -rw-r--r-- | 2392 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/FamilyMT/FamilyMT.java
|
| -rw-r--r-- | 169 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/FamilyMT/README
|
| -rwxr-xr-x | 38 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/FamilyMT/run.sh
|
| -rw-r--r-- | 1291 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/SemWeb/README
|
| -rw-r--r-- | 1411 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/SemWeb/SemWeb.class
|
| -rw-r--r-- | 705 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/SemWeb/SemWeb.java
|
| -rwxr-xr-x | 46 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/SemWeb/run.sh
|
| -rw-r--r-- | 461 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/SemWeb/test.rdf
|
| -rw-r--r-- | 169 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test/README
|
| -rw-r--r-- | 1493 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test/Test$QueryThread.class
|
| -rw-r--r-- | 8055 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test/Test.class
|
| -rw-r--r-- | 14267 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test/Test.java
|
| -rwxr-xr-x | 34 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test/run.sh
|
| -rw-r--r-- | 290 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test/test.pl
|
| -rw-r--r-- | 169 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test2/README
|
| -rw-r--r-- | 1284 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test2/Test2.class
|
| -rw-r--r-- | 567 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test2/Test2.java
|
| -rwxr-xr-x | 35 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test2/run.sh
|
| -rw-r--r-- | 195 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Test2/test2.pl
|
| -rw-r--r-- | 169 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Time/README
|
| -rw-r--r-- | 1016 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Time/Time$Timer.class
|
| -rw-r--r-- | 5035 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Time/Time.class
|
| -rw-r--r-- | 7031 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Time/Time.java
|
| -rwxr-xr-x | 34 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Time/run.sh
|
| -rw-r--r-- | 159 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Time/time.pl
|
| -rw-r--r-- | 169 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Versions/README
|
| -rw-r--r-- | 1375 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Versions/Versions.class
|
| -rw-r--r-- | 818 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Versions/Versions.java
|
| -rwxr-xr-x | 38 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Versions/run.sh
|
| -rw-r--r-- | 169 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Zahed/README
|
| -rw-r--r-- | 1421 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Zahed/Zahed.class
|
| -rw-r--r-- | 2077 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Zahed/Zahed.java
|
| -rwxr-xr-x | 35 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Zahed/run.sh
|
| -rw-r--r-- | 90 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/java/Zahed/zahed.pl
|
| -rw-r--r-- | 449 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/prolog/README
|
| -rw-r--r-- | 713 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/prolog/jpl_colour_choose_demo.pl
|
| -rw-r--r-- | 537 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/prolog/jpl_jlist_demo.pl
|
| -rw-r--r-- | 820 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/prolog/jpl_midi_demo.pl
|
| -rw-r--r-- | 884 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/prolog/jpl_table_demo.pl
|
| -rw-r--r-- | 648 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/prolog/jpl_text_entry_demo.pl
|
| -rw-r--r-- | 588 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/examples/jpl/prolog/jpl_versions_demo.pl
|
| -rw-r--r-- | 1361 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/index.html
|
| -rw-r--r-- | 8402 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/installation.html
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api
|
| -rw-r--r-- | 1920 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/objectives.html
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/prolog_api
|
| -rw-r--r-- | 25114 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/release_notes.html
|
| -rw-r--r-- | 12659 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/getting_started.html
|
| -rw-r--r-- | 1781 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/gotchas.html
|
| -rw-r--r-- | 29592 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/high-level_interface.html
|
| -rw-r--r-- | 7864 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/index.html
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc
|
| -rw-r--r-- | 28104 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/lgpl.html
|
| -rw-r--r-- | 12354 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/logo.jpg
|
| -rw-r--r-- | 11814 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/low-level_interface.html
|
| -rw-r--r-- | 6123 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/philosophical-gnu-sm.jpg
|
| -rw-r--r-- | 6042 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/programming_notes.html
|
| -rw-r--r-- | 3270 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/allclasses-frame.html
|
| -rw-r--r-- | 2690 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/allclasses-noframe.html
|
| -rw-r--r-- | 15073 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/constant-values.html
|
| -rw-r--r-- | 9988 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/deprecated-list.html
|
| -rw-r--r-- | 8987 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/help-doc.html
|
| -rw-r--r-- | 76279 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/index-all.html
|
| -rw-r--r-- | 1415 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/index.html
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl
|
| -rw-r--r-- | 1044 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/overview-frame.html
|
| -rw-r--r-- | 5281 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/overview-summary.html
|
| -rw-r--r-- | 8168 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/overview-tree.html
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/resources
|
| -rw-r--r-- | 6427 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/serialized-form.html
|
| -rw-r--r-- | 15248 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/Atom.html
|
| -rw-r--r-- | 29429 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/Compound.html
|
| -rw-r--r-- | 26386 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/Float.html
|
| -rw-r--r-- | 23727 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/Integer.html
|
| -rw-r--r-- | 22505 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/JPL.html
|
| -rw-r--r-- | 10560 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/JPLException.html
|
| -rw-r--r-- | 18415 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/JRef.html
|
| -rw-r--r-- | 10282 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/PrologException.html
|
| -rw-r--r-- | 54293 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/Query.html
|
| -rw-r--r-- | 32290 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/Term.html
|
| -rw-r--r-- | 21179 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/Util.html
|
| -rw-r--r-- | 19386 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/Variable.html
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/class-use
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli
|
| -rw-r--r-- | 1848 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/package-frame.html
|
| -rw-r--r-- | 8631 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/package-summary.html
|
| -rw-r--r-- | 6609 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/package-tree.html
|
| -rw-r--r-- | 10074 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/BooleanHolder.html
|
| -rw-r--r-- | 10060 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/DoubleHolder.html
|
| -rw-r--r-- | 10037 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/Int64Holder.html
|
| -rw-r--r-- | 10002 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/IntHolder.html
|
| -rw-r--r-- | 11528 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/LongHolder.html
|
| -rw-r--r-- | 10095 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/ObjectHolder.html
|
| -rw-r--r-- | 10928 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/PointerHolder.html
|
| -rw-r--r-- | 57094 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/Prolog.html
|
| -rw-r--r-- | 10060 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/StringHolder.html
|
| -rw-r--r-- | 11415 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/atom_t.html
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/class-use
|
| -rw-r--r-- | 10500 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/engine_t.html
|
| -rw-r--r-- | 10467 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/fid_t.html
|
| -rw-r--r-- | 10540 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/functor_t.html
|
| -rw-r--r-- | 10721 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/module_t.html
|
| -rw-r--r-- | 2240 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/package-frame.html
|
| -rw-r--r-- | 9322 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/package-summary.html
|
| -rw-r--r-- | 7227 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/package-tree.html
|
| -rw-r--r-- | 10760 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/predicate_t.html
|
| -rw-r--r-- | 10453 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/qid_t.html
|
| -rw-r--r-- | 14278 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/jpl/fli/term_t.html
|
| -rw-r--r-- | 57 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/java_api/javadoc/resources/inherit.gif
|
| -rw-r--r-- | 18143 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/prolog_api/api.html
|
| -rw-r--r-- | 1363 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/prolog_api/gotchas.html
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/prolog_api/overview
|
| -rw-r--r-- | 45015 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/prolog_api/overview.html
|
| -rw-r--r-- | 36062 | root |
root |
/usr/lib/pl-5.6.51/doc/packages/jpl/prolog_api/screendump.jpg
|
| -rw-r--r-- | 29126 | root |
root |
/usr/lib/pl-5.6.51/lib/jpl.jar
|
| -rwxr-xr-x | 881072 | root |
root |
/usr/lib/pl-5.6.51/lib/x86_64-linux-gnu/libjpl.so
|
| -rw-r--r-- | 158000 | root |
root |
/usr/lib/pl-5.6.51/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
|
