Execute Prolog code and return reasoning results.

Write Prolog facts and rules, then run a query against them. Supports CLP(FD) constraints, negation-as-failure, and all standard SWI-Prolog features.

List all saved rule bases with description and tags.

Returns {"rule_bases": [{"name": str, "description": str, "tags": list[str]}, ...]} sorted by name. Metadata is extracted from the leading % description: / % tags: comments of each rule base file (see §4.10).

Retrieve the Prolog source of a saved rule base.

Save a named rule base containing Prolog rules that can be reused across execute_prolog calls.

Use this for stable, reusable knowledge (e.g. piece_moves for chess piece movement rules). For one-time facts, include them directly in prolog_code instead.

Delete a saved rule base by name.