Companion

Create an empty engine (no facts or rules).

Create an engine from a PrologProjectionResult. Loads the complete theory including facts, confidence, and grounding.

Create an engine from a theory string.