[Yap-announce] Yap 5

[Vitor S. C. <vi...@co...>]

Hi!

Ricardo has put Yap version 5.0.0. Yap-5 has a large number of changes
over Yap-4, including

- new indexing code with dynamic multiple argument indexing both for
  static and dynamic predicates.

- Unified internal database/dynmaic predicates.

- new memory allocation code, enabled in configure through
  --enable-max-memory, which allows for using up to 3GB of memory in
32 bit machines

- support for a more compact representation of large databases.

- several compiler improvements, namely improved inlining of conditions for ->

- support for non-contiguous memory allocation

- support for CONDOR with enable-condor

- many, many bug fixes and improvements on overflow handling. Better
  support for 64 bit machines.

- rewritten debugger

As more experimental work:

- SWI emulation for C-code, which has been successfuly used for JPL's
  Prolog->Java interface. Also SWI-like threads package.

- tabling is now much better integrated with current version

- CLP(BN) package includes support for variable elimination, gibbs
  sampling, and also for HMMs with the viterbi algo (all in Prolog)

I appreciate everyone's help in getting here, it has been a major step
forward. Further work is going on, right now:

- move experimental stuff to stable ;-).

- improved constraint handling, especially I want to cope well with
  very many constraints.

- having a full LGPL version of Yap, by including Tom's version of CHR
  and CLPQR

- improve compiler and emulator performance, now that the indexing
  code is working well ;-).

- compact storing of larger programs
 
- save/restore of modules

Please do go ahead and test the system! Report any bugs, and thanks
everyone!!!

Ricardo and Vitor