Perform logical deduction on a knowledge base and return solutions with proof trees for each result

Explain, in natural language, how a query is proven: walk the proof tree of each solution and return readable reasoning steps. Rule IDs are cited when present.

Diagnose why a query succeeds or fails. Modes: 'why' (explain success), 'why_not' (explain failure), 'what_needs' (what would make it succeed)

What-if analysis: apply modifications to a knowledge base and see how they affect query results. Use + prefix to add facts, - prefix to remove facts.

Check a knowledge base for consistency: syntax errors, undefined predicates, circular rules, duplicates.

Register a named knowledge base under a kb_id so later calls can reference it instead of resending the KB text. Overwrites an existing kb_id. The KB is validated with check_kb first.

Remove a named knowledge base from the registry. Returns 'removed': false when the kb_id is not registered.

List the registered named knowledge bases (metadata only: kb_id, content_hash, version, counts).