Module inference 

Inference DTOs — rules, facts, backward / forward chaining, Bayesian prediction, NAF.

Structs

AddFactRequest

Request to add a fact.

AddFactResponse

Response from adding a fact.

AddRuleRequest

Request to add an inference rule.

AddRuleResponse

Response from adding a rule.

BackwardChainRequest

Request for backward chaining. Specify either goal (inline) OR goal_id (saved), not both.

BackwardChainResponse

Response from backward chaining.

BayesianPredictRequest

Bayesian prediction request.

BayesianPredictResponse

Bayesian prediction response.

BindingDto

A binding within a substitution, mapping a variable to its bound value.

BulkAddFactsRequest

Request to bulk-add facts.

BulkAddFactsResponse

Response from bulk-adding facts.

BulkAddRulesRequest

Request to bulk-add rules.

BulkAddRulesResponse

Response from bulk-adding rules.

BulkFuzzyProveRequest

Bulk fuzzy prove request.

BulkFuzzyProveResponse

Bulk fuzzy prove response.

ClearFactsResponse

Response from clearing facts.

CreateGoalRequest

Request to create a new saved goal.

CreateGoalResponse

Response from creating a saved goal.

DeleteGoalResponse

Response from deleting a saved goal.

FactConfidenceEntry

A fact confidence entry.

ForwardChainRequest

Request for forward chaining.

ForwardChainResponse

Response from forward chaining.

FuzzyProveRequest

Request for fuzzy proof search.

FuzzyProveResponse

Response from fuzzy proof search.

GetFactsResponse

Response from getting all facts.

GoalDto

A goal definition used as input.

GoalSummaryDto

Summary of a saved goal.

HomoiconicSubstitutionDto

A substitution produced by backward chaining.

ListGoalsResponse

Response from listing goals.

LiteralInputDto

A literal input for NAF proving.

MetaSortsResponse

Meta-sorts response — a free-form map of meta-sort names to their UUIDs.

NafProveRequest

Request for negation-as-failure proof search.

NafProveResponse

Response from NAF proof search (mirrors BackwardChainResponse).

ProofDto

Recursive proof tree node.

ProvenanceTagDto

Provenance tag from tagged forward chaining.

SolutionDto

A solution from backward chaining.

TaggedDerivedFact

A derived fact with provenance confidence.

TaggedForwardChainRequest

Tagged forward chaining request.

TaggedForwardChainResponse

Tagged forward chaining response.

Enums

AllenRelation

Allen temporal relation operators for interval algebra.

BayesianEffectDto

Bayesian effect shape.

ConstraintInputDto

Constraint input for backward chaining (legacy; prefer ConstrainedVariable in the goal).

GuardOp

Guard constraint operators.