Developer Manual

The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC. The ProB parser is available on github. There is a comprehensive Java API available (also known as ProB 2.0).

A [1] new ProB Developer Manual] is available, superseding the information below.

ProB Prolog Source Code

• Getting Involved (includes details about getting and running the Prolog sources)
• ProB Tcl/Tk Architecture
• Why Prolog?
• Prolog Coding Guidelines
• Tutorial: Extending ProB
• Running ProB from source
• ProB's Prolog Datastructures

ProB Java API (aka ProB 2.0)

The documentation for the Java API to ProB can be found here.