Developer Manual: Difference between revisions

Revision as of 07:53, 27 June 2016

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

Getting Involved (includes details about getting and running the Prolog sources)
ProB Tcl/Tk Architecture
Why Prolog?
Prolog Coding Guidelines
Tutorial: Extending ProB

ProB Java API (aka ProB 2.0)

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

Revision as of 12:38, 19 January 2015 (view source) Michael Leuschel (talk \| contribs) No edit summary ← Older edit		Revision as of 07:53, 27 June 2016 (view source) Michael Leuschel (talk \| contribs) No edit summary Newer edit →
Line 1:		Line 1:
	The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC.		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).