Точка остановки - Prolog

Формулировка задачи:

программа может создать таблицу умножения и сохранить ее в файл.но сейчас нужно сделать так чтоб она загружала созданный ею файл и удалила все записи кроме нужной.проблема в том что предикат del удаляет все записи,то есть точка остановки не срабатывает. я догадываюсь,что надо было просто rectalом пройти,но не получается.помогите пожалуйста.если можно сразу кусок кода отвечающий за удаление всех записей кроме одной например 5 5 25

domains
  list= integer*
database
    mult(integer, integer, integer).
predicates
    genTable(integer)
    getMult(integer, integer)
    del()
clauses
    genTable(0).
    genTable(L):-L>0, L1=L-1, genTable(L1), getMult(L, 10).
 
    getMult(_, 0).
    getMult(N, K):-N>0, K1=K-1, getMult(N, K1),M=N*K, assert(mult(N, K, M)).
        
del():-mult(5,5,25).    
del():-
                 retractall(mult(_,_,_)).

goal
  retractall(mult(_,_,_)),consult("mult.txt"),del(),save("multt.txt").

Решение задачи: «Точка остановки»

Листинг программы

del() :- mult(X,Y,Z), not( (X=5, Y=5, Z=25) ), retract( mult(X,Y,Z) ), fail.
del().

Объяснение кода листинга программы

В коде определен глагол del, который может быть вызван без аргументов. Если этот глагол вызывается без аргументов, он не делает ничего. Если же переданы аргументы, то выполняется следующее:

Проверяется, что переданы три аргумента. Если это не так, то генерируется ошибка.
Выполняется операция mult с переданными аргументами. Результат этой операции запоминается в переменной Z.
Проверяется, что результат операции mult не равен 25. Если это так, то выполняется операция retract, которая отменяет предыдущую операцию mult.
Если результат операции mult не равен 25, то выполняется операция not, которая преобразует результат операции mult в логическое значение false.
Если логическое значение not равно false, то выполняется операция fail, которая генерирует ошибку.
Конец.