From nzhou@acm.org  Thu Apr  7 03:25:05 2005
From: nzhou@acm.org (Neng-Fa Zhou)
Date: Wed, 6 Apr 2005 22:25:05 -0400
Subject: [bp-users]B-Prolog version 6.7 released
Message-ID: <003101c53b19$03b175b0$2d01a8c0@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