0 | |
usr/lib/swi-prolog/bin/i386/pl
|
1 | |
usr/lib/swi-prolog/bin/i386/plld
|
2 | |
usr/lib/swi-prolog/bin/i386/plrc
|
3 | |
usr/lib/swi-prolog/bin/swipl
|
4 | |
usr/lib/swi-prolog/lib/i386/libpl.a
|
5 | |
usr/lib/swi-prolog/boot/apply.pl
|
6 | |
usr/lib/swi-prolog/boot/attvar.pl
|
7 | |
usr/lib/swi-prolog/boot/autoload.pl
|
8 | |
usr/lib/swi-prolog/boot/bags.pl
|
9 | |
usr/lib/swi-prolog/boot/dwim.pl
|
10 | |
usr/lib/swi-prolog/boot/history.pl
|
11 | |
usr/lib/swi-prolog/boot/init.pl
|
12 | |
usr/lib/swi-prolog/boot/license.pl
|
13 | |
usr/lib/swi-prolog/boot/load.pl
|
14 | |
usr/lib/swi-prolog/boot/menu.pl
|
15 | |
usr/lib/swi-prolog/boot/messages.pl
|
16 | |
usr/lib/swi-prolog/boot/parms.pl
|
17 | |
usr/lib/swi-prolog/boot/qlf.pl
|
18 | |
usr/lib/swi-prolog/boot/rc.pl
|
19 | |
usr/lib/swi-prolog/boot/sort.pl
|
20 | |
usr/lib/swi-prolog/boot/syspred.pl
|
21 | |
usr/lib/swi-prolog/boot/toplevel.pl
|
22 | |
usr/lib/swi-prolog/boot/topvars.pl
|
23 | |
usr/lib/swi-prolog/boot/writef.pl
|
24 | |
usr/lib/swi-prolog/library/clp/bounds.pl
|
25 | |
usr/lib/swi-prolog/library/clp/clp_events.pl
|
26 | |
usr/lib/swi-prolog/library/clp/clp_distinct.pl
|
27 | |
usr/lib/swi-prolog/library/clp/simplex.pl
|
28 | |
usr/lib/swi-prolog/library/unicode/blocks.pl
|
29 | |
usr/lib/swi-prolog/library/unicode/unicode_data.pl
|
30 | |
usr/lib/swi-prolog/library/MANUAL
|
31 | |
usr/lib/swi-prolog/library/helpidx.pl
|
32 | |
usr/lib/swi-prolog/library/help.pl
|
33 | |
usr/lib/swi-prolog/library/explain.pl
|
34 | |
usr/lib/swi-prolog/library/qsave.pl
|
35 | |
usr/lib/swi-prolog/library/shlib.pl
|
36 | |
usr/lib/swi-prolog/library/statistics.pl
|
37 | |
usr/lib/swi-prolog/library/system.pl
|
38 | |
usr/lib/swi-prolog/library/backcomp.pl
|
39 | |
usr/lib/swi-prolog/library/gensym.pl
|
40 | |
usr/lib/swi-prolog/library/listing.pl
|
41 | |
usr/lib/swi-prolog/library/debug.pl
|
42 | |
usr/lib/swi-prolog/library/bim.pl
|
43 | |
usr/lib/swi-prolog/library/quintus.pl
|
44 | |
usr/lib/swi-prolog/library/edinburgh.pl
|
45 | |
usr/lib/swi-prolog/library/ctypes.pl
|
46 | |
usr/lib/swi-prolog/library/files.pl
|
47 | |
usr/lib/swi-prolog/library/edit.pl
|
48 | |
usr/lib/swi-prolog/library/emacs_interface.pl
|
49 | |
usr/lib/swi-prolog/library/shell.pl
|
50 | |
usr/lib/swi-prolog/library/check.pl
|
51 | |
usr/lib/swi-prolog/library/tty.pl
|
52 | |
usr/lib/swi-prolog/library/readln.pl
|
53 | |
usr/lib/swi-prolog/library/readutil.pl
|
54 | |
usr/lib/swi-prolog/library/make.pl
|
55 | |
usr/lib/swi-prolog/library/option.pl
|
56 | |
usr/lib/swi-prolog/library/am_match.pl
|
57 | |
usr/lib/swi-prolog/library/oset.pl
|
58 | |
usr/lib/swi-prolog/library/ordsets.pl
|
59 | |
usr/lib/swi-prolog/library/occurs.pl
|
60 | |
usr/lib/swi-prolog/library/lists.pl
|
61 | |
usr/lib/swi-prolog/library/www_browser.pl
|
62 | |
usr/lib/swi-prolog/library/url.pl
|
63 | |
usr/lib/swi-prolog/library/utf8.pl
|
64 | |
usr/lib/swi-prolog/library/main.pl
|
65 | |
usr/lib/swi-prolog/library/assoc.pl
|
66 | |
usr/lib/swi-prolog/library/nb_set.pl
|
67 | |
usr/lib/swi-prolog/library/threadutil.pl
|
68 | |
usr/lib/swi-prolog/library/qpforeign.pl
|
69 | |
usr/lib/swi-prolog/library/dif.pl
|
70 | |
usr/lib/swi-prolog/library/when.pl
|
71 | |
usr/lib/swi-prolog/library/ugraphs.pl
|
72 | |
usr/lib/swi-prolog/library/checklast.pl
|
73 | |
usr/lib/swi-prolog/library/checkselect.pl
|
74 | |
usr/lib/swi-prolog/library/operators.pl
|
75 | |
usr/lib/swi-prolog/library/prolog_stack.pl
|
76 | |
usr/lib/swi-prolog/library/prolog_clause.pl
|
77 | |
usr/lib/swi-prolog/library/prolog_xref.pl
|
78 | |
usr/lib/swi-prolog/library/INDEX.pl
|
79 | |
usr/lib/swi-prolog/include/SWI-Prolog.h
|
80 | |
usr/lib/swi-prolog/include/SWI-Stream.h
|
81 | |
usr/lib/swi-prolog/include/stub.c
|
82 | |
usr/lib/swi-prolog/dotfiles/dotplrc
|
83 | |
usr/lib/swi-prolog/dotfiles/dotxpcerc
|
84 | |
usr/lib/swi-prolog/dotfiles/README
|
85 | |
usr/lib/swi-prolog/dotfiles/edit
|
86 | |
usr/lib/swi-prolog/boot32.prc
|
87 | |
usr/lib/swi-prolog/swipl
|
88 | |
usr/share/man/man1/pl.1
|
89 | |
usr/share/man/man1/plrc.1
|
90 | |
usr/share/man/man1/plld.1
|
91 | |
usr/bin/pl
|
92 | |
usr/bin/plld
|
93 | |
usr/bin/plrc
|