|
From: Vitor S. C. <vi...@co...> - 2005-08-25 02:49:04
|
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 |