Home > Archive > Prolog > September 2006 > B-Prolog version 6.9 released
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
B-Prolog version 6.9 released
|
|
| Neng-Fa Zhou 2006-09-21, 7:02 pm |
| Hello,
I am pleased to announce that B-Prolog version 6.9 has been released and is
now available for download from www.probp.com.
B-Prolog is an efficient implementation of Prolog with extensions including
CLP(FD), tabling, and action rules. Version 6.9 incorporates the following
improvements:
1. A new memory manager is added, which allows automatic expansions of the
stacks (control, heap, and trail) and the areas (program and table). This
new memory manager, together with the garbage collectors, significantly
enhance the scalability of the B-Prolog system. For example, the PRISM
system built on B-Prolog is able to mine extremely large volumes of data and
constraint programs are able to handle networks of millions of constraints.
2. New propagators are used for non-linear constraints involving functions
such as abs, mod, *, and // (integer division). New global constraints and
labeling built-ins are added. The built-in 'time_out' allows imposing a time
limit on a query and the built-in 'labeling_mix' allows use of mixed
strategies in the labeling of variables.
3. The action rule language is extended to support conjunctive and
disjunctive channels. Timers work on both Windows and Linux versions.
Attributed variables and global heap variables are added. The K.U. Leuven
CHR compiler runs with B-prolog now.
4. ISO built-ins are made almost 100% ISO compliant except for unsupported
functions such as character conversion and repositionable streams. This
change requires modification of certain programs, especially programs with
the escape character '' in atoms or strings.
5. Improvements are made such that large clauses with tens of thousands of
subgoals in the bodies can be read, compiled, and asserted.
There are numerous other improvements. Please see www.probp.com/updates.htm
for more details.
Sincerely,
Neng-Fa Zhou
| |
| Nameless 2006-09-22, 7:01 pm |
| Do you have a B-Prolog User's Manual in PDF?
--
Mail sent to this email address is deleted unread
on the server. Please send replies to the newsgroup.
| |
| Nameless 2006-09-22, 7:01 pm |
| "Nameless" <news.mail@chello.no> wrote in message
news:ac666$4514667d$54d1ffd5$25161@news.chello.no...
> Do you have a B-Prolog User's Manual in PDF?
Silly me, I found it on your download page! ;)
--
Mail sent to this email address is deleted unread
on the server. Please send replies to the newsgroup.
|
|
|
|
|