import static com.thesett.aima.logic.fol.wam.compiler.WAMInstruction.WAMInstructionSet.Cut;
import static com.thesett.aima.logic.fol.wam.compiler.WAMInstruction.WAMInstructionSet.NeckCut;
Cut implements the prolog '!' operator, that prevents back-tracking within a functor. '!' is true; that is it does
not ever fail. All choice points between the cut and the parent goal are removed. The effect is to commit to use both
the current clause and the variable substitutions found at the point of the cut.
| Responsibilities || Collaborations
| Implement the cut operator.
Creates a cut built-in to implement the specified functor.
functor The functor to implement as a built-in.
defaultBuiltIn The default built in, for standard compilation and interners and symbol tables.
boolean isLastBody, boolean chainRule, int permVarsRemaining)
Creates a string representation of this functor, mostly used for debugging purposes.
- A string representation of this functor.