|
| |
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). |
Нет |
|
|