5e70007612
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).
14 lines
764 B
Text
14 lines
764 B
Text
$NetBSD: distinfo,v 1.10 2010/10/27 12:32:52 asau Exp $
|
|
|
|
SHA1 (yap-6.2.0.tar.gz) = 884406c6a6333c796ab19d0f40529918be6cae97
|
|
RMD160 (yap-6.2.0.tar.gz) = af5bb81590105234644dc072f14c37f696e7db2a
|
|
Size (yap-6.2.0.tar.gz) = 4990807 bytes
|
|
SHA1 (patch-aa) = dca2acac805aabd8e2815b509ad516294484ad0f
|
|
SHA1 (patch-ab) = b311db4efa89f0b67952e62be6cd489e3e32165f
|
|
SHA1 (patch-ac) = e945c3e4c19d8d02b53a5030ad5ac0d44b25b959
|
|
SHA1 (patch-ad) = e3765c0d6729b4d531cdea59dc8e442055091d10
|
|
SHA1 (patch-ae) = cf4a79ccd0c34e42ca3d8a108619a9974288cde6
|
|
SHA1 (patch-af) = 135f2f3e82242d7b17ade4a797a3077834719e77
|
|
SHA1 (patch-ah) = 572e29729d97d5e9942a3d2c22e121d4e756d648
|
|
SHA1 (patch-aj) = 61a53b4ef921270544edc79ddcb0f816824fd3ce
|
|
SHA1 (patch-ak) = b4a31508e5d63f5e6d1099874aeb15a69859d6b5
|