implement the prolog cut (!) in the language, specially in the rules. From a syntactical perspective, it could be an internal action (say .cut) to avoid using the symbol !, that is already used to represent a goal.
do we need cut?!
do we need cut?!