Как использовать отсечение.

В этом разделе даются примеры, показывающие как следует использовать

отсечение в ваших программах. В этих примерах используется несколько ус-

ловных правил (r1,r2 и r3), которые определяют условный предикат r, плюс

несколько подцелей (a,b, c и т.д.).