Cut (логическое программирование)