prolog_query
Execute a Prolog goal and receive all solutions as JSON for deterministic symbolic reasoning.
Instructions
Execute a Prolog goal and return all solutions as JSON
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| goal | Yes | Prolog goal, e.g. 'ancestor(tom, X)' | |
| timeout_ms | No | Timeout in ms (default 5000) |