Hi,
B-Prolog version 7.1 has been released. I'd like to share with you in this
email some of the new features and improvements in this new version.
First, version 7.1 is about 10% faster than the previous version 7.0 which
was released one year ago. By and large, since version 6.9 B-Prolog's speed for
standard Prolog programs has been boosted on average by 65% on Windows and over
90% on Linux and Mac, thanks mainly to the adoption of a new virtual machine
named TOAM Jr. B-Prolog has become one of the fastest Prolog implementations
(see benchmark results at
http://probp.com/performance.htm
).
Second, version 7.1 incorporates an improvement of the memory manager that
lightens expansion of the stack, heap, and table area. This improvement is
crucial for memory-demanding applications and also for programs that may cause
garbage collection and stack expansion due to looping. The interrupt event
(ctl-c) is handled with significantly shorter delays than before.
Third, new propagators are deployed in version 7.1 for non-linear, global,
and disjunctive constraints. A test on the problem instances from the second CSP
Solver Competition shows that version 7.1 solves more than double the number of
problem instances than version 7.0 in the 2-INT category where non-linear and
disjunctive constraints are used heavily.
Last but not least, several new examples are added into
'BProlog/Examples/java_interface' and 'BProlog/Examples/cg', including an
example that links B-Prolog with MySQL through the JIPL and JDBC interfaces and
a scheduling example that uses CGLIB. As in early versions, JIPL and CGLIB work
on the Windows platform only.
B-Prolog is available (term & function unlimited and free of charge)
for evaluation, learning, and non-profit research purposes only, and a license
is needed for any other uses.
Best regards,
Neng-Fa Zhou
--Boundary_(ID_KtTqk7VK/7JBL9PJ103ikw)--