(Created page with '__TOC__ == Model == == StateSpace == == History ==') |
No edit summary |
||
| Line 1: | Line 1: | ||
== Overview == | |||
=== Background === | |||
The ProB 1.0 API takes advantage of one basic abstraction: developers can create Java commands that can be sent to the prolog kernel where something will be calculated. The result can then be used by the developer. Each Java command corresponds to one prolog command in the ProB kernel. | |||
=== Current Implementation === | |||
The developer is still able to use commands in order to get information from the prolog kernel. But as we were considering the ProB model | |||
== Model == | == Model == | ||
The ProB 1.0 API takes advantage of one basic abstraction: developers can create Java commands that can be sent to the prolog kernel where something will be calculated. The result can then be used by the developer. Each Java command corresponds to one prolog command in the ProB kernel.
The developer is still able to use commands in order to get information from the prolog kernel. But as we were considering the ProB model