Download B-Prolog User`s Manual

Transcript
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.
iii