If, however, the last 3 lines were changed to: predicate2(X,Y) :- X \= Y, predicate1(X). the same query would lead to a No. outcome in a very short time.
Проте, якщо хоча б останні три рядки було змінено на: предикат2(X,Y) :- X \= Y, предикат1(X). той самий запит призводив би до результату No. за дуже короткий час.