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!

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