Skip to main content
POST
Perform backward-chaining proof search. Required scope: write

Request body

BackwardChainRequest
string[]
required
Arguments for the goal
string
required
The goal to prove
integer
Maximum proof depth
boolean
Route the proof through the AGM belief guard: consult entrenchment before search, expand/revise the belief base with each proof.

Response

BackwardChainResponse
string[]
Audit log of AGM belief-base mutations (present iff use_belief_guard).
ProofInfo[]
required
boolean
required
integer
required

Status codes