Developer Manual: Difference between revisions

No edit summary
Line 8: Line 8:
*[[Prolog Coding Guidelines]]
*[[Prolog Coding Guidelines]]
*[http://www.stups.uni-duesseldorf.de/ProB/developer_tutorial Tutorial: Extending ProB]
*[http://www.stups.uni-duesseldorf.de/ProB/developer_tutorial Tutorial: Extending ProB]
*[[Running ProB from source]]


== ProB Java API (aka ProB 2.0) ==
== ProB Java API (aka ProB 2.0) ==


The documentation for the Java API to ProB can be found [[ProB_Java_API|here]].
The documentation for the Java API to ProB can be found [[ProB_Java_API|here]].

Revision as of 09:52, 12 January 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).

ProB Prolog Source Code

ProB Java API (aka ProB 2.0)

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