Update to Yap 5.1.3.

Many improvements, bug and compatibility fixes since previous 5.0.0 package.

1 files changed, 84 insertions, 159 deletions

diff --git a/lang/yap/PLIST b/lang/yap/PLIST
index f65b1695771..69144e942e8 100644
--- a/lang/yap/PLIST
+++ b/lang/yap/PLIST
@@ -1,8 +1,12 @@
-@comment $NetBSD: PLIST,v 1.3 2009/06/14 18:03:45 joerg Exp $
+@comment $NetBSD: PLIST,v 1.4 2010/02/11 20:43:49 asau Exp $
 bin/yap
+include/Yap/SWI-Prolog.h
+include/Yap/SWI-Stream.h
 include/Yap/YapInterface.h
 include/Yap/c_interface.h
 include/Yap/yap_structs.h
+lib/Yap/itries.so
+lib/Yap/matrix.so
 lib/Yap/random.so
 lib/Yap/regcomp.so
 lib/Yap/regerror.so
@@ -11,208 +15,118 @@ lib/Yap/regexp.so
 lib/Yap/regfree.so
 lib/Yap/startup
 lib/Yap/sys.so
-lib/Yap/yap2swi.so
-lib/Yap/yap_tries.so
+lib/Yap/tries.so
+lib/Yap/yap_rl.so
 lib/libYap.a
-share/Yap/CHR.LICENSE
-share/Yap/CLPQR.LICENSE
+share/Yap/aggregate.pl
+share/Yap/apply.pl
+share/Yap/apply.yap
 share/Yap/apply_macros.yap
+share/Yap/arg.yap
 share/Yap/assoc.yap
 share/Yap/atts.yap
 share/Yap/avl.yap
 share/Yap/charsio.yap
-share/Yap/chr.yap
-share/Yap/chr/chrcmp.pl
-share/Yap/chr/compenv.pl
-share/Yap/chr/concat.pl
-share/Yap/chr/examples/allentable.pl
-share/Yap/chr/examples/arc.pl
-share/Yap/chr/examples/bool.pl
-share/Yap/chr/examples/cft.pl
-share/Yap/chr/examples/domain.pl
-share/Yap/chr/examples/examples-adder.bool
-share/Yap/chr/examples/examples-benchmark.math
-share/Yap/chr/examples/examples-deussen.bool
-share/Yap/chr/examples/examples-diaz.bool
-share/Yap/chr/examples/examples-fourier.math
-share/Yap/chr/examples/examples-holzbaur.math
-share/Yap/chr/examples/examples-lim1.math
-share/Yap/chr/examples/examples-lim2.math
-share/Yap/chr/examples/examples-lim3.math
-share/Yap/chr/examples/examples-puzzle.bool
-share/Yap/chr/examples/examples-queens.bool
-share/Yap/chr/examples/examples-queens.domain
-share/Yap/chr/examples/examples-stuckey.math
-share/Yap/chr/examples/examples-thom.math
-share/Yap/chr/examples/gcd.pl
-share/Yap/chr/examples/interval.pl
-share/Yap/chr/examples/kl-one.pl
-share/Yap/chr/examples/leq.pl
-share/Yap/chr/examples/list.pl
-share/Yap/chr/examples/listdom.pl
-share/Yap/chr/examples/math-elim.pl
-share/Yap/chr/examples/math-fougau.pl
-share/Yap/chr/examples/math-fourier.pl
-share/Yap/chr/examples/math-gauss.pl
-share/Yap/chr/examples/math-utilities.pl
-share/Yap/chr/examples/minmax.pl
-share/Yap/chr/examples/modelgenerator.pl
-share/Yap/chr/examples/osf.pl
-share/Yap/chr/examples/oztype.pl
-share/Yap/chr/examples/path.pl
-share/Yap/chr/examples/pathc.pl
-share/Yap/chr/examples/primes.pl
-share/Yap/chr/examples/scheduling.pl
-share/Yap/chr/examples/tarski.pl
-share/Yap/chr/examples/term.pl
-share/Yap/chr/examples/time-pc.pl
-share/Yap/chr/examples/time-point.pl
-share/Yap/chr/examples/time-rnd.pl
-share/Yap/chr/examples/time.pl
-share/Yap/chr/examples/tree.pl
-share/Yap/chr/examples/type.pl
-share/Yap/chr/getval.pl
-share/Yap/chr/matching.pl
-share/Yap/chr/operator.pl
-share/Yap/chr/ordering.pl
-share/Yap/chr/sbag.pl
-share/Yap/chr/sbag_a.pl
-share/Yap/chr/sbag_l.pl
-share/Yap/chr/trace.yap
 share/Yap/cleanup.yap
+share/Yap/clp/clp_events.pl
 share/Yap/clpbn.yap
 share/Yap/clpbn/aggregates.yap
 share/Yap/clpbn/bnt.yap
 share/Yap/clpbn/discrete_utils.yap
+share/Yap/clpbn/display.yap
+share/Yap/clpbn/dists.yap
 share/Yap/clpbn/evidence.yap
+share/Yap/clpbn/examples/School/README
+share/Yap/clpbn/examples/School/evidence_128.yap
+share/Yap/clpbn/examples/School/schema.yap
+share/Yap/clpbn/examples/School/school_128.yap
+share/Yap/clpbn/examples/School/school_32.yap
+share/Yap/clpbn/examples/School/school_64.yap
+share/Yap/clpbn/examples/School/tables.yap
+share/Yap/clpbn/examples/cg.yap
+share/Yap/clpbn/examples/sprinkler.yap
 share/Yap/clpbn/gibbs.yap
 share/Yap/clpbn/graphs.yap
 share/Yap/clpbn/graphviz.yap
+share/Yap/clpbn/hmm.yap
+share/Yap/clpbn/jt.yap
+share/Yap/clpbn/learning/bnt_parms.yap
+share/Yap/clpbn/learning/learn_utils.yap
+share/Yap/clpbn/learning/mle.yap
+share/Yap/clpbn/matrix_cpt_utils.yap
 share/Yap/clpbn/topsort.yap
 share/Yap/clpbn/utils.yap
 share/Yap/clpbn/vel.yap
 share/Yap/clpbn/viterbi.yap
 share/Yap/clpbn/xbif.yap
-share/Yap/clpq.yap
-share/Yap/clpq/arith_q.yap
-share/Yap/clpq/class.yap
-share/Yap/clpq/geler.yap
-share/Yap/clpq/nf.yap
-share/Yap/clpq/nfq.yap
-share/Yap/clpqr/arith.pl
-share/Yap/clpqr/bb.yap
-share/Yap/clpqr/bv.yap
-share/Yap/clpqr/compenv.pl
+share/Yap/clpfd.pl
+share/Yap/clpq.pl
+share/Yap/clpq/bb_q.pl
+share/Yap/clpq/bv_q.pl
+share/Yap/clpq/fourmotz_q.pl
+share/Yap/clpq/ineq_q.pl
+share/Yap/clpq/itf_q.pl
+share/Yap/clpq/nf_q.pl
+share/Yap/clpq/store_q.pl
+share/Yap/clpqr/README
+share/Yap/clpqr/class.pl
 share/Yap/clpqr/dump.pl
-share/Yap/clpqr/examples/README
-share/Yap/clpqr/examples/SESSION/010
-share/Yap/clpqr/examples/SESSION/011
-share/Yap/clpqr/examples/SESSION/012
-share/Yap/clpqr/examples/SESSION/013
-share/Yap/clpqr/examples/SESSION/014
-share/Yap/clpqr/examples/SESSION/015
-share/Yap/clpqr/examples/SESSION/016
-share/Yap/clpqr/examples/SESSION/017
-share/Yap/clpqr/examples/SESSION/018
-share/Yap/clpqr/examples/SESSION/019
-share/Yap/clpqr/examples/SESSION/020
-share/Yap/clpqr/examples/SESSION/021
-share/Yap/clpqr/examples/SESSION/022
-share/Yap/clpqr/examples/SESSION/023
-share/Yap/clpqr/examples/SESSION/024
-share/Yap/clpqr/examples/SESSION/030
-share/Yap/clpqr/examples/SESSION/031
-share/Yap/clpqr/examples/SESSION/032
-share/Yap/clpqr/examples/SESSION/033
-share/Yap/clpqr/examples/SESSION/034
-share/Yap/clpqr/examples/SESSION/035
-share/Yap/clpqr/examples/SESSION/110
-share/Yap/clpqr/examples/SESSION/111
-share/Yap/clpqr/examples/SESSION/112
-share/Yap/clpqr/examples/SESSION/113
-share/Yap/clpqr/examples/SESSION/114
-share/Yap/clpqr/examples/SESSION/115
-share/Yap/clpqr/examples/SESSION/116
-share/Yap/clpqr/examples/SESSION/117
-share/Yap/clpqr/examples/SESSION/118
-share/Yap/clpqr/examples/SESSION/119
-share/Yap/clpqr/examples/SESSION/120
-share/Yap/clpqr/examples/SESSION/122
-share/Yap/clpqr/examples/SESSION/123
-share/Yap/clpqr/examples/SESSION/124
-share/Yap/clpqr/examples/SESSION/130
-share/Yap/clpqr/examples/SESSION/131
-share/Yap/clpqr/examples/SESSION/132
-share/Yap/clpqr/examples/SESSION/133
-share/Yap/clpqr/examples/SESSION/134
-share/Yap/clpqr/examples/SESSION/135
-share/Yap/clpqr/examples/caneghem.pl
-share/Yap/clpqr/examples/eliminat.pl
-share/Yap/clpqr/examples/matmul.pl
-share/Yap/clpqr/examples/mg.pl
-share/Yap/clpqr/examples/mip.pl
-share/Yap/clpqr/examples/monash/README
-share/Yap/clpqr/examples/monash/air
-share/Yap/clpqr/examples/monash/amplif
-share/Yap/clpqr/examples/monash/complex
-share/Yap/clpqr/examples/monash/critical
-share/Yap/clpqr/examples/monash/dnf
-share/Yap/clpqr/examples/monash/fib
-share/Yap/clpqr/examples/monash/findroot
-share/Yap/clpqr/examples/monash/invert
-share/Yap/clpqr/examples/monash/laplace
-share/Yap/clpqr/examples/monash/mortgage
-share/Yap/clpqr/examples/monash/nrev
-share/Yap/clpqr/examples/monash/option
-share/Yap/clpqr/examples/monash/pictures
-share/Yap/clpqr/examples/monash/rkf45
-share/Yap/clpqr/examples/monash/rlc
-share/Yap/clpqr/examples/monash/smm
-share/Yap/clpqr/examples/monash/toolpath
-share/Yap/clpqr/examples/monash/zebra
-share/Yap/clpqr/examples/root.pl
-share/Yap/clpqr/examples/simplex.pl
-share/Yap/clpqr/examples/squares.pl
-share/Yap/clpqr/expand.yap
-share/Yap/clpqr/fourmotz.pl
-share/Yap/clpqr/ineq.yap
-share/Yap/clpqr/itf3.pl
-share/Yap/clpqr/monash.pl
-share/Yap/clpqr/ordering.yap
-share/Yap/clpqr/printf.pl
+share/Yap/clpqr/geler.pl
+share/Yap/clpqr/itf.pl
+share/Yap/clpqr/ordering.pl
 share/Yap/clpqr/project.pl
 share/Yap/clpqr/redund.pl
-share/Yap/clpqr/store.yap
-share/Yap/clpr.yap
-share/Yap/clpr/arith_r.yap
-share/Yap/clpr/class.yap
-share/Yap/clpr/geler.yap
-share/Yap/clpr/nf.yap
-share/Yap/clpr/nfr.yap
+share/Yap/clpr.pl
+share/Yap/clpr/bb_r.pl
+share/Yap/clpr/bv_r.pl
+share/Yap/clpr/fourmotz_r.pl
+share/Yap/clpr/ineq_r.pl
+share/Yap/clpr/itf_r.pl
+share/Yap/clpr/nf_r.pl
+share/Yap/clpr/store_r.pl
+share/Yap/dbqueues.yap
+share/Yap/debug.pl
+share/Yap/dgraphs.yap
+share/Yap/error.pl
+share/Yap/gensym.yap
+share/Yap/hacks.yap
 share/Yap/heaps.yap
 share/Yap/icon_address.pl
+share/Yap/itries.yap
+share/Yap/lam_mpi.yap
+share/Yap/lineutils.yap
+share/Yap/listing.yap
 share/Yap/lists.yap
-share/Yap/logtalk.yap
-share/Yap/logtalk/logtalk.pl
-share/Yap/logtalk/yap.config
+share/Yap/maplist.pl
+share/Yap/matlab.yap
+share/Yap/matrix.yap
+share/Yap/nb.yap
+share/Yap/occurs.yap
+share/Yap/operators.pl
+share/Yap/option.pl
 share/Yap/ordsets.yap
+share/Yap/pairs.pl
 share/Yap/pillow.pl
 share/Yap/pl/arith.yap
 share/Yap/pl/arrays.yap
 share/Yap/pl/boot.yap
 share/Yap/pl/callcount.yap
 share/Yap/pl/checker.yap
+share/Yap/pl/chtypes.yap
 share/Yap/pl/consult.yap
 share/Yap/pl/corout.yap
 share/Yap/pl/debug.yap
 share/Yap/pl/depth_bound.yap
 share/Yap/pl/directives.yap
+share/Yap/pl/eam.yap
 share/Yap/pl/errors.yap
 share/Yap/pl/grammar.yap
 share/Yap/pl/ground.yap
+share/Yap/pl/hacks.yap
 share/Yap/pl/init.yap
 share/Yap/pl/listing.yap
 share/Yap/pl/load_foreign.yap
+share/Yap/pl/messages.yap
 share/Yap/pl/modules.yap
 share/Yap/pl/preds.yap
 share/Yap/pl/profile.yap
@@ -229,16 +143,27 @@ share/Yap/pl/utils.yap
 share/Yap/pl/yapor.yap
 share/Yap/pl/yio.yap
 share/Yap/prandom.yap
+share/Yap/prolog_source.pl
+share/Yap/prolog_xref.pl
 share/Yap/queues.yap
 share/Yap/random.yap
 share/Yap/rbtrees.yap
+share/Yap/readutil.yap
 share/Yap/regexp.yap
+share/Yap/rltree.yap
 share/Yap/splay.yap
+share/Yap/stringutils.yap
 share/Yap/swi.yap
+share/Yap/swi/apply_macros.pl
 share/Yap/system.yap
 share/Yap/terms.yap
 share/Yap/timeout.yap
 share/Yap/trees.yap
 share/Yap/tries.yap
 share/Yap/ugraphs.yap
+share/Yap/undgraphs.yap
+share/Yap/varnumbers.yap
+share/Yap/wdgraphs.yap
+share/Yap/wgraphs.yap
+share/Yap/wundgraphs.yap
 share/Yap/ypp.yap