Determine in which state a given goal is.
Determine in which state a given goal is.
Apply this procedure to the given goal.
Apply this procedure to the given goal.
An implicit function to simplify cascading of possible actions.
An implicit function to simplify cascading of possible actions.
Splitter handles the splitting of mod_cast-operations, when no other inference steps are possible anymore.