reason
Perform logical deduction on a knowledge base to derive solutions with proof trees. Input facts and optional query for formal proof generation.
Instructions
Perform logical deduction on a knowledge base and return solutions with proof trees for each result
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | No | ||
| knowledge | Yes | ||
| max_depth | No | ||
| max_solutions | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| error | No | ||
| query | No | ||
| solutions | No | ||
| elapsed_ms | No |