| -rwxr-xr-x | 14924 | root |
root |
/usr/bin/yap
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/Yap
|
| -rwxr-xr-x | 1277980 | root |
root |
/usr/lib/libYap.so.6.2.2
|
| -rwxr-xr-x | 14820 | root |
root |
/usr/lib/Yap/cgi.so
|
| -rwxr-xr-x | 18788 | root |
root |
/usr/lib/Yap/crypt.so
|
| -rwxr-xr-x | 10528 | root |
root |
/usr/lib/Yap/files.so
|
| -rwxr-xr-x | 23380 | root |
root |
/usr/lib/Yap/http_stream.so
|
| -rwxr-xr-x | 89236 | root |
root |
/usr/lib/Yap/itries.so
|
| -rwxr-xr-x | 6296 | root |
root |
/usr/lib/Yap/json.so
|
| -rwxr-xr-x | 176948 | root |
root |
/usr/lib/Yap/libplstream.so
|
| -rwxr-xr-x | 35648 | root |
root |
/usr/lib/Yap/matrix.so
|
| -rwxr-xr-x | 15024 | root |
root |
/usr/lib/Yap/memfile.so
|
| -rwxr-xr-x | 35696 | root |
root |
/usr/lib/Yap/mime.so
|
| -rwxr-xr-x | 39556 | root |
root |
/usr/lib/Yap/pl-minisat.so
|
| -rwxr-xr-x | 27576 | root |
root |
/usr/lib/Yap/pl-tai.so
|
| -rwxr-xr-x | 19104 | root |
root |
/usr/lib/Yap/process.so
|
| -rwxr-xr-x | 6380 | root |
root |
/usr/lib/Yap/random.so
|
| -rwxr-xr-x | 140100 | root |
root |
/usr/lib/Yap/rdf_db.so
|
| -rwxr-xr-x | 6316 | root |
root |
/usr/lib/Yap/readutil.so
|
| -rwxr-xr-x | 10412 | root |
root |
/usr/lib/Yap/regexp.so
|
| -rwxr-xr-x | 136780 | root |
root |
/usr/lib/Yap/sgml2pl.so
|
| -rwxr-xr-x | 47608 | root |
root |
/usr/lib/Yap/sha4pl.so
|
| -rwxr-xr-x | 31792 | root |
root |
/usr/lib/Yap/socket.so
|
| -rw-r--r-- | 1320299 | root |
root |
/usr/lib/Yap/startup.yss
|
| -rwxr-xr-x | 10508 | root |
root |
/usr/lib/Yap/streaminfo.so
|
| -rwxr-xr-x | 19064 | root |
root |
/usr/lib/Yap/sys.so
|
| -rwxr-xr-x | 23260 | root |
root |
/usr/lib/Yap/time.so
|
| -rwxr-xr-x | 93588 | root |
root |
/usr/lib/Yap/tries.so
|
| -rwxr-xr-x | 14748 | root |
root |
/usr/lib/Yap/turtle.so
|
| -rwxr-xr-x | 14992 | root |
root |
/usr/lib/Yap/unix.so
|
| -rwxr-xr-x | 23236 | root |
root |
/usr/lib/Yap/uri.so
|
| -rwxr-xr-x | 6336 | root |
root |
/usr/lib/Yap/yap_random.so
|
| -rwxr-xr-x | 19000 | root |
root |
/usr/lib/Yap/yap_rl.so
|
| -rwxr-xr-x | 14920 | root |
root |
/usr/lib/Yap/zlib4pl.so
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/DTD
|
| -rw-r--r-- | 18182 | root |
root |
/usr/share/Yap/INDEX.pl
|
| -rw-r--r-- | 17878 | root |
root |
/usr/share/Yap/aggregate.pl
|
| -rw-r--r-- | 202 | root |
root |
/usr/share/Yap/apply.yap
|
| -rw-r--r-- | 551 | root |
root |
/usr/share/Yap/apply_macros.yap
|
| -rw-r--r-- | 45002 | root |
root |
/usr/share/Yap/aproblog.yap
|
| -rw-r--r-- | 835 | root |
root |
/usr/share/Yap/arg.yap
|
| -rw-r--r-- | 2263 | root |
root |
/usr/share/Yap/assoc.yap
|
| -rw-r--r-- | 6194 | root |
root |
/usr/share/Yap/atts.yap
|
| -rw-r--r-- | 3791 | root |
root |
/usr/share/Yap/autoloader.yap
|
| -rw-r--r-- | 3008 | root |
root |
/usr/share/Yap/avl.yap
|
| -rw-r--r-- | 5616 | root |
root |
/usr/share/Yap/base64.pl
|
| -rw-r--r-- | 4923 | root |
root |
/usr/share/Yap/bhash.yap
|
| -rw-r--r-- | 18314 | root |
root |
/usr/share/Yap/block_diagram.yap
|
| -rw-r--r-- | 5314 | root |
root |
/usr/share/Yap/broadcast.pl
|
| -rw-r--r-- | 16257 | root |
root |
/usr/share/Yap/c_alarms.yap
|
| -rw-r--r-- | 1492 | root |
root |
/usr/share/Yap/cgi.pl
|
| -rw-r--r-- | 3075 | root |
root |
/usr/share/Yap/charsio.yap
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/chr
|
| -rw-r--r-- | 12418 | root |
root |
/usr/share/Yap/chr.pl
|
| -rw-r--r-- | 4174 | 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-- | 11858 | root |
root |
/usr/share/Yap/clpbn.yap
|
| -rw-r--r-- | 205970 | 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-- | 3806 | root |
root |
/usr/share/Yap/clpr.pl
|
| -rw-r--r-- | 3295 | root |
root |
/usr/share/Yap/cnf.pl
|
| -rw-r--r-- | 4579 | root |
root |
/usr/share/Yap/coinduction.yap
|
| -rw-r--r-- | 1615 | root |
root |
/usr/share/Yap/crypt.pl
|
| -rw-r--r-- | 3915 | root |
root |
/usr/share/Yap/ctypes.pl
|
| -rw-r--r-- | 7871 | root |
root |
/usr/share/Yap/date.pl
|
| -rw-r--r-- | 1260 | root |
root |
/usr/share/Yap/dbqueues.yap
|
| -rw-r--r-- | 4079 | root |
root |
/usr/share/Yap/dbusage.yap
|
| -rw-r--r-- | 6462 | root |
root |
/usr/share/Yap/debug.pl
|
| -rw-r--r-- | 11772 | root |
root |
/usr/share/Yap/dgraphs.yap
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/dialect
|
| -rw-r--r-- | 29966 | root |
root |
/usr/share/Yap/dtproblog.yap
|
| -rw-r--r-- | 7836 | root |
root |
/usr/share/Yap/error.pl
|
| -rw-r--r-- | 18675 | root |
root |
/usr/share/Yap/expand_macros.yap
|
| -rw-r--r-- | 1496 | root |
root |
/usr/share/Yap/filesex.pl
|
| -rw-r--r-- | 25991 | root |
root |
/usr/share/Yap/flags.yap
|
| -rw-r--r-- | 408 | root |
root |
/usr/share/Yap/gensym.yap
|
| -rw-r--r-- | 1394 | root |
root |
/usr/share/Yap/hacks.yap
|
| -rw-r--r-- | 8212 | root |
root |
/usr/share/Yap/heaps.yap
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/http
|
| -rw-r--r-- | 47 | root |
root |
/usr/share/Yap/icon_address.pl
|
| -rw-r--r-- | 14340 | root |
root |
/usr/share/Yap/iso_639.pl
|
| -rw-r--r-- | 892 | root |
root |
/usr/share/Yap/itries.yap
|
| -rw-r--r-- | 622 | root |
root |
/usr/share/Yap/lam_mpi.yap
|
| -rw-r--r-- | 5707 | root |
root |
/usr/share/Yap/lambda.pl
|
| -rw-r--r-- | 2963 | root |
root |
/usr/share/Yap/lineutils.yap
|
| -rw-r--r-- | 11012 | root |
root |
/usr/share/Yap/lists.yap
|
| -rw-r--r-- | 3282 | root |
root |
/usr/share/Yap/maplist.pl
|
| -rw-r--r-- | 22106 | root |
root |
/usr/share/Yap/maplist.yap
|
| -rw-r--r-- | 2690 | root |
root |
/usr/share/Yap/matlab.yap
|
| -rw-r--r-- | 3854 | root |
root |
/usr/share/Yap/matrix.yap
|
| -rw-r--r-- | 2017 | root |
root |
/usr/share/Yap/memfile.pl
|
| -rw-r--r-- | 2553 | root |
root |
/usr/share/Yap/mime.pl
|
| -rw-r--r-- | 7708 | root |
root |
/usr/share/Yap/minisat.pl
|
| -rw-r--r-- | 12826 | root |
root |
/usr/share/Yap/myddas.yap
|
| -rw-r--r-- | 8060 | root |
root |
/usr/share/Yap/myddas_assert_predicates.yap
|
| -rw-r--r-- | 4568 | root |
root |
/usr/share/Yap/myddas_errors.yap
|
| -rw-r--r-- | 6465 | root |
root |
/usr/share/Yap/myddas_mysql.yap
|
| -rw-r--r-- | 43749 | root |
root |
/usr/share/Yap/myddas_prolog2sql.yap
|
| -rw-r--r-- | 4033 | root |
root |
/usr/share/Yap/myddas_prolog2sql_optimizer.yap
|
| -rw-r--r-- | 13576 | root |
root |
/usr/share/Yap/myddas_util_predicates.yap
|
| -rw-r--r-- | 1251 | root |
root |
/usr/share/Yap/nb.yap
|
| -rw-r--r-- | 3423 | root |
root |
/usr/share/Yap/nb_set.pl
|
| -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-- | 7990 | 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-- | 1806 | root |
root |
/usr/share/Yap/pltotex.pl
|
| -rw-r--r-- | 40184 | root |
root |
/usr/share/Yap/plunit.pl
|
| -rw-r--r-- | 2961 | root |
root |
/usr/share/Yap/prandom.yap
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/problog
|
| -rw-r--r-- | 109859 | root |
root |
/usr/share/Yap/problog.yap
|
| -rw-r--r-- | 47702 | root |
root |
/usr/share/Yap/problog_learning.yap
|
| -rw-r--r-- | 39177 | root |
root |
/usr/share/Yap/problog_lfi.yap
|
| -rw-r--r-- | 11523 | root |
root |
/usr/share/Yap/process.pl
|
| -rw-r--r-- | 3767 | root |
root |
/usr/share/Yap/prolog_server.pl
|
| -rw-r--r-- | 6882 | root |
root |
/usr/share/Yap/prolog_source.pl
|
| -rw-r--r-- | 43053 | root |
root |
/usr/share/Yap/prolog_xref.pl
|
| -rw-r--r-- | 21682 | root |
root |
/usr/share/Yap/pwp.pl
|
| -rw-r--r-- | 5732 | root |
root |
/usr/share/Yap/queues.yap
|
| -rw-r--r-- | 9800 | root |
root |
/usr/share/Yap/quintus.pl
|
| -rw-r--r-- | 45220 | root |
root |
/usr/share/Yap/r_session.yap
|
| -rw-r--r-- | 3890 | root |
root |
/usr/share/Yap/random.pl
|
| -rw-r--r-- | 2510 | root |
root |
/usr/share/Yap/random.yap
|
| -rw-r--r-- | 30493 | root |
root |
/usr/share/Yap/rbtrees.yap
|
| -rw-r--r-- | 11483 | root |
root |
/usr/share/Yap/rdf.pl
|
| -rw-r--r-- | 7159 | root |
root |
/usr/share/Yap/rdf_ntriples.pl
|
| -rw-r--r-- | 16487 | root |
root |
/usr/share/Yap/rdf_parser.pl
|
| -rw-r--r-- | 10751 | root |
root |
/usr/share/Yap/rdf_triple.pl
|
| -rw-r--r-- | 19288 | root |
root |
/usr/share/Yap/rdf_write.pl
|
| -rw-r--r-- | 1602 | root |
root |
/usr/share/Yap/readutil.yap
|
| -rw-r--r-- | 12170 | root |
root |
/usr/share/Yap/record.pl
|
| -rw-r--r-- | 1978 | root |
root |
/usr/share/Yap/regexp.yap
|
| -rw-r--r-- | 4110 | root |
root |
/usr/share/Yap/rewrite.pl
|
| -rw-r--r-- | 943 | root |
root |
/usr/share/Yap/rltree.yap
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/semweb
|
| -rw-r--r-- | 18625 | root |
root |
/usr/share/Yap/settings.pl
|
| -rw-r--r-- | 11499 | root |
root |
/usr/share/Yap/sgml.pl
|
| -rw-r--r-- | 22730 | root |
root |
/usr/share/Yap/sgml_write.pl
|
| -rw-r--r-- | 2735 | root |
root |
/usr/share/Yap/sha.pl
|
| -rw-r--r-- | 12528 | root |
root |
/usr/share/Yap/shlib.pl
|
| -rw-r--r-- | 4129 | root |
root |
/usr/share/Yap/socket.pl
|
| -rw-r--r-- | 8574 | root |
root |
/usr/share/Yap/splay.yap
|
| -rw-r--r-- | 2919 | root |
root |
/usr/share/Yap/streaminfo.pl
|
| -rw-r--r-- | 663 | root |
root |
/usr/share/Yap/stringutils.yap
|
| -rw-r--r-- | 15783 | root |
root |
/usr/share/Yap/system.yap
|
| -rw-r--r-- | 1070 | root |
root |
/usr/share/Yap/terms.yap
|
| -rw-r--r-- | 7538 | root |
root |
/usr/share/Yap/test_cover.pl
|
| -rw-r--r-- | 5511 | root |
root |
/usr/share/Yap/test_wizard.pl
|
| -rw-r--r-- | 4489 | root |
root |
/usr/share/Yap/time.pl
|
| -rw-r--r-- | 1209 | root |
root |
/usr/share/Yap/timeout.yap
|
| -rw-r--r-- | 4926 | root |
root |
/usr/share/Yap/trees.yap
|
| -rw-r--r-- | 2046 | root |
root |
/usr/share/Yap/tries.yap
|
| -rw-r--r-- | 16615 | root |
root |
/usr/share/Yap/ugraphs.yap
|
| -rw-r--r-- | 4875 | root |
root |
/usr/share/Yap/undgraphs.yap
|
| -rw-r--r-- | 2016 | root |
root |
/usr/share/Yap/unix.pl
|
| -rw-r--r-- | 10254 | root |
root |
/usr/share/Yap/uri.pl
|
| -rw-r--r-- | 24741 | root |
root |
/usr/share/Yap/url.pl
|
| -rw-r--r-- | 3972 | root |
root |
/usr/share/Yap/utf8.pl
|
| -rw-r--r-- | 1104 | root |
root |
/usr/share/Yap/varnumbers.yap
|
| -rw-r--r-- | 12871 | root |
root |
/usr/share/Yap/wdgraphs.yap
|
| -rw-r--r-- | 1273 | root |
root |
/usr/share/Yap/wgraphs.yap
|
| -rw-r--r-- | 7070 | root |
root |
/usr/share/Yap/wundgraphs.yap
|
| -rw-r--r-- | 9783 | root |
root |
/usr/share/Yap/xpath.pl
|
| -rw-r--r-- | 7469 | root |
root |
/usr/share/Yap/xsdp_types.pl
|
| -rw-r--r-- | 2867 | root |
root |
/usr/share/Yap/ypp.yap
|
| -rw-r--r-- | 2741 | root |
root |
/usr/share/Yap/zlib.pl
|
| -rw-r--r-- | 2878 | root |
root |
/usr/share/Yap/DTD/HTML4.dcl
|
| -rw-r--r-- | 45643 | root |
root |
/usr/share/Yap/DTD/HTML4.dtd
|
| -rw-r--r-- | 224 | root |
root |
/usr/share/Yap/DTD/HTML4.soc
|
| -rw-r--r-- | 12023 | root |
root |
/usr/share/Yap/DTD/HTMLlat1.ent
|
| -rw-r--r-- | 4116 | root |
root |
/usr/share/Yap/DTD/HTMLspec.ent
|
| -rw-r--r-- | 14446 | root |
root |
/usr/share/Yap/DTD/HTMLsym.ent
|
| -rw-r--r-- | 1289 | root |
root |
/usr/share/Yap/chr/README
|
| -rw-r--r-- | 1482 | root |
root |
/usr/share/Yap/chr/a_star.pl
|
| -rw-r--r-- | 2125 | root |
root |
/usr/share/Yap/chr/binomialheap.pl
|
| -rw-r--r-- | 22237 | root |
root |
/usr/share/Yap/chr/builtins.pl
|
| -rw-r--r-- | 6147 | root |
root |
/usr/share/Yap/chr/chr_compiler_errors.pl
|
| -rw-r--r-- | 13159 | root |
root |
/usr/share/Yap/chr/chr_compiler_options.pl
|
| -rw-r--r-- | 8445 | root |
root |
/usr/share/Yap/chr/chr_compiler_utility.pl
|
| -rw-r--r-- | 2021 | root |
root |
/usr/share/Yap/chr/chr_debug.pl
|
| -rw-r--r-- | 9501 | root |
root |
/usr/share/Yap/chr/chr_hashtable_store.pl
|
| -rw-r--r-- | 3622 | root |
root |
/usr/share/Yap/chr/chr_integertable_store.pl
|
| -rw-r--r-- | 3979 | root |
root |
/usr/share/Yap/chr/chr_messages.pl
|
| -rw-r--r-- | 1922 | root |
root |
/usr/share/Yap/chr/chr_op.pl
|
| -rw-r--r-- | 26276 | root |
root |
/usr/share/Yap/chr/chr_runtime.pl
|
| -rw-r--r-- | 641688 | root |
root |
/usr/share/Yap/chr/chr_translate.pl
|
| -rw-r--r-- | 5428 | root |
root |
/usr/share/Yap/chr/clean_code.pl
|
| -rw-r--r-- | 2516 | root |
root |
/usr/share/Yap/chr/find.pl
|
| -rw-r--r-- | 532149 | root |
root |
/usr/share/Yap/chr/guard_entailment.pl
|
| -rw-r--r-- | 2554 | 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-- | 8373 | root |
root |
/usr/share/Yap/clpbn/aggregates.yap
|
| -rw-r--r-- | 11330 | root |
root |
/usr/share/Yap/clpbn/bnt.yap
|
| -rw-r--r-- | 3757 | root |
root |
/usr/share/Yap/clpbn/bp.yap
|
| -rw-r--r-- | 5417 | root |
root |
/usr/share/Yap/clpbn/connected.yap
|
| -rw-r--r-- | 4161 | root |
root |
/usr/share/Yap/clpbn/discrete_utils.yap
|
| -rw-r--r-- | 1748 | root |
root |
/usr/share/Yap/clpbn/display.yap
|
| -rw-r--r-- | 9432 | root |
root |
/usr/share/Yap/clpbn/dists.yap
|
| -rw-r--r-- | 3209 | root |
root |
/usr/share/Yap/clpbn/evidence.yap
|
| -rw-r--r-- | 15816 | root |
root |
/usr/share/Yap/clpbn/gibbs.yap
|
| -rw-r--r-- | 760 | root |
root |
/usr/share/Yap/clpbn/graphs.yap
|
| -rw-r--r-- | 1715 | root |
root |
/usr/share/Yap/clpbn/graphviz.yap
|
| -rw-r--r-- | 1707 | root |
root |
/usr/share/Yap/clpbn/hmm.yap
|
| -rw-r--r-- | 16300 | root |
root |
/usr/share/Yap/clpbn/jt.yap
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/clpbn/learning
|
| -rw-r--r-- | 6791 | root |
root |
/usr/share/Yap/clpbn/matrix_cpt_utils.yap
|
| -rw-r--r-- | 6884 | root |
root |
/usr/share/Yap/clpbn/pgrammar.yap
|
| -rw-r--r-- | 7766 | root |
root |
/usr/share/Yap/clpbn/table.yap
|
| -rw-r--r-- | 810 | root |
root |
/usr/share/Yap/clpbn/topsort.yap
|
| -rw-r--r-- | 3625 | root |
root |
/usr/share/Yap/clpbn/utils.yap
|
| -rw-r--r-- | 8996 | 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-- | 7318 | root |
root |
/usr/share/Yap/clpbn/learning/em.yap
|
| -rw-r--r-- | 2521 | root |
root |
/usr/share/Yap/clpbn/learning/learn_utils.yap
|
| -rw-r--r-- | 2939 | root |
root |
/usr/share/Yap/clpbn/learning/mle.yap
|
| -rw-r--r-- | 6398 | 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-- | 13150 | root |
root |
/usr/share/Yap/clpq/fourmotz_q.pl
|
| -rw-r--r-- | 36155 | 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-- | 25071 | root |
root |
/usr/share/Yap/clpq/nf_q.pl
|
| -rw-r--r-- | 10710 | root |
root |
/usr/share/Yap/clpq/store_q.pl
|
| -rw-r--r-- | 699 | root |
root |
/usr/share/Yap/clpqr/README
|
| -rw-r--r-- | 4809 | root |
root |
/usr/share/Yap/clpqr/class.pl
|
| -rw-r--r-- | 9102 | root |
root |
/usr/share/Yap/clpqr/dump.pl
|
| -rw-r--r-- | 5440 | root |
root |
/usr/share/Yap/clpqr/geler.pl
|
| -rw-r--r-- | 3601 | root |
root |
/usr/share/Yap/clpqr/itf.pl
|
| -rw-r--r-- | 4786 | 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-- | 7301 | root |
root |
/usr/share/Yap/clpr/bb_r.pl
|
| -rw-r--r-- | 49616 | root |
root |
/usr/share/Yap/clpr/bv_r.pl
|
| -rw-r--r-- | 13279 | 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-- | 27156 | root |
root |
/usr/share/Yap/clpr/nf_r.pl
|
| -rw-r--r-- | 11438 | root |
root |
/usr/share/Yap/clpr/store_r.pl
|
| -rw-r--r-- | 85 | root |
root |
/usr/share/Yap/dialect/commons.yap
|
| -rw-r--r-- | 7018 | root |
root |
/usr/share/Yap/dialect/hprolog.yap
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/dialect/swi
|
| -rw-r--r-- | 14452 | root |
root |
/usr/share/Yap/dialect/swi.yap
|
| -rw-r--r-- | 2765 | root |
root |
/usr/share/Yap/dialect/swi/INDEX.pl
|
| -rw-r--r-- | 52 | root |
root |
/usr/share/Yap/dialect/swi/listing.pl
|
| -rw-r--r-- | 7486 | root |
root |
/usr/share/Yap/dialect/swi/readutil.pl
|
| -rw-r--r-- | 679 | root |
root |
/usr/share/Yap/http/README
|
| -rw-r--r-- | 7951 | root |
root |
/usr/share/Yap/http/dcg_basics.pl
|
| -rw-r--r-- | 15517 | root |
root |
/usr/share/Yap/http/html_head.pl
|
| -rw-r--r-- | 34023 | root |
root |
/usr/share/Yap/http/html_write.pl
|
| -rw-r--r-- | 6876 | root |
root |
/usr/share/Yap/http/http_authenticate.pl
|
| -rw-r--r-- | 15095 | root |
root |
/usr/share/Yap/http/http_client.pl
|
| -rw-r--r-- | 5828 | root |
root |
/usr/share/Yap/http/http_dirindex.pl
|
| -rw-r--r-- | 25340 | root |
root |
/usr/share/Yap/http/http_dispatch.pl
|
| -rw-r--r-- | 3236 | root |
root |
/usr/share/Yap/http/http_error.pl
|
| -rw-r--r-- | 3653 | root |
root |
/usr/share/Yap/http/http_exception.pl
|
| -rw-r--r-- | 42864 | root |
root |
/usr/share/Yap/http/http_header.pl
|
| -rw-r--r-- | 2491 | root |
root |
/usr/share/Yap/http/http_hook.pl
|
| -rw-r--r-- | 4444 | root |
root |
/usr/share/Yap/http/http_host.pl
|
| -rw-r--r-- | 6638 | root |
root |
/usr/share/Yap/http/http_json.pl
|
| -rw-r--r-- | 7785 | root |
root |
/usr/share/Yap/http/http_log.pl
|
| -rw-r--r-- | 2958 | root |
root |
/usr/share/Yap/http/http_mime_plugin.pl
|
| -rw-r--r-- | 18486 | root |
root |
/usr/share/Yap/http/http_open.pl
|
| -rw-r--r-- | 33282 | root |
root |
/usr/share/Yap/http/http_openid.pl
|
| -rw-r--r-- | 8784 | root |
root |
/usr/share/Yap/http/http_parameters.pl
|
| -rw-r--r-- | 8532 | root |
root |
/usr/share/Yap/http/http_path.pl
|
| -rw-r--r-- | 9080 | root |
root |
/usr/share/Yap/http/http_pwp.pl
|
| -rw-r--r-- | 3552 | root |
root |
/usr/share/Yap/http/http_server_files.pl
|
| -rw-r--r-- | 14741 | root |
root |
/usr/share/Yap/http/http_session.pl
|
| -rw-r--r-- | 4298 | root |
root |
/usr/share/Yap/http/http_sgml_plugin.pl
|
| -rw-r--r-- | 9419 | root |
root |
/usr/share/Yap/http/http_stream.pl
|
| -rw-r--r-- | 12177 | root |
root |
/usr/share/Yap/http/http_wrapper.pl
|
| -rw-r--r-- | 2218 | root |
root |
/usr/share/Yap/http/inetd_httpd.pl
|
| -rw-r--r-- | 6191 | root |
root |
/usr/share/Yap/http/js_write.pl
|
| -rw-r--r-- | 19058 | root |
root |
/usr/share/Yap/http/json.pl
|
| -rw-r--r-- | 17043 | root |
root |
/usr/share/Yap/http/json_convert.pl
|
| -rw-r--r-- | 4910 | root |
root |
/usr/share/Yap/http/mimepack.pl
|
| -rw-r--r-- | 3936 | root |
root |
/usr/share/Yap/http/mimetype.pl
|
| -rw-r--r-- | 17730 | root |
root |
/usr/share/Yap/http/thread_httpd.pl
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/http/web
|
| -rw-r--r-- | 8917 | root |
root |
/usr/share/Yap/http/xpce_httpd.pl
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/http/web/css
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/Yap/http/web/icons
|
| -rw-r--r-- | 383 | root |
root |
/usr/share/Yap/http/web/css/dirindex.css
|
| -rw-r--r-- | 609 | root |
root |
/usr/share/Yap/http/web/css/openid.css
|
| -rw-r--r-- | 284 | root |
root |
/usr/share/Yap/http/web/icons/back.png
|
| -rw-r--r-- | 285 | root |
root |
/usr/share/Yap/http/web/icons/c.png
|
| -rw-r--r-- | 315 | root |
root |
/usr/share/Yap/http/web/icons/compressed.png
|
| -rw-r--r-- | 272 | root |
root |
/usr/share/Yap/http/web/icons/folder.png
|
| -rw-r--r-- | 260 | root |
root |
/usr/share/Yap/http/web/icons/generic.png
|
| -rw-r--r-- | 306 | root |
root |
/usr/share/Yap/http/web/icons/layout.png
|
| -rw-r--r-- | 2272 | root |
root |
/usr/share/Yap/http/web/icons/openid-logo-square.png
|
| -rw-r--r-- | 493 | root |
root |
/usr/share/Yap/http/web/icons/openid-logo-tiny.png
|
| -rw-r--r-- | 11764 | root |
root |
/usr/share/Yap/pl/arith.yap
|
| -rw-r--r-- | 2154 | root |
root |
/usr/share/Yap/pl/arrays.yap
|
| -rw-r--r-- | 8264 | root |
root |
/usr/share/Yap/pl/attributes.yap
|
| -rw-r--r-- | 34155 | root |
root |
/usr/share/Yap/pl/boot.yap
|
| -rw-r--r-- | 1176 | root |
root |
/usr/share/Yap/pl/callcount.yap
|
| -rw-r--r-- | 9924 | root |
root |
/usr/share/Yap/pl/checker.yap
|
| -rw-r--r-- | 12425 | root |
root |
/usr/share/Yap/pl/chtypes.yap
|
| -rw-r--r-- | 35916 | root |
root |
/usr/share/Yap/pl/consult.yap
|
| -rw-r--r-- | 8570 | root |
root |
/usr/share/Yap/pl/control.yap
|
| -rw-r--r-- | 13951 | root |
root |
/usr/share/Yap/pl/corout.yap
|
| -rw-r--r-- | 28057 | root |
root |
/usr/share/Yap/pl/debug.yap
|
| -rw-r--r-- | 702 | root |
root |
/usr/share/Yap/pl/depth_bound.yap
|
| -rw-r--r-- | 2151 | root |
root |
/usr/share/Yap/pl/dialect.yap
|
| -rw-r--r-- | 5735 | root |
root |
/usr/share/Yap/pl/directives.yap
|
| -rw-r--r-- | 2257 | root |
root |
/usr/share/Yap/pl/eam.yap
|
| -rw-r--r-- | 9964 | root |
root |
/usr/share/Yap/pl/errors.yap
|
| -rw-r--r-- | 3886 | root |
root |
/usr/share/Yap/pl/eval.yap
|
| -rw-r--r-- | 35305 | root |
root |
/usr/share/Yap/pl/flags.yap
|
| -rw-r--r-- | 4353 | root |
root |
/usr/share/Yap/pl/grammar.yap
|
| -rw-r--r-- | 1574 | root |
root |
/usr/share/Yap/pl/ground.yap
|
| -rw-r--r-- | 7588 | root |
root |
/usr/share/Yap/pl/hacks.yap
|
| -rw-r--r-- | 4174 | root |
root |
/usr/share/Yap/pl/init.yap
|
| -rw-r--r-- | 5012 | root |
root |
/usr/share/Yap/pl/listing.yap
|
| -rw-r--r-- | 681 | root |
root |
/usr/share/Yap/pl/lists.yap
|
| -rw-r--r-- | 4171 | root |
root |
/usr/share/Yap/pl/load_foreign.yap
|
| -rw-r--r-- | 21275 | root |
root |
/usr/share/Yap/pl/messages.yap
|
| -rw-r--r-- | 24895 | root |
root |
/usr/share/Yap/pl/modules.yap
|
| -rw-r--r-- | 29352 | root |
root |
/usr/share/Yap/pl/preds.yap
|
| -rw-r--r-- | 4934 | root |
root |
/usr/share/Yap/pl/profile.yap
|
| -rw-r--r-- | 1415 | root |
root |
/usr/share/Yap/pl/protect.yap
|
| -rw-r--r-- | 2007 | root |
root |
/usr/share/Yap/pl/save.yap
|
| -rw-r--r-- | 6692 | root |
root |
/usr/share/Yap/pl/setof.yap
|
| -rw-r--r-- | 7833 | root |
root |
/usr/share/Yap/pl/signals.yap
|
| -rw-r--r-- | 2857 | root |
root |
/usr/share/Yap/pl/sockets.yap
|
| -rw-r--r-- | 2511 | root |
root |
/usr/share/Yap/pl/sort.yap
|
| -rw-r--r-- | 6641 | root |
root |
/usr/share/Yap/pl/statistics.yap
|
| -rw-r--r-- | 6051 | root |
root |
/usr/share/Yap/pl/strict_iso.yap
|
| -rw-r--r-- | 11416 | root |
root |
/usr/share/Yap/pl/tabling.yap
|
| -rw-r--r-- | 30460 | root |
root |
/usr/share/Yap/pl/threads.yap
|
| -rw-r--r-- | 711 | root |
root |
/usr/share/Yap/pl/udi.yap
|
| -rw-r--r-- | 19199 | root |
root |
/usr/share/Yap/pl/utils.yap
|
| -rw-r--r-- | 9253 | root |
root |
/usr/share/Yap/pl/yapor.yap
|
| -rw-r--r-- | 38251 | root |
root |
/usr/share/Yap/pl/yio.yap
|
| -rw-r--r-- | 17686 | root |
root |
/usr/share/Yap/problog/ad_converter.yap
|
| -rw-r--r-- | 12316 | root |
root |
/usr/share/Yap/problog/bdd.yap
|
| -rw-r--r-- | 36317 | root |
root |
/usr/share/Yap/problog/completion.yap
|
| -rw-r--r-- | 14874 | root |
root |
/usr/share/Yap/problog/discrete.yap
|
| -rw-r--r-- | 10535 | root |
root |
/usr/share/Yap/problog/extlists.yap
|
| -rw-r--r-- | 18276 | root |
root |
/usr/share/Yap/problog/flags.yap
|
| -rw-r--r-- | 22013 | root |
root |
/usr/share/Yap/problog/gflags.yap
|
| -rw-r--r-- | 27413 | root |
root |
/usr/share/Yap/problog/hash_table.yap
|
| -rw-r--r-- | 16465 | root |
root |
/usr/share/Yap/problog/intervals.yap
|
| -rw-r--r-- | 18553 | root |
root |
/usr/share/Yap/problog/logger.yap
|
| -rw-r--r-- | 25225 | root |
root |
/usr/share/Yap/problog/mc_DNF_sampling.yap
|
| -rw-r--r-- | 20012 | root |
root |
/usr/share/Yap/problog/nestedtries.yap
|
| -rw-r--r-- | 14318 | root |
root |
/usr/share/Yap/problog/os.yap
|
| -rw-r--r-- | 18029 | root |
root |
/usr/share/Yap/problog/print.yap
|
| -rw-r--r-- | 11424 | root |
root |
/usr/share/Yap/problog/print_learning.yap
|
| -rw-r--r-- | 60291 | root |
root |
/usr/share/Yap/problog/ptree.yap
|
| -rw-r--r-- | 11914 | root |
root |
/usr/share/Yap/problog/sampling.yap
|
| -rw-r--r-- | 20821 | root |
root |
/usr/share/Yap/problog/tabling.yap
|
| -rw-r--r-- | 16268 | root |
root |
/usr/share/Yap/problog/termhandling.yap
|
| -rw-r--r-- | 11644 | root |
root |
/usr/share/Yap/problog/timer.yap
|
| -rw-r--r-- | 14928 | root |
root |
/usr/share/Yap/problog/utils.yap
|
| -rw-r--r-- | 14568 | root |
root |
/usr/share/Yap/problog/utils_learning.yap
|
| -rw-r--r-- | 15714 | root |
root |
/usr/share/Yap/problog/variable_elimination.yap
|
| -rw-r--r-- | 16621 | root |
root |
/usr/share/Yap/problog/variables.yap
|
| -rw-r--r-- | 10717 | root |
root |
/usr/share/Yap/problog/version_control.yap
|
| -rw-r--r-- | 1230 | root |
root |
/usr/share/Yap/semweb/README
|
| -rw-r--r-- | 8461 | root |
root |
/usr/share/Yap/semweb/dc.rdfs
|
| -rw-r--r-- | 3128 | root |
root |
/usr/share/Yap/semweb/eor.rdfs
|
| -rw-r--r-- | 8674 | root |
root |
/usr/share/Yap/semweb/owl.owl
|
| -rw-r--r-- | 6459 | root |
root |
/usr/share/Yap/semweb/rdf_cache.pl
|
| -rw-r--r-- | 3411 | root |
root |
/usr/share/Yap/semweb/rdf_compare.pl
|
| -rw-r--r-- | 61930 | root |
root |
/usr/share/Yap/semweb/rdf_db.pl
|
| -rw-r--r-- | 29490 | root |
root |
/usr/share/Yap/semweb/rdf_edit.pl
|
| -rw-r--r-- | 5442 | root |
root |
/usr/share/Yap/semweb/rdf_http_plugin.pl
|
| -rw-r--r-- | 22200 | root |
root |
/usr/share/Yap/semweb/rdf_library.pl
|
| -rw-r--r-- | 1896 | root |
root |
/usr/share/Yap/semweb/rdf_library.ttl
|
| -rw-r--r-- | 18351 | root |
root |
/usr/share/Yap/semweb/rdf_litindex.pl
|
| -rw-r--r-- | 30393 | root |
root |
/usr/share/Yap/semweb/rdf_persistency.pl
|
| -rw-r--r-- | 4938 | root |
root |
/usr/share/Yap/semweb/rdf_portray.pl
|
| -rw-r--r-- | 24828 | root |
root |
/usr/share/Yap/semweb/rdf_turtle.pl
|
| -rw-r--r-- | 34532 | root |
root |
/usr/share/Yap/semweb/rdf_turtle_write.pl
|
| -rw-r--r-- | 1807 | root |
root |
/usr/share/Yap/semweb/rdf_zlib_plugin.pl
|
| -rw-r--r-- | 14677 | root |
root |
/usr/share/Yap/semweb/rdfs.pl
|
| -rw-r--r-- | 10483 | root |
root |
/usr/share/Yap/semweb/rdfs.rdfs
|
| -rw-r--r-- | 9452 | root |
root |
/usr/share/Yap/semweb/sparql_client.pl
|
| -rw-r--r-- | 3226 | root |
root |
/usr/share/Yap/semweb/turtle_base.pl
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/yap-6.2.2
|
| -rw-r--r-- | 8902 | root |
root |
/usr/share/doc/yap-6.2.2/Artistic
|
| -rw-r--r-- | 120 | root |
root |
/usr/share/doc/yap-6.2.2/COPYING
|
| -rw-r--r-- | 217 | root |
root |
/usr/share/doc/yap-6.2.2/GIT
|
| -rw-r--r-- | 8256 | root |
root |
/usr/share/doc/yap-6.2.2/README
|
| -rw-r--r-- | 3537 | root |
root |
/usr/share/doc/yap-6.2.2/TO_DO
|
| -rw-r--r-- | 1334 | root |
root |
/usr/share/doc/yap-6.2.2/changes-5.0.html
|
| -rw-r--r-- | 35477 | root |
root |
/usr/share/doc/yap-6.2.2/changes-5.1.html
|
| -rw-r--r-- | 2363 | root |
root |
/usr/share/doc/yap-6.2.2/changes-6.0.html
|
| -rw-r--r-- | 259 | root |
root |
/usr/share/doc/yap-6.2.2/changes.css
|
| -rw-r--r-- | 104424 | root |
root |
/usr/share/doc/yap-6.2.2/changes4.3.html
|
| -rw-r--r-- | 12744 | root |
root |
/usr/share/info/pillow_doc.info.gz
|
| -rw-r--r-- | 87188 | root |
root |
/usr/share/info/yap.info-1.gz
|
| -rw-r--r-- | 72383 | root |
root |
/usr/share/info/yap.info-2.gz
|
| -rw-r--r-- | 36765 | root |
root |
/usr/share/info/yap.info-3.gz
|
| -rw-r--r-- | 2522 | root |
root |
/usr/share/info/yap.info.gz
|
