Developer Manual: Difference between revisions

No edit summary
Line 1: Line 1:
The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC. The [https://github.com/bendisposto/probparsers ProB parser is available on github].
The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC. The [https://github.com/bendisposto/probparsers ProB parser is available on github].
There is a comprehensive Java API available (also known as ProB 2.0).
There is a comprehensive Java API available (also known as ProB 2.0).
A [[https://www3.hhu.de/stups/handbook/prob2/prob_developer.html new ProB Developer Manual]] is available, superseding the information below.


== ProB Prolog Source Code ==
== ProB Prolog Source Code ==

Revision as of 07:50, 22 October 2018

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 [new ProB Developer Manual] is available, superseding the information below.

ProB Prolog Source Code

ProB Java API (aka ProB 2.0)

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