B-Prolog (Version 4.0) is a compact and complete CLP system that runs Prolog and CLP(FD) programs. An emulator-based system, B-Prolog has a performance comparable with SICStus-Prolog. Since release in 1994, it has been greatly improved in performance, functionality, robustness, and portability. It has successfully passed a test running 100,000 lines of programs and has been used to run several large applications including commercial ones. Last but not least, B-Prolog is free of charge for non-commercial applications.
Please read the copyright notice first and understand that any commercial use of B-Prolog requires purchase a license from the copyright holder.
bp31_win.tar.gz | Installation instructions |
---|---|
bp31_solaris.tar.gz | manual.ps.gz (Postscript) |
bp31_sunos.tar.gz | manual.tar.gz (HTML) |
bp31_unix.tar.gz | benchmarks.tar.gz |
The packages for Windows, SunOS, and Solaris contain both the executables and the C sources which are included because some users might want to add new built-ins in C into the system and recompile the emulator. The Java interface works only on Windows and Solaris machines. To extract files from "bp31_win.tar.gz", you need WinZip and tar.
The recommended directory is "C:\" for Windows and "$HOME/" for unix. The extracted files will be stored in a directory, called "BProlog", that has to following structure:
bp or bp.bat: The shell file to start B-Prolog bp.out: Machine independent byte code bp.dll or libbp.so: Dynamic link library for Windows or Solaris readme.html: This html file install.html: Installation instructions copyright.html: Copy right notice faq.html: Frequently asked questions Emulator/bprolog.exe: Machine depandent executable code Emulator/: All C sources and machine depandent executable code Examples/: Examples that use CLP(FD) and the Java interface
Since the software was released in March 1994, it has been greatly improved in performance, functionality, versatility, and portability. Kenichi Katamine (katamine@ai.kyutech.ac.jp) helped me port the system to MS-DOS (Windows) and raised my concern in Chris Thewalt' getline program which is used as the command reader in B-Prolog, Naoyuki Nide (nide@ics.nara-wu.ac.jp) provided me with useful information about how to port the system to HP, and Osamu Takata (takata@kis.tylabs.co.jp) made many good suggestions while he developed a CAD system with B-Prolog. I would like to thank them and all other people who have sent me bug reports and comments.
This distribution includes the following public domain software: read.pl by D.H.D. Warren and Richard O'Keefe; token.c, setof.pl and dcg.pl by Richard O'Keefe. The loader loader.c is based on the one used in SB-Prolog. The Java interface was based on JIPL developed by Nobukuni Kino. I would also like to thank all the authors for making their programs accessible to the public. The copyrights of these programs are owned by their authors as written in the sources.
Neng-Fa Zhou Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology 680-4 Kawazu, Iizuka, FUKUOKA 820-8502, JAPAN zhou@mse.kyutech.ac.jp Tel.+81-948-29-7774 Fax.+81-948-29-7760