No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC. | |||
There is a comprehensive Java API available (also known as ProB 2.0). | |||
== ProB Prolog Source Code == | == ProB Prolog Source Code == | ||
*[[Getting Involved]] (includes details about getting and running the Prolog sources) | *[[Getting Involved]] (includes details about getting and running the Prolog sources) | ||
The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC. There is a comprehensive Java API available (also known as ProB 2.0).
The documentation for the Java API to ProB can be found here.