No edit summary |
|||
| Line 9: | Line 9: | ||
*[[Why Prolog?]] | *[[Why Prolog?]] | ||
*[[Prolog Coding Guidelines]] | *[[Prolog Coding Guidelines]] | ||
*[[Running ProB from source]] | *[[Running ProB from source]] | ||
*[[ProB's Prolog Datastructures]] | *[[ProB's Prolog Datastructures]] | ||
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.
The documentation for the Java API to ProB can be found here.