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.
A PostScript annotator.
A fast C++ matrix library with an API similar to Matlab's.