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 Web service to edit an XML configuration file.
An automated solver for the puzzle game ABC Path.