Daemons

[OneManEquipe]

So... we have provers, we have listeners. Each is triggered by a method call, does it thing, streams its results, then stops.

But sometimes we could want a "never-ending process" that keeps internal state.

I'm not sure how to implement such a component, but it should be something like this:

• we spawn the process (it could be a listener listening for a "Boot" signal or whatever), for example as an MailboxProcessor agent
• we add listeners that receive input formulas and send them to the agent
• the agent does whatever it needs to
• to return values, the agent either sends them directly or starts a pondering and corresponding listeners receive it

As with many other things, this needs more thought :P