В чем разница между один раз и вырезанием в прологе?

once/1 можно определить как

once(Goal) :- Goal, !.

Я пытаюсь понять разницу между этими двумя примерами, которые появились в обсуждении в документации SWI Prolog:

Обратите внимание, что это совершенно не то же самое, что использовать «вырезать»: [...]

Один раз подтвердите первое предложение:

foo(A,B) :- once(member(A-B,[a-1,b-2,c-3,a-4])).
foo(A,B) :- member(A-B,[d-5,e-6,a-7,f-8]).

Затем:

?- foo(a,B).
B = 1 ;
B = 7 ;
false.

Но если вырезать в конце первого предложения:

foo(A,B) :- member(A-B,[a-1,b-2,c-3,a-4]),!.
foo(A,B) :- member(A-B,[d-5,e-6,a-7,f-8]).

Вы получаете:

?- foo(a,B).
B = 1.

Я не слежу за сферой применения !. Я бы предположил, что эти два одинаковы, т. е. разрез распространяется из once, но, похоже, это не так. Может ли кто-нибудь объяснить, как работает сокращение в примере once?