Assertion: cut | /r/HasProperty | goal
Facets:
value: in prolog
type: LOCATION
Source sentences:
text: The cut, in Prolog, is a goal, written as !, which always succeeds, but cannot be backtracked.