Module goal

rust_rule_engine::backward

Module goal

Expand description

Goal system for backward chaining

Structs§

Goal: Represents a goal to prove/achieve in backward chaining
GoalManager: Manager for goal-driven reasoning

Enums§

GoalStatus: Status of a goal in the proof process