Talk:Cut (logic programming)