-rwxr-xr-x | 11156 | root |
root |
/usr/bin/yap
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/Yap
|
lrwxrwxrwx | 15 | root |
root |
/usr/lib/libYap.so
|
-rwxr-xr-x | 989940 | root |
root |
/usr/lib/libYap.so.5.1.3
|
-rwxr-xr-x | 47572 | root |
root |
/usr/lib/Yap/itries.so
|
-rwxr-xr-x | 30284 | root |
root |
/usr/lib/Yap/matrix.so
|
-rwxr-xr-x | 4036 | root |
root |
/usr/lib/Yap/random.so
|
-rwxr-xr-x | 23036 | root |
root |
/usr/lib/Yap/regcomp.so
|
-rwxr-xr-x | 4936 | root |
root |
/usr/lib/Yap/regerror.so
|
-rwxr-xr-x | 17048 | root |
root |
/usr/lib/Yap/regexec.so
|
-rwxr-xr-x | 5700 | root |
root |
/usr/lib/Yap/regexp.so
|
-rwxr-xr-x | 2944 | root |
root |
/usr/lib/Yap/regfree.so
|
-rw-r--r-- | 1119348 | root |
root |
/usr/lib/Yap/startup
|
-rwxr-xr-x | 14696 | root |
root |
/usr/lib/Yap/sys.so
|
-rwxr-xr-x | 43316 | root |
root |
/usr/lib/Yap/tries.so
|
-rwxr-xr-x | 16280 | root |
root |
/usr/lib/Yap/yap_rl.so
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap
|
-rw-r--r-- | 17941 | root |
root |
/usr/share/Yap/aggregate.pl
|
-rw-r--r-- | 4415 | root |
root |
/usr/share/Yap/apply.pl
|
-rw-r--r-- | 134 | root |
root |
/usr/share/Yap/apply.yap
|
-rw-r--r-- | 16694 | root |
root |
/usr/share/Yap/apply_macros.yap
|
-rw-r--r-- | 835 | root |
root |
/usr/share/Yap/arg.yap
|
-rw-r--r-- | 2188 | root |
root |
/usr/share/Yap/assoc.yap
|
-rw-r--r-- | 7452 | root |
root |
/usr/share/Yap/atts.yap
|
-rw-r--r-- | 3008 | root |
root |
/usr/share/Yap/avl.yap
|
-rw-r--r-- | 3181 | root |
root |
/usr/share/Yap/charsio.yap
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/chr
|
-rw-r--r-- | 12381 | root |
root |
/usr/share/Yap/chr.pl
|
-rw-r--r-- | 4145 | root |
root |
/usr/share/Yap/cleanup.yap
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/clp
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/clpbn
|
-rw-r--r-- | 8600 | root |
root |
/usr/share/Yap/clpbn.yap
|
-rw-r--r-- | 126621 | root |
root |
/usr/share/Yap/clpfd.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/clpq
|
-rw-r--r-- | 3689 | root |
root |
/usr/share/Yap/clpq.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/clpqr
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/clpr
|
-rw-r--r-- | 3848 | root |
root |
/usr/share/Yap/clpr.pl
|
-rw-r--r-- | 1237 | root |
root |
/usr/share/Yap/dbqueues.yap
|
-rw-r--r-- | 6462 | root |
root |
/usr/share/Yap/debug.pl
|
-rw-r--r-- | 11188 | root |
root |
/usr/share/Yap/dgraphs.yap
|
-rw-r--r-- | 7780 | root |
root |
/usr/share/Yap/error.pl
|
-rw-r--r-- | 408 | root |
root |
/usr/share/Yap/gensym.yap
|
-rw-r--r-- | 871 | root |
root |
/usr/share/Yap/hacks.yap
|
-rw-r--r-- | 8212 | root |
root |
/usr/share/Yap/heaps.yap
|
-rw-r--r-- | 47 | root |
root |
/usr/share/Yap/icon_address.pl
|
-rw-r--r-- | 839 | root |
root |
/usr/share/Yap/itries.yap
|
-rw-r--r-- | 622 | root |
root |
/usr/share/Yap/lam_mpi.yap
|
-rw-r--r-- | 1990 | root |
root |
/usr/share/Yap/lineutils.yap
|
-rw-r--r-- | 52 | root |
root |
/usr/share/Yap/listing.yap
|
-rw-r--r-- | 9279 | root |
root |
/usr/share/Yap/lists.yap
|
-rw-r--r-- | 3282 | root |
root |
/usr/share/Yap/maplist.pl
|
-rw-r--r-- | 2690 | root |
root |
/usr/share/Yap/matlab.yap
|
-rw-r--r-- | 3742 | root |
root |
/usr/share/Yap/matrix.yap
|
-rw-r--r-- | 1133 | root |
root |
/usr/share/Yap/nb.yap
|
-rw-r--r-- | 3888 | root |
root |
/usr/share/Yap/occurs.yap
|
-rw-r--r-- | 5027 | root |
root |
/usr/share/Yap/operators.pl
|
-rw-r--r-- | 3916 | root |
root |
/usr/share/Yap/option.pl
|
-rw-r--r-- | 11466 | root |
root |
/usr/share/Yap/ordsets.yap
|
-rw-r--r-- | 4763 | root |
root |
/usr/share/Yap/pairs.pl
|
-rw-r--r-- | 54739 | root |
root |
/usr/share/Yap/pillow.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/pl
|
-rw-r--r-- | 2961 | root |
root |
/usr/share/Yap/prandom.yap
|
-rw-r--r-- | 6948 | root |
root |
/usr/share/Yap/prolog_source.pl
|
-rw-r--r-- | 37227 | root |
root |
/usr/share/Yap/prolog_xref.pl
|
-rw-r--r-- | 5732 | root |
root |
/usr/share/Yap/queues.yap
|
-rw-r--r-- | 2506 | root |
root |
/usr/share/Yap/random.yap
|
-rw-r--r-- | 29621 | root |
root |
/usr/share/Yap/rbtrees.yap
|
-rw-r--r-- | 1602 | root |
root |
/usr/share/Yap/readutil.yap
|
-rw-r--r-- | 1974 | root |
root |
/usr/share/Yap/regexp.yap
|
-rw-r--r-- | 943 | root |
root |
/usr/share/Yap/rltree.yap
|
-rw-r--r-- | 8560 | root |
root |
/usr/share/Yap/splay.yap
|
-rw-r--r-- | 663 | root |
root |
/usr/share/Yap/stringutils.yap
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/swi
|
-rw-r--r-- | 8912 | root |
root |
/usr/share/Yap/swi.yap
|
-rw-r--r-- | 15406 | root |
root |
/usr/share/Yap/system.yap
|
-rw-r--r-- | 1035 | root |
root |
/usr/share/Yap/terms.yap
|
-rw-r--r-- | 1076 | root |
root |
/usr/share/Yap/timeout.yap
|
-rw-r--r-- | 4987 | root |
root |
/usr/share/Yap/trees.yap
|
-rw-r--r-- | 995 | root |
root |
/usr/share/Yap/tries.yap
|
-rw-r--r-- | 16615 | root |
root |
/usr/share/Yap/ugraphs.yap
|
-rw-r--r-- | 4909 | root |
root |
/usr/share/Yap/undgraphs.yap
|
-rw-r--r-- | 1104 | root |
root |
/usr/share/Yap/varnumbers.yap
|
-rw-r--r-- | 12086 | root |
root |
/usr/share/Yap/wdgraphs.yap
|
-rw-r--r-- | 1273 | root |
root |
/usr/share/Yap/wgraphs.yap
|
-rw-r--r-- | 6383 | root |
root |
/usr/share/Yap/wundgraphs.yap
|
-rw-r--r-- | 2867 | root |
root |
/usr/share/Yap/ypp.yap
|
-rw-r--r-- | 1289 | root |
root |
/usr/share/Yap/chr/README
|
-rw-r--r-- | 1465 | root |
root |
/usr/share/Yap/chr/a_star.pl
|
-rw-r--r-- | 2125 | root |
root |
/usr/share/Yap/chr/binomialheap.pl
|
-rw-r--r-- | 22228 | root |
root |
/usr/share/Yap/chr/builtins.pl
|
-rw-r--r-- | 6206 | root |
root |
/usr/share/Yap/chr/chr_compiler_errors.pl
|
-rw-r--r-- | 12987 | root |
root |
/usr/share/Yap/chr/chr_compiler_options.pl
|
-rw-r--r-- | 7881 | root |
root |
/usr/share/Yap/chr/chr_compiler_utility.pl
|
-rw-r--r-- | 2070 | root |
root |
/usr/share/Yap/chr/chr_debug.pl
|
-rw-r--r-- | 9642 | root |
root |
/usr/share/Yap/chr/chr_hashtable_store.pl
|
-rw-r--r-- | 3667 | root |
root |
/usr/share/Yap/chr/chr_integertable_store.pl
|
-rw-r--r-- | 4031 | root |
root |
/usr/share/Yap/chr/chr_messages.pl
|
-rw-r--r-- | 1968 | root |
root |
/usr/share/Yap/chr/chr_op.pl
|
-rw-r--r-- | 24491 | root |
root |
/usr/share/Yap/chr/chr_runtime.pl
|
-rw-r--r-- | 632096 | root |
root |
/usr/share/Yap/chr/chr_translate.pl
|
-rw-r--r-- | 5411 | root |
root |
/usr/share/Yap/chr/clean_code.pl
|
-rw-r--r-- | 2560 | root |
root |
/usr/share/Yap/chr/find.pl
|
-rw-r--r-- | 531139 | root |
root |
/usr/share/Yap/chr/guard_entailment.pl
|
-rw-r--r-- | 4615 | root |
root |
/usr/share/Yap/chr/hprolog.pl
|
-rw-r--r-- | 2601 | root |
root |
/usr/share/Yap/chr/listmap.pl
|
-rw-r--r-- | 1965 | root |
root |
/usr/share/Yap/chr/pairlist.pl
|
-rw-r--r-- | 2548 | root |
root |
/usr/share/Yap/clp/clp_events.pl
|
-rw-r--r-- | 8491 | root |
root |
/usr/share/Yap/clpbn/aggregates.yap
|
-rw-r--r-- | 11326 | root |
root |
/usr/share/Yap/clpbn/bnt.yap
|
-rw-r--r-- | 4161 | root |
root |
/usr/share/Yap/clpbn/discrete_utils.yap
|
-rw-r--r-- | 1582 | root |
root |
/usr/share/Yap/clpbn/display.yap
|
-rw-r--r-- | 6667 | root |
root |
/usr/share/Yap/clpbn/dists.yap
|
-rw-r--r-- | 2879 | root |
root |
/usr/share/Yap/clpbn/evidence.yap
|
-rw-r--r-- | 15371 | root |
root |
/usr/share/Yap/clpbn/gibbs.yap
|
-rw-r--r-- | 760 | root |
root |
/usr/share/Yap/clpbn/graphs.yap
|
-rw-r--r-- | 1757 | root |
root |
/usr/share/Yap/clpbn/graphviz.yap
|
-rw-r--r-- | 1861 | root |
root |
/usr/share/Yap/clpbn/hmm.yap
|
-rw-r--r-- | 15411 | root |
root |
/usr/share/Yap/clpbn/jt.yap
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/clpbn/learning
|
-rw-r--r-- | 4925 | root |
root |
/usr/share/Yap/clpbn/matrix_cpt_utils.yap
|
-rw-r--r-- | 2454 | root |
root |
/usr/share/Yap/clpbn/topsort.yap
|
-rw-r--r-- | 3394 | root |
root |
/usr/share/Yap/clpbn/utils.yap
|
-rw-r--r-- | 6927 | root |
root |
/usr/share/Yap/clpbn/vel.yap
|
-rw-r--r-- | 6296 | root |
root |
/usr/share/Yap/clpbn/viterbi.yap
|
-rw-r--r-- | 2815 | root |
root |
/usr/share/Yap/clpbn/xbif.yap
|
-rw-r--r-- | 2817 | root |
root |
/usr/share/Yap/clpbn/learning/bnt_parms.yap
|
-rw-r--r-- | 703 | root |
root |
/usr/share/Yap/clpbn/learning/learn_utils.yap
|
-rw-r--r-- | 1006 | root |
root |
/usr/share/Yap/clpbn/learning/mle.yap
|
-rw-r--r-- | 6442 | root |
root |
/usr/share/Yap/clpq/bb_q.pl
|
-rw-r--r-- | 48326 | root |
root |
/usr/share/Yap/clpq/bv_q.pl
|
-rw-r--r-- | 13200 | root |
root |
/usr/share/Yap/clpq/fourmotz_q.pl
|
-rw-r--r-- | 35892 | root |
root |
/usr/share/Yap/clpq/ineq_q.pl
|
-rw-r--r-- | 6250 | root |
root |
/usr/share/Yap/clpq/itf_q.pl
|
-rw-r--r-- | 25101 | root |
root |
/usr/share/Yap/clpq/nf_q.pl
|
-rw-r--r-- | 10757 | root |
root |
/usr/share/Yap/clpq/store_q.pl
|
-rw-r--r-- | 699 | root |
root |
/usr/share/Yap/clpqr/README
|
-rw-r--r-- | 4854 | root |
root |
/usr/share/Yap/clpqr/class.pl
|
-rw-r--r-- | 8596 | root |
root |
/usr/share/Yap/clpqr/dump.pl
|
-rw-r--r-- | 5485 | root |
root |
/usr/share/Yap/clpqr/geler.pl
|
-rw-r--r-- | 3604 | root |
root |
/usr/share/Yap/clpqr/itf.pl
|
-rw-r--r-- | 4834 | root |
root |
/usr/share/Yap/clpqr/ordering.pl
|
-rw-r--r-- | 7836 | root |
root |
/usr/share/Yap/clpqr/project.pl
|
-rw-r--r-- | 7614 | root |
root |
/usr/share/Yap/clpqr/redund.pl
|
-rw-r--r-- | 7345 | root |
root |
/usr/share/Yap/clpr/bb_r.pl
|
-rw-r--r-- | 49660 | root |
root |
/usr/share/Yap/clpr/bv_r.pl
|
-rw-r--r-- | 13329 | root |
root |
/usr/share/Yap/clpr/fourmotz_r.pl
|
-rw-r--r-- | 40942 | root |
root |
/usr/share/Yap/clpr/ineq_r.pl
|
-rw-r--r-- | 6456 | root |
root |
/usr/share/Yap/clpr/itf_r.pl
|
-rw-r--r-- | 26074 | root |
root |
/usr/share/Yap/clpr/nf_r.pl
|
-rw-r--r-- | 11485 | root |
root |
/usr/share/Yap/clpr/store_r.pl
|
-rw-r--r-- | 11537 | root |
root |
/usr/share/Yap/pl/arith.yap
|
-rw-r--r-- | 2154 | root |
root |
/usr/share/Yap/pl/arrays.yap
|
-rw-r--r-- | 28809 | root |
root |
/usr/share/Yap/pl/boot.yap
|
-rw-r--r-- | 1176 | root |
root |
/usr/share/Yap/pl/callcount.yap
|
-rw-r--r-- | 8574 | root |
root |
/usr/share/Yap/pl/checker.yap
|
-rw-r--r-- | 11052 | root |
root |
/usr/share/Yap/pl/chtypes.yap
|
-rw-r--r-- | 31413 | root |
root |
/usr/share/Yap/pl/consult.yap
|
-rw-r--r-- | 23161 | root |
root |
/usr/share/Yap/pl/corout.yap
|
-rw-r--r-- | 25786 | root |
root |
/usr/share/Yap/pl/debug.yap
|
-rw-r--r-- | 702 | root |
root |
/usr/share/Yap/pl/depth_bound.yap
|
-rw-r--r-- | 31897 | root |
root |
/usr/share/Yap/pl/directives.yap
|
-rw-r--r-- | 2257 | root |
root |
/usr/share/Yap/pl/eam.yap
|
-rw-r--r-- | 9578 | root |
root |
/usr/share/Yap/pl/errors.yap
|
-rw-r--r-- | 4080 | root |
root |
/usr/share/Yap/pl/grammar.yap
|
-rw-r--r-- | 1574 | root |
root |
/usr/share/Yap/pl/ground.yap
|
-rw-r--r-- | 6960 | root |
root |
/usr/share/Yap/pl/hacks.yap
|
-rw-r--r-- | 4028 | root |
root |
/usr/share/Yap/pl/init.yap
|
-rw-r--r-- | 4917 | root |
root |
/usr/share/Yap/pl/listing.yap
|
-rw-r--r-- | 3465 | root |
root |
/usr/share/Yap/pl/load_foreign.yap
|
-rw-r--r-- | 19415 | root |
root |
/usr/share/Yap/pl/messages.yap
|
-rw-r--r-- | 22379 | root |
root |
/usr/share/Yap/pl/modules.yap
|
-rw-r--r-- | 29372 | root |
root |
/usr/share/Yap/pl/preds.yap
|
-rw-r--r-- | 4542 | root |
root |
/usr/share/Yap/pl/profile.yap
|
-rw-r--r-- | 1361 | root |
root |
/usr/share/Yap/pl/protect.yap
|
-rw-r--r-- | 6577 | root |
root |
/usr/share/Yap/pl/setof.yap
|
-rw-r--r-- | 5773 | root |
root |
/usr/share/Yap/pl/signals.yap
|
-rw-r--r-- | 2855 | root |
root |
/usr/share/Yap/pl/sockets.yap
|
-rw-r--r-- | 1296 | root |
root |
/usr/share/Yap/pl/sort.yap
|
-rw-r--r-- | 6506 | root |
root |
/usr/share/Yap/pl/statistics.yap
|
-rw-r--r-- | 6051 | root |
root |
/usr/share/Yap/pl/strict_iso.yap
|
-rw-r--r-- | 7997 | root |
root |
/usr/share/Yap/pl/tabling.yap
|
-rw-r--r-- | 30883 | root |
root |
/usr/share/Yap/pl/threads.yap
|
-rw-r--r-- | 24664 | root |
root |
/usr/share/Yap/pl/utils.yap
|
-rw-r--r-- | 4559 | root |
root |
/usr/share/Yap/pl/yapor.yap
|
-rw-r--r-- | 33254 | root |
root |
/usr/share/Yap/pl/yio.yap
|
-rw-r--r-- | 5656 | root |
root |
/usr/share/Yap/swi/apply_macros.pl
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/yap-5.1.3
|
-rw-r--r-- | 8003 | root |
root |
/usr/share/doc/yap-5.1.3/README
|
-rw-r--r-- | 1334 | root |
root |
/usr/share/doc/yap-5.1.3/changes-5.0.html
|
-rw-r--r-- | 33936 | root |
root |
/usr/share/doc/yap-5.1.3/changes-5.1.html
|
-rw-r--r-- | 275 | root |
root |
/usr/share/doc/yap-5.1.3/changes.css
|
-rw-r--r-- | 104424 | root |
root |
/usr/share/doc/yap-5.1.3/changes4.3.html
|
-rw-r--r-- | 12744 | root |
root |
/usr/share/info/pillow_doc.info.gz
|
-rw-r--r-- | 86370 | root |
root |
/usr/share/info/yap.info-1.gz
|
-rw-r--r-- | 65440 | root |
root |
/usr/share/info/yap.info-2.gz
|
-rw-r--r-- | 18256 | root |
root |
/usr/share/info/yap.info-3.gz
|
-rw-r--r-- | 2180 | root |
root |
/usr/share/info/yap.info.gz
|