[bp-users]B-Prolog version 6.7 released

[Neng-Fa Zhou]

Hi,

I am very pleased to announce that B-Prolog version 6.7 has been released 
after having undertaken a series of improvements, extensions, and 
corrections for almost one year. Please see www.probp.com/updates.htm for 
the detailed updates note.

* Improvements: Macro expansion; indexing of large predicates; interrupt 
handling; compilation speed; debugger; watermark-based GC; dynamic 
hashtables; propagators for cnf (conjunctive-normal-form) Boolean 
constraints; finite domain representation; and tabling system.

* Extensions: Specialization using modes; new directive ":-eager_consume"; 
and new events "generated" and "bound(X)".

* Corrections: Support of large memory address spaces for Red Had Linux; bug 
fixes in clause/2 on Linux, unify_with_occurs_check/2, and exception 
handling.

B-Prolog is a cutting-edge implementation of Prolog, tabling, and CLP 
solvers. Please see www.probp.com/performance.html for the latest 
performance data.

Enjoy programming with B-Prolog,

Sincerely,
Neng-Fa Zhou
www.probp.com
www.bprolog.com