| @@ -1,244 +1,169 @@ | | | @@ -1,244 +1,169 @@ |
1 | @comment $NetBSD: PLIST,v 1.3 2009/06/14 18:03:45 joerg Exp $ | | 1 | @comment $NetBSD: PLIST,v 1.4 2010/02/11 20:43:49 asau Exp $ |
2 | bin/yap | | 2 | bin/yap |
| | | 3 | include/Yap/SWI-Prolog.h |
| | | 4 | include/Yap/SWI-Stream.h |
3 | include/Yap/YapInterface.h | | 5 | include/Yap/YapInterface.h |
4 | include/Yap/c_interface.h | | 6 | include/Yap/c_interface.h |
5 | include/Yap/yap_structs.h | | 7 | include/Yap/yap_structs.h |
| | | 8 | lib/Yap/itries.so |
| | | 9 | lib/Yap/matrix.so |
6 | lib/Yap/random.so | | 10 | lib/Yap/random.so |
7 | lib/Yap/regcomp.so | | 11 | lib/Yap/regcomp.so |
8 | lib/Yap/regerror.so | | 12 | lib/Yap/regerror.so |
9 | lib/Yap/regexec.so | | 13 | lib/Yap/regexec.so |
10 | lib/Yap/regexp.so | | 14 | lib/Yap/regexp.so |
11 | lib/Yap/regfree.so | | 15 | lib/Yap/regfree.so |
12 | lib/Yap/startup | | 16 | lib/Yap/startup |
13 | lib/Yap/sys.so | | 17 | lib/Yap/sys.so |
14 | lib/Yap/yap2swi.so | | 18 | lib/Yap/tries.so |
15 | lib/Yap/yap_tries.so | | 19 | lib/Yap/yap_rl.so |
16 | lib/libYap.a | | 20 | lib/libYap.a |
17 | share/Yap/CHR.LICENSE | | 21 | share/Yap/aggregate.pl |
18 | share/Yap/CLPQR.LICENSE | | 22 | share/Yap/apply.pl |
| | | 23 | share/Yap/apply.yap |
19 | share/Yap/apply_macros.yap | | 24 | share/Yap/apply_macros.yap |
| | | 25 | share/Yap/arg.yap |
20 | share/Yap/assoc.yap | | 26 | share/Yap/assoc.yap |
21 | share/Yap/atts.yap | | 27 | share/Yap/atts.yap |
22 | share/Yap/avl.yap | | 28 | share/Yap/avl.yap |
23 | share/Yap/charsio.yap | | 29 | share/Yap/charsio.yap |
24 | share/Yap/chr.yap | | | |
25 | share/Yap/chr/chrcmp.pl | | | |
26 | share/Yap/chr/compenv.pl | | | |
27 | share/Yap/chr/concat.pl | | | |
28 | share/Yap/chr/examples/allentable.pl | | | |
29 | share/Yap/chr/examples/arc.pl | | | |
30 | share/Yap/chr/examples/bool.pl | | | |
31 | share/Yap/chr/examples/cft.pl | | | |
32 | share/Yap/chr/examples/domain.pl | | | |
33 | share/Yap/chr/examples/examples-adder.bool | | | |
34 | share/Yap/chr/examples/examples-benchmark.math | | | |
35 | share/Yap/chr/examples/examples-deussen.bool | | | |
36 | share/Yap/chr/examples/examples-diaz.bool | | | |
37 | share/Yap/chr/examples/examples-fourier.math | | | |
38 | share/Yap/chr/examples/examples-holzbaur.math | | | |
39 | share/Yap/chr/examples/examples-lim1.math | | | |
40 | share/Yap/chr/examples/examples-lim2.math | | | |
41 | share/Yap/chr/examples/examples-lim3.math | | | |
42 | share/Yap/chr/examples/examples-puzzle.bool | | | |
43 | share/Yap/chr/examples/examples-queens.bool | | | |
44 | share/Yap/chr/examples/examples-queens.domain | | | |
45 | share/Yap/chr/examples/examples-stuckey.math | | | |
46 | share/Yap/chr/examples/examples-thom.math | | | |
47 | share/Yap/chr/examples/gcd.pl | | | |
48 | share/Yap/chr/examples/interval.pl | | | |
49 | share/Yap/chr/examples/kl-one.pl | | | |
50 | share/Yap/chr/examples/leq.pl | | | |
51 | share/Yap/chr/examples/list.pl | | | |
52 | share/Yap/chr/examples/listdom.pl | | | |
53 | share/Yap/chr/examples/math-elim.pl | | | |
54 | share/Yap/chr/examples/math-fougau.pl | | | |
55 | share/Yap/chr/examples/math-fourier.pl | | | |
56 | share/Yap/chr/examples/math-gauss.pl | | | |
57 | share/Yap/chr/examples/math-utilities.pl | | | |
58 | share/Yap/chr/examples/minmax.pl | | | |
59 | share/Yap/chr/examples/modelgenerator.pl | | | |
60 | share/Yap/chr/examples/osf.pl | | | |
61 | share/Yap/chr/examples/oztype.pl | | | |
62 | share/Yap/chr/examples/path.pl | | | |
63 | share/Yap/chr/examples/pathc.pl | | | |
64 | share/Yap/chr/examples/primes.pl | | | |
65 | share/Yap/chr/examples/scheduling.pl | | | |
66 | share/Yap/chr/examples/tarski.pl | | | |
67 | share/Yap/chr/examples/term.pl | | | |
68 | share/Yap/chr/examples/time-pc.pl | | | |
69 | share/Yap/chr/examples/time-point.pl | | | |
70 | share/Yap/chr/examples/time-rnd.pl | | | |
71 | share/Yap/chr/examples/time.pl | | | |
72 | share/Yap/chr/examples/tree.pl | | | |
73 | share/Yap/chr/examples/type.pl | | | |
74 | share/Yap/chr/getval.pl | | | |
75 | share/Yap/chr/matching.pl | | | |
76 | share/Yap/chr/operator.pl | | | |
77 | share/Yap/chr/ordering.pl | | | |
78 | share/Yap/chr/sbag.pl | | | |
79 | share/Yap/chr/sbag_a.pl | | | |
80 | share/Yap/chr/sbag_l.pl | | | |
81 | share/Yap/chr/trace.yap | | | |
82 | share/Yap/cleanup.yap | | 30 | share/Yap/cleanup.yap |
| | | 31 | share/Yap/clp/clp_events.pl |
83 | share/Yap/clpbn.yap | | 32 | share/Yap/clpbn.yap |
84 | share/Yap/clpbn/aggregates.yap | | 33 | share/Yap/clpbn/aggregates.yap |
85 | share/Yap/clpbn/bnt.yap | | 34 | share/Yap/clpbn/bnt.yap |
86 | share/Yap/clpbn/discrete_utils.yap | | 35 | share/Yap/clpbn/discrete_utils.yap |
| | | 36 | share/Yap/clpbn/display.yap |
| | | 37 | share/Yap/clpbn/dists.yap |
87 | share/Yap/clpbn/evidence.yap | | 38 | share/Yap/clpbn/evidence.yap |
| | | 39 | share/Yap/clpbn/examples/School/README |
| | | 40 | share/Yap/clpbn/examples/School/evidence_128.yap |
| | | 41 | share/Yap/clpbn/examples/School/schema.yap |
| | | 42 | share/Yap/clpbn/examples/School/school_128.yap |
| | | 43 | share/Yap/clpbn/examples/School/school_32.yap |
| | | 44 | share/Yap/clpbn/examples/School/school_64.yap |
| | | 45 | share/Yap/clpbn/examples/School/tables.yap |
| | | 46 | share/Yap/clpbn/examples/cg.yap |
| | | 47 | share/Yap/clpbn/examples/sprinkler.yap |
88 | share/Yap/clpbn/gibbs.yap | | 48 | share/Yap/clpbn/gibbs.yap |
89 | share/Yap/clpbn/graphs.yap | | 49 | share/Yap/clpbn/graphs.yap |
90 | share/Yap/clpbn/graphviz.yap | | 50 | share/Yap/clpbn/graphviz.yap |
| | | 51 | share/Yap/clpbn/hmm.yap |
| | | 52 | share/Yap/clpbn/jt.yap |
| | | 53 | share/Yap/clpbn/learning/bnt_parms.yap |
| | | 54 | share/Yap/clpbn/learning/learn_utils.yap |
| | | 55 | share/Yap/clpbn/learning/mle.yap |
| | | 56 | share/Yap/clpbn/matrix_cpt_utils.yap |
91 | share/Yap/clpbn/topsort.yap | | 57 | share/Yap/clpbn/topsort.yap |
92 | share/Yap/clpbn/utils.yap | | 58 | share/Yap/clpbn/utils.yap |
93 | share/Yap/clpbn/vel.yap | | 59 | share/Yap/clpbn/vel.yap |
94 | share/Yap/clpbn/viterbi.yap | | 60 | share/Yap/clpbn/viterbi.yap |
95 | share/Yap/clpbn/xbif.yap | | 61 | share/Yap/clpbn/xbif.yap |
96 | share/Yap/clpq.yap | | 62 | share/Yap/clpfd.pl |
97 | share/Yap/clpq/arith_q.yap | | 63 | share/Yap/clpq.pl |
98 | share/Yap/clpq/class.yap | | 64 | share/Yap/clpq/bb_q.pl |
99 | share/Yap/clpq/geler.yap | | 65 | share/Yap/clpq/bv_q.pl |
100 | share/Yap/clpq/nf.yap | | 66 | share/Yap/clpq/fourmotz_q.pl |
101 | share/Yap/clpq/nfq.yap | | 67 | share/Yap/clpq/ineq_q.pl |
102 | share/Yap/clpqr/arith.pl | | 68 | share/Yap/clpq/itf_q.pl |
103 | share/Yap/clpqr/bb.yap | | 69 | share/Yap/clpq/nf_q.pl |
104 | share/Yap/clpqr/bv.yap | | 70 | share/Yap/clpq/store_q.pl |
105 | share/Yap/clpqr/compenv.pl | | 71 | share/Yap/clpqr/README |
| | | 72 | share/Yap/clpqr/class.pl |
106 | share/Yap/clpqr/dump.pl | | 73 | share/Yap/clpqr/dump.pl |
107 | share/Yap/clpqr/examples/README | | 74 | share/Yap/clpqr/geler.pl |
108 | share/Yap/clpqr/examples/SESSION/010 | | 75 | share/Yap/clpqr/itf.pl |
109 | share/Yap/clpqr/examples/SESSION/011 | | 76 | share/Yap/clpqr/ordering.pl |
110 | share/Yap/clpqr/examples/SESSION/012 | | | |
111 | share/Yap/clpqr/examples/SESSION/013 | | | |
112 | share/Yap/clpqr/examples/SESSION/014 | | | |
113 | share/Yap/clpqr/examples/SESSION/015 | | | |
114 | share/Yap/clpqr/examples/SESSION/016 | | | |
115 | share/Yap/clpqr/examples/SESSION/017 | | | |
116 | share/Yap/clpqr/examples/SESSION/018 | | | |
117 | share/Yap/clpqr/examples/SESSION/019 | | | |
118 | share/Yap/clpqr/examples/SESSION/020 | | | |
119 | share/Yap/clpqr/examples/SESSION/021 | | | |
120 | share/Yap/clpqr/examples/SESSION/022 | | | |
121 | share/Yap/clpqr/examples/SESSION/023 | | | |
122 | share/Yap/clpqr/examples/SESSION/024 | | | |
123 | share/Yap/clpqr/examples/SESSION/030 | | | |
124 | share/Yap/clpqr/examples/SESSION/031 | | | |
125 | share/Yap/clpqr/examples/SESSION/032 | | | |
126 | share/Yap/clpqr/examples/SESSION/033 | | | |
127 | share/Yap/clpqr/examples/SESSION/034 | | | |
128 | share/Yap/clpqr/examples/SESSION/035 | | | |
129 | share/Yap/clpqr/examples/SESSION/110 | | | |
130 | share/Yap/clpqr/examples/SESSION/111 | | | |
131 | share/Yap/clpqr/examples/SESSION/112 | | | |
132 | share/Yap/clpqr/examples/SESSION/113 | | | |
133 | share/Yap/clpqr/examples/SESSION/114 | | | |
134 | share/Yap/clpqr/examples/SESSION/115 | | | |
135 | share/Yap/clpqr/examples/SESSION/116 | | | |
136 | share/Yap/clpqr/examples/SESSION/117 | | | |
137 | share/Yap/clpqr/examples/SESSION/118 | | | |
138 | share/Yap/clpqr/examples/SESSION/119 | | | |
139 | share/Yap/clpqr/examples/SESSION/120 | | | |
140 | share/Yap/clpqr/examples/SESSION/122 | | | |
141 | share/Yap/clpqr/examples/SESSION/123 | | | |
142 | share/Yap/clpqr/examples/SESSION/124 | | | |
143 | share/Yap/clpqr/examples/SESSION/130 | | | |
144 | share/Yap/clpqr/examples/SESSION/131 | | | |
145 | share/Yap/clpqr/examples/SESSION/132 | | | |
146 | share/Yap/clpqr/examples/SESSION/133 | | | |
147 | share/Yap/clpqr/examples/SESSION/134 | | | |
148 | share/Yap/clpqr/examples/SESSION/135 | | | |
149 | share/Yap/clpqr/examples/caneghem.pl | | | |
150 | share/Yap/clpqr/examples/eliminat.pl | | | |
151 | share/Yap/clpqr/examples/matmul.pl | | | |
152 | share/Yap/clpqr/examples/mg.pl | | | |
153 | share/Yap/clpqr/examples/mip.pl | | | |
154 | share/Yap/clpqr/examples/monash/README | | | |
155 | share/Yap/clpqr/examples/monash/air | | | |
156 | share/Yap/clpqr/examples/monash/amplif | | | |
157 | share/Yap/clpqr/examples/monash/complex | | | |
158 | share/Yap/clpqr/examples/monash/critical | | | |
159 | share/Yap/clpqr/examples/monash/dnf | | | |
160 | share/Yap/clpqr/examples/monash/fib | | | |
161 | share/Yap/clpqr/examples/monash/findroot | | | |
162 | share/Yap/clpqr/examples/monash/invert | | | |
163 | share/Yap/clpqr/examples/monash/laplace | | | |
164 | share/Yap/clpqr/examples/monash/mortgage | | | |
165 | share/Yap/clpqr/examples/monash/nrev | | | |
166 | share/Yap/clpqr/examples/monash/option | | | |
167 | share/Yap/clpqr/examples/monash/pictures | | | |
168 | share/Yap/clpqr/examples/monash/rkf45 | | | |
169 | share/Yap/clpqr/examples/monash/rlc | | | |
170 | share/Yap/clpqr/examples/monash/smm | | | |
171 | share/Yap/clpqr/examples/monash/toolpath | | | |
172 | share/Yap/clpqr/examples/monash/zebra | | | |
173 | share/Yap/clpqr/examples/root.pl | | | |
174 | share/Yap/clpqr/examples/simplex.pl | | | |
175 | share/Yap/clpqr/examples/squares.pl | | | |
176 | share/Yap/clpqr/expand.yap | | | |
177 | share/Yap/clpqr/fourmotz.pl | | | |
178 | share/Yap/clpqr/ineq.yap | | | |
179 | share/Yap/clpqr/itf3.pl | | | |
180 | share/Yap/clpqr/monash.pl | | | |
181 | share/Yap/clpqr/ordering.yap | | | |
182 | share/Yap/clpqr/printf.pl | | | |
183 | share/Yap/clpqr/project.pl | | 77 | share/Yap/clpqr/project.pl |
184 | share/Yap/clpqr/redund.pl | | 78 | share/Yap/clpqr/redund.pl |
185 | share/Yap/clpqr/store.yap | | 79 | share/Yap/clpr.pl |
186 | share/Yap/clpr.yap | | 80 | share/Yap/clpr/bb_r.pl |
187 | share/Yap/clpr/arith_r.yap | | 81 | share/Yap/clpr/bv_r.pl |
188 | share/Yap/clpr/class.yap | | 82 | share/Yap/clpr/fourmotz_r.pl |
189 | share/Yap/clpr/geler.yap | | 83 | share/Yap/clpr/ineq_r.pl |
190 | share/Yap/clpr/nf.yap | | 84 | share/Yap/clpr/itf_r.pl |
191 | share/Yap/clpr/nfr.yap | | 85 | share/Yap/clpr/nf_r.pl |
| | | 86 | share/Yap/clpr/store_r.pl |
| | | 87 | share/Yap/dbqueues.yap |
| | | 88 | share/Yap/debug.pl |
| | | 89 | share/Yap/dgraphs.yap |
| | | 90 | share/Yap/error.pl |
| | | 91 | share/Yap/gensym.yap |
| | | 92 | share/Yap/hacks.yap |
192 | share/Yap/heaps.yap | | 93 | share/Yap/heaps.yap |
193 | share/Yap/icon_address.pl | | 94 | share/Yap/icon_address.pl |
| | | 95 | share/Yap/itries.yap |
| | | 96 | share/Yap/lam_mpi.yap |
| | | 97 | share/Yap/lineutils.yap |
| | | 98 | share/Yap/listing.yap |
194 | share/Yap/lists.yap | | 99 | share/Yap/lists.yap |
195 | share/Yap/logtalk.yap | | 100 | share/Yap/maplist.pl |
196 | share/Yap/logtalk/logtalk.pl | | 101 | share/Yap/matlab.yap |
197 | share/Yap/logtalk/yap.config | | 102 | share/Yap/matrix.yap |
| | | 103 | share/Yap/nb.yap |
| | | 104 | share/Yap/occurs.yap |
| | | 105 | share/Yap/operators.pl |
| | | 106 | share/Yap/option.pl |
198 | share/Yap/ordsets.yap | | 107 | share/Yap/ordsets.yap |
| | | 108 | share/Yap/pairs.pl |
199 | share/Yap/pillow.pl | | 109 | share/Yap/pillow.pl |
200 | share/Yap/pl/arith.yap | | 110 | share/Yap/pl/arith.yap |
201 | share/Yap/pl/arrays.yap | | 111 | share/Yap/pl/arrays.yap |
202 | share/Yap/pl/boot.yap | | 112 | share/Yap/pl/boot.yap |
203 | share/Yap/pl/callcount.yap | | 113 | share/Yap/pl/callcount.yap |
204 | share/Yap/pl/checker.yap | | 114 | share/Yap/pl/checker.yap |
| | | 115 | share/Yap/pl/chtypes.yap |
205 | share/Yap/pl/consult.yap | | 116 | share/Yap/pl/consult.yap |
206 | share/Yap/pl/corout.yap | | 117 | share/Yap/pl/corout.yap |
207 | share/Yap/pl/debug.yap | | 118 | share/Yap/pl/debug.yap |
208 | share/Yap/pl/depth_bound.yap | | 119 | share/Yap/pl/depth_bound.yap |
209 | share/Yap/pl/directives.yap | | 120 | share/Yap/pl/directives.yap |
| | | 121 | share/Yap/pl/eam.yap |
210 | share/Yap/pl/errors.yap | | 122 | share/Yap/pl/errors.yap |
211 | share/Yap/pl/grammar.yap | | 123 | share/Yap/pl/grammar.yap |
212 | share/Yap/pl/ground.yap | | 124 | share/Yap/pl/ground.yap |
| | | 125 | share/Yap/pl/hacks.yap |
213 | share/Yap/pl/init.yap | | 126 | share/Yap/pl/init.yap |
214 | share/Yap/pl/listing.yap | | 127 | share/Yap/pl/listing.yap |
215 | share/Yap/pl/load_foreign.yap | | 128 | share/Yap/pl/load_foreign.yap |
| | | 129 | share/Yap/pl/messages.yap |
216 | share/Yap/pl/modules.yap | | 130 | share/Yap/pl/modules.yap |
217 | share/Yap/pl/preds.yap | | 131 | share/Yap/pl/preds.yap |
218 | share/Yap/pl/profile.yap | | 132 | share/Yap/pl/profile.yap |
219 | share/Yap/pl/protect.yap | | 133 | share/Yap/pl/protect.yap |
220 | share/Yap/pl/setof.yap | | 134 | share/Yap/pl/setof.yap |
221 | share/Yap/pl/signals.yap | | 135 | share/Yap/pl/signals.yap |
222 | share/Yap/pl/sockets.yap | | 136 | share/Yap/pl/sockets.yap |
223 | share/Yap/pl/sort.yap | | 137 | share/Yap/pl/sort.yap |
224 | share/Yap/pl/statistics.yap | | 138 | share/Yap/pl/statistics.yap |
225 | share/Yap/pl/strict_iso.yap | | 139 | share/Yap/pl/strict_iso.yap |
226 | share/Yap/pl/tabling.yap | | 140 | share/Yap/pl/tabling.yap |
227 | share/Yap/pl/threads.yap | | 141 | share/Yap/pl/threads.yap |
228 | share/Yap/pl/utils.yap | | 142 | share/Yap/pl/utils.yap |
229 | share/Yap/pl/yapor.yap | | 143 | share/Yap/pl/yapor.yap |
230 | share/Yap/pl/yio.yap | | 144 | share/Yap/pl/yio.yap |
231 | share/Yap/prandom.yap | | 145 | share/Yap/prandom.yap |
| | | 146 | share/Yap/prolog_source.pl |
| | | 147 | share/Yap/prolog_xref.pl |
232 | share/Yap/queues.yap | | 148 | share/Yap/queues.yap |
233 | share/Yap/random.yap | | 149 | share/Yap/random.yap |
234 | share/Yap/rbtrees.yap | | 150 | share/Yap/rbtrees.yap |
| | | 151 | share/Yap/readutil.yap |
235 | share/Yap/regexp.yap | | 152 | share/Yap/regexp.yap |
| | | 153 | share/Yap/rltree.yap |
236 | share/Yap/splay.yap | | 154 | share/Yap/splay.yap |
| | | 155 | share/Yap/stringutils.yap |
237 | share/Yap/swi.yap | | 156 | share/Yap/swi.yap |
| | | 157 | share/Yap/swi/apply_macros.pl |
238 | share/Yap/system.yap | | 158 | share/Yap/system.yap |
239 | share/Yap/terms.yap | | 159 | share/Yap/terms.yap |
240 | share/Yap/timeout.yap | | 160 | share/Yap/timeout.yap |
241 | share/Yap/trees.yap | | 161 | share/Yap/trees.yap |
242 | share/Yap/tries.yap | | 162 | share/Yap/tries.yap |
243 | share/Yap/ugraphs.yap | | 163 | share/Yap/ugraphs.yap |
| | | 164 | share/Yap/undgraphs.yap |
| | | 165 | share/Yap/varnumbers.yap |
| | | 166 | share/Yap/wdgraphs.yap |
| | | 167 | share/Yap/wgraphs.yap |
| | | 168 | share/Yap/wundgraphs.yap |
244 | share/Yap/ypp.yap | | 169 | share/Yap/ypp.yap |