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 |
| Implementation | Prolog |
Recent releases


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.
Software to build easy-to-use cross platform installers on Linux, OS X, and other platforms.