Acknowledgements

The B-Prolog package includes the following public domain modules: read.pl by D.H.D. Warren and Richard O'Keefe; token.c, setof.pl, and dcg.pl by Richard O'Keefe; and getline.c by Chris Thewalt. The Java interface is based on JIPL developed by Nobukuni Kino, and the bigint functions are based on the package written by Matt McCutchen. This release also includes an interface to GLPK (GNU Linear Programming Kit), a package written by Andrew Makhorin.

The author thanks Jonathan Fruhman for editing this document.