Type Alias: ExecutionGoalDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Execution / ExecutionGoalDto

Type Alias: ExecutionGoalDto

ExecutionGoalDto = { evalFlag?: boolean; term1Id: string; term2Id: string; type: "unify"; } | { arguments: string[]; predicateName: string; type: "prove"; } | { arguments: string[]; functionName: string; resultVar: string; type: "eval"; } | { termId: string; type: "type_disj"; types: string[]; } | { type: "cut"; } | { condition: ExecutionGoalDto; elseGoal: ExecutionGoalDto; thenGoal: ExecutionGoalDto; type: "if_then_else"; }

Defined in: src/types/execution.ts:108

Execution engine goal.

Remarks

Tagged union discriminated by type. The if_then_else variant contains recursive references to ExecutionGoalDto.