B-Prolog is a compact and complete CLP system that runs Prolog and CLP(FD) programs. It is emulator-based, features comparable performance to SICStus-Prolog, is robust and portable, and has been tested extensively in commercial environments.
|Tags||Software Development Compilers|
|Licenses||Proprietary Free For Educational Use|
|Operating Systems||Windows Mac OS X Linux|
Release Notes: B-Prolog is a commercial product now, but is available for educational use.
Release Notes: In addition to Edinburgh-style programs, this version accepts canonical-form programs that can be compiled into more compact and faster code than standard Prolog programs.