Request a call

Reverse output

Print

Reverse output

Reverse output - transition from the task to the source data. If the goal is consistent with the conclusion of the rule, then its condition is taken as a subgoal, and this process is repeated until the match of the subgoal with the known facts is obtained.