B-Prolog is an efficient constraint logic programming (CLP) system that comes with extensions for programming constraints, concurrency and interactive graphics.
B-Prolog provides standard Prolog functions but also includes features that are not usually available in traditional Prolog systems.
B-Prolog offers an interactive environment that allows users to list, consult, load, compile, debug and run programs.
The command editor in the environment facilitates recalling and editing old commands. B-Prolog provides a bi-directional interface with C and Java. This interface makes it possible to integrate Prolog with C, C++, and Java.
What's New in This Release: [ read full changelog ]
· Modeling for linear programming/mixed integer programming and SAT solvers ( Examples )
· Improve the hash function used in tabling and hash-consing.
· The debug command 'r' shows spy points without user's intervention.