Version 4.0


| Copyright | Download | Install | FAQ | Contact | Papers | User's Manual | Old versions |


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.

Features

Platforms

Download

Please read the copyright notice first and understand that any commercial use of B-Prolog requires purchase a license from the copyright holder.

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
 

What are missing

Acknolwdgement

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.

Contact

	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