English Cut (logic programming) Cited by user Elprime on 15 Jun 2020 The cut, in Prolog, is a goal, written as !, which always succeeds, but cannot be backtracked.