> I am pleased to announce that B-Prolog Version 6.1 has been released and the
> evaluation edition is available from www.probp.com. The evaluation edition,
> which has no restriction on functionality,  can be used for evaluation and
> learning purposes.

> Version 6.1 incorporates the following improvements over the previous
> release:

> [] Performance improvement
> The emulator adopts threaded code available in GCC instead of a switch
> statement to dispatch control. This gives 30 to 40 percent speed-up on
> Linux, Solaris, and MacOsX. The finite-domain constraint solver has become
> one of the fastest because of this improvement and several other
> optimizations adopted in the new version.

> [] Finite-domains over ground terms
> Finite-domains in version 6.0 do not need to be restricted to integers, but
> can contain any ground terms. This extension makes it possible to describe
> many problems naturally. An example that illustrates the use of non-integer
> domains and constraints is available from:

> http://www.probp.com/examples/cg/dominopuzzle.html

> [] New built-ins
> Several constraints, including cumulative/4 and diffn/1,  in CHIP are
> available now. Suspension variables have been extended. It is possible now
> to attach any term to a suspension variable. This extension gives the same
> description power as attribute variables offered by some other CLP systems.

> Please refer to the updates note (www.probp.com/updates.htm) for the details

> Wish you all a happy holiday season!

> Neng-Fa Zhou
> CUNY Brooklyn & Afany Software

> P.S. To subscribe or unsubscribe the mailing list, please visit:
> http://lists.probp.com/mailman/listinfo/bp-users