The 10th Anniversary of B-Prolog
From: Neng-Fa Zhou (nzhou_at_acm.org)
Date: 06/02/04
- Next message: vertigo: "success and immediate return - true ?"
- Previous message: bart demoen: "Re: On deriving Prolog predicates: sublist/2"
- Next in thread: anonymous: "Re: The 10th Anniversary of B-Prolog"
- Reply: anonymous: "Re: The 10th Anniversary of B-Prolog"
- Reply: Andrzej Lewandowski: "Re: The 10th Anniversary of B-Prolog"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Wed, 02 Jun 2004 13:51:32 GMT
Dear Prolog programmers,
This year marks the 10th anniversary of B-Prolog. The first version of
B-Prolog was released in Spring 1994. After more than 15 years' dedicated
efforts by the developers and after 10 years' warm embrace by the community,
B-Prolog has grown into a stable, efficient, versatile, and popular
Constraint Logic Programming system.
B-Prolog is an efficient implementation of standard Prolog and several
useful extensions including delaying, constraint solving (over Boolean,
finite-domains, trees, and finite sets), and tabling. B-Prolog has been
adopted by several relatively large application projects ranging from CAD,
natural language processing, optimization, data mining, to business logic.
The Java interface JIPL* enables seamless integration of Prolog with Java,
and the CGLIB graphics library** makes graphics programming enjoyable.
B-Prolog runs on multiple platforms including Windows, Linux, MacOS X, and
Solaris.
The latest release is version 6.6, which employs several new optimization
techniques for tabling that lead to significant enhancement of performance.
B-Prolog is available for free of charge to individuals and institutions for
non-profit uses. B-Prolog is an open-source product with free upgrades to
site licensees.
Please feel free to contact me if you have any comments or questions.
* JIPL is developed by KLS Inc.
** CGLIB runs on Windows only
Best regards,
Neng-Fa Zhou
B-Prolog (www.bprolog.com, www.probp.com)
- Next message: vertigo: "success and immediate return - true ?"
- Previous message: bart demoen: "Re: On deriving Prolog predicates: sublist/2"
- Next in thread: anonymous: "Re: The 10th Anniversary of B-Prolog"
- Reply: anonymous: "Re: The 10th Anniversary of B-Prolog"
- Reply: Andrzej Lewandowski: "Re: The 10th Anniversary of B-Prolog"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]