Пролог Wildcard

Question

У меня есть следующие пункты:

a(1).
a(a).
b(3).
b(a).
c(A,B) :- b(B),!,a(A).
c(X,_) :- a(X),b(X).

Запрос c(A,B) возвращает только два решения: A = 1, B = 3 and A = a, B = 3. Я проследил c(A,B) и заметил, что Пролог даже не пробовал второе предложение (c(X,_)). Почему это так?

Answer 1

Предикат Prolog cut , или '!', Исключает варианты выбора - это дерево вывода Prolog.

Пожалуйста, проверьте его роль здесь