Update to YAP-6.0.5

Changes in Yap-6.0.5:

- Very large programs: indexing very large DBs requires very large
  intermediate data-structures. malloc is changed to avoid
  memory fragmentation.

- Heap data-structures: there was some confusion about what should be
  going through save/restore and atom-gc, and what is local to a
  run. Fixed that by two files describing the two types: global
  variables and code-space data structures.

- SWI emulation cleanup: some builti-ins (like predsort/3, plus/3) are
  now in YAP proper, the file was cleaned up and made to rely more on


Changes in Yap-6.0.4:

Overhaul/cleanup of the attributed variable and coroutining code:
- attributed variables now don't have a separate stack; instead,
  they are allocated as global variables.
- Prolog code for attributed variables cleaned up: layers now
  are engine, hprolog/SWI attvars, freeze and SICStus emulation
  libraries


Changes in Yap-6.0.3:

6.0.3 is another bug fix release:
- a bug in indexing large integers
- a choice-point left over in consulting
- fix error handling in comparisons
- garbage collection of functor/3 could sometimes break
- fixes to chr port
- exec_prefix
- bad error reporting in some arithmetic conditions
- erf function
- win32 install fixes
- operators need to be exported in module list, some weren't.
- tabling stuff


Changes in Yap-6.0.2:

This is a bug fix release:
- fix current_op/3 in WIN32 (P Moura)
- fix nb_current/2 (J Santos) and add SWI user:exception/3
  (Bernd and Jose), add fix to nb_ in distributed ProbLog.
- fix goal_expansion
- fix clp(fd) all_distinct/1 and circuit/1 (M Triska)
- fix seekable file detection in WIN32
- add yap.pdf and yap.html to win32 bundle (M Ferreira).
- check for badly typed calls to load_files and friends.
- threads: fix bad locking while spying (P Moura).


Changes in Yap-6.0.1:

- engine improvements;
- many bug fixes;
- new implementation of arithmetic;
- better ISO compatibility;
- improvements in tabling;
- SWI-compatibility, YAP now includes support for most of the
  SWI foreign interface, and many built-ins, ports of SWI
  packages include jpl, chr, clpfd, clpr, sgml, prolog_xref,
  swi-minisat interface, and plunit;
- yap-6 also includes a really cool new language called ProbLog.


Changes in Yap-5.1.4:

  - FIXED: bad locking in p_signal (obs from Paulo Moura).
  - FIXED: DESTDIR and chr.
  - FIXED: make term_variables a builtin. (SWI compatibility).
  - NEW: X is random(Int) (SWI compatibility).
  - NEW: seletchk/3.
  - FIXED: do meta-expansion from undefp.
  - FIXED: handle correctly flatten([_,[_]],L).
  - FIXED: bad syntax in config.h (patch from Keri Harris).
  - NEW: format over atom/1.
  - FIXED: clean up apply_macros in swi mode.
  - FIXED: clean up meta-expansion.
  - FIXED: do meta-expansion from undefined call.
  - NEW: selectchk/3, nth1/3 and nth1/4.
  - FIXED: YapOpcodes has wrong formats (obs from Bart Demoen).
  - FIXED: improve format message (obs from Bart Demoen).
  - NEW: more versions of maplist (obs from Bart Demoen).
  - FIXED: use import mechanism for SWI's flatten/2 (obs from Bart Demoen).
  - FIXED: steps towards typed rbtrees plus some cases where one should not copy the null node (Tom Schrijvers and Bart
    Demoen).
  - FIXED: map_tree in trees library (Bart Demoen).
  - FIXED: bad call to splay_tree (Bart Demoen).
  - FIXED: bad type for write_x_var in add_info (Bart Demoen).
  - FIXED: exec/3 should flush streams.
  - FIXED: load_files/2 compilation_mode to allow :- source and replace compile by compact.
  - FIXED: list_concat/2 (fix from Bart Demoen).
  - NEW: dgraph_reachable/3 and friends.

1 files changed, 4 insertions, 6 deletions

diff --git a/lang/yap/distinfo b/lang/yap/distinfo
index 62868699d7e..7421c5e9517 100644
--- a/lang/yap/distinfo
+++ b/lang/yap/distinfo
@@ -1,14 +1,12 @@
-$NetBSD: distinfo,v 1.6 2010/02/11 20:43:49 asau Exp $
+$NetBSD: distinfo,v 1.7 2010/05/18 09:24:43 asau Exp $
 
-SHA1 (Yap-5.1.3.tar.gz) = 76c84b32ad8fbe8324a1db370f8440be11398c34
-RMD160 (Yap-5.1.3.tar.gz) = b2e1153c7a6853a4814a672992d2b8b3834796bc
-Size (Yap-5.1.3.tar.gz) = 3266063 bytes
+SHA1 (yap-6.0.5.tar.gz) = 1084b1630b48a430d60d6aee8e31914ecc6d5369
+RMD160 (yap-6.0.5.tar.gz) = b35264a7911c73d095426fb3790a104d41d44157
+Size (yap-6.0.5.tar.gz) = 3744819 bytes
 SHA1 (patch-aa) = dca2acac805aabd8e2815b509ad516294484ad0f
 SHA1 (patch-ab) = 76e1a2b4a183215c37ede5c8cbec624e901fe427
 SHA1 (patch-ac) = c0d382127f9bc3a962d01a0da34c99968f7388ab
 SHA1 (patch-ad) = e3765c0d6729b4d531cdea59dc8e442055091d10
 SHA1 (patch-ae) = cf4a79ccd0c34e42ca3d8a108619a9974288cde6
 SHA1 (patch-af) = e49296d42247aec7ead7f65d67a42f93b400ca0f
-SHA1 (patch-ag) = a9f2bfc921f5c2aaf2a92e6659c54047e5c13321
 SHA1 (patch-ah) = 572e29729d97d5e9942a3d2c22e121d4e756d648
-SHA1 (patch-ai) = a702088735520c36ada438e752b1852d9567e5e2