ProB REPL

The REPL of ProB

ProB provides various consoles, also called REPL (Read-Eval-Print-Loop). A REPL (Read-Eval-Print-Loop) or console can be used to evaluate formulas with ProB or issue other commands. ProB provides various REPLs, depending on which version of ProB you use:

• The REPL in probcli can be started with the command -repl
• The REPL in ProB Tcl/Tk is the Eval Console.
• ProB2-UI also provides a console view

Below we describe the REPL of probcli, which is the most powerful. Some (but not all) of the commands are available in the other consoles as well.

Examples: see Sudoku Solved in the ProB REPL or Proving_Theorems_in_the_ProB_REPL.