query-session
Prove logical conclusions from accumulated premises in a session using first-order logic reasoning.
Instructions
Query the accumulated knowledge base in a session.
When to use: After asserting premises, query for a conclusion.
Example: session_id: "abc-123..." goal: "mortal(socrates)" → Attempts to prove the goal from accumulated premises
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes | Session ID from create-session | |
| goal | Yes | FOL formula to prove from the knowledge base | |
| inference_limit | No | Max inference steps (default: 1000) | |
| verbosity | No | Response verbosity: 'minimal' (token-efficient), 'standard' (default), 'detailed' (debug info) |