Parser for a subset of Prolog term syntax, used to read answers from the ProB Prolog core (probcli) in socket-server mode. For internal use only by the ProB Java API and the ProB plugin for Rodin!

The ProB Java API, including Groovy extensions

Core of the ProB Java API

Command-line interface for ProB's B and LTL parsers. For internal use only by ProB's Prolog core (probcli)!