CVS commit: pkgsrc/lang/yap

["Aleksej Saushev" <asau%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   asau
Date:           Wed Oct 27 12:32:52 UTC 2010

Modified Files:
        pkgsrc/lang/yap: Makefile PLIST distinfo
        pkgsrc/lang/yap/patches: patch-aj
Added Files:
        pkgsrc/lang/yap/patches: patch-ak

Log Message:
Update to Yap 6.2.0

New in Yap-6.2.0:

YAP now includes the ProbLog language, developed at Leuven.

Better compatibility with SWI-Prolog, YAP now includes most
of the SWI web stuff, the constraint solvers, the plunit code,
and the Java and python interfaces.

The MYDDAS SQL and odbc interfaces are now integrated and
enabled by default.

YAP also now includes support for rational numbers, a lot of new
math operations, lots of bug fixes, a few engine optimisations.

New libraries include Neumerkel's lambda library, a first step
at coinduction support, and Nicos excellent R-interface.
The co-routing code has been totally cleaned up.

Changes in Yap-6.0.7:

NEW: YAP_SetYAPFlag (request from Theo Mantadelis).
NEW: support div/2 as per WG17.
FIXED: restore from / file should just try that file.
FIXED: bad things can happen to P when user code is called (obs from Ingo Thon).
NEW: coinduction.yap.
FIXED: remove leftover files including two lib*.a (obs from Bernd Gutmann).
FIXED: Make clean should result in recompiling all *.o (obs from Bernd Gutmann).
NEW: Ulrich Neumerkel's lambda library.
DELETE: ^/2 and ^/3 as grammar built-ins.
FIXED: make install in clpqr was broken if we used local install_sh .
DELETE: atan/2 arithmetic function, use atan2/2 instead (WG17).
FIXED: compilation in Solaris was broken because  of conflict in declaration of 
gethostname.
FIXED: acyclic_term/1 is now built-in (WG17).
NEW: subsumes_term/2 (WG17).


To generate a diff of this commit:
cvs rdiff -u -r1.10 -r1.11 pkgsrc/lang/yap/Makefile
cvs rdiff -u -r1.7 -r1.8 pkgsrc/lang/yap/PLIST
cvs rdiff -u -r1.9 -r1.10 pkgsrc/lang/yap/distinfo
cvs rdiff -u -r1.2 -r1.3 pkgsrc/lang/yap/patches/patch-aj
cvs rdiff -u -r0 -r1.1 pkgsrc/lang/yap/patches/patch-ak

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.