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.
An Init System for Linux with a unified configuration file
Java classes to generate documents in the PDF format.