There are two ways to send a message to the running Prova rulebase from Java. The low-level ProvaCommunicator.addMsg method can be used for sending a message constructed from a Prova term explicitly built from the basic building primitives, such as constants or lists. The example below demonstrates.
The message needs to be compliant with the standard Prova message format described in Sending messages.
Another method ProvaCommunicator.sendMsg offers a more direct, but slower, way to send messages:
This signature directly corresponds to the standard message format, see Sending messages.
Labels: