What is JB-Prolog?

JB-Prolog 2.1 is a very powerful Prolog interpreter. It is currently available for the MacIntosh, where it comes with an interface toolkit and a programming environment. Some of its key features are:

Bignums: JB-Prolog 2.1 integers can be arbitrary long. You can do your essential algebraic computations with them and you do not have to fear overflows.

Bigstrings: JB-Prolog 2.1 strings can be arbitrary long. As they are not placed in the dictionary, they do not eat up the heap.

Interpreter: The JB-Prolog 2.1 is an interpreter only. It behaves very uniform as there is no garbage collection. The speed of the interpreter is only about 2-3 times slower than the usual compilers. You get best results if you use tail recursion.

Debugging: The JB-Prolog 2.1 interpreter shows a degradation of 10%-20% only in debugging. This way debugging of slow programs becomes practical. The debugger environement provides you with source level information.

Customize: You can write your own foreign predicates in the language you like and use them from JB-Prolog 2.1. You can also deliver your own startup file to build your own application or to change the programming environment.

Toolkit: JB-Prolog 2.1 comes with an interface toolkit that allows you to build graphic user interfaces. The JB-Prolog 2.1 programming environment was fully written in Prolog using the interface toolkit. You can use the interface toolkit to build your own applications.

Burse, Jan. (1993). JB-Prolog 2.1 Manual. Electronic Document.

Download JB-Prolog for Mac

Architecture

Motorola 68K

Compatibility notes

• Can not be run from an MFS formatted disk.

Emulating this? It could probably run under: Basilisk II