Voeg groene cuts toe aan het volgende programma:
class(Number,positive) :- Number > 0.
class(0 ,zero ).
class(Number,negative) :- Number < 0.
zodat we onmiddellijk het juiste antwoord krijgen:
Bij gebruik willen we niet nog een extra false.
?- class(5,positive).
true ;
false.
maar onmiddellijk een antwoord zonder overblijvende choice points:
?- class(5,positive).
true.