Developer Manual: Difference between revisions

Revision as of 15:19, 12 February 2019

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

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

ProB Java API (aka ProB 2.0)

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

Revision as of 07:51, 22 October 2018 (view source) Michael Leuschel (talk \| contribs) No edit summary ← Older edit		Revision as of 15:19, 12 February 2019 (view source) Bivab (talk \| contribs) m (Update parser url) Newer edit →
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/hhu-stups/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).