removeline(L, Alg).
 

removeline(L, Alg). - Удаляет отношения в алгоритме Alg, объявляющие переменные из списка L.

Предикат также удаляет из алгоритма  константы, внесенные в список L, и их содержимое.

L

Список имен

Alg

Алгоритм

 

Примеры

Точка <p1> задана координатами <-90.5> и <-1>.
Точка <p2> задана координатами <-22.5> и <61>.
Точка <p3> задана координатами <48.5> и <-50>.
Окружность <d1> проведена через точки <p1>, <p2> и <p3>.
Точка <p4> задана координатами <0> и <0>.

goal: removeline([p4], 'Главный').

Да
Точка <p1> задана координатами <-90.5> и <-1>.
Точка <p2> задана координатами <-22.5> и <61>.
Точка <p3> задана координатами <48.5> и <-50>.
Окружность <d1> проведена через точки <p1>, <p2> и <p3>.

Повторный
goal: removeline([p4], 'Главный').

Да
Точка <p1> задана координатами <-90.5> и <-1>.
Точка <p2> задана координатами <-22.5> и <61>.
Точка <p3> задана координатами <48.5> и <-50>.
Окружность <d1> проведена через точки <p1>, <p2> и <p3>.

goal: removeline([p3], A).

Нет

goal: removeline(B, A).

Нет