|
| |
names(L, Alg). - Определить список L имен декларированных объектов алгоритма Симплекса Alg.
L |
Список имен |
Alg |
Алгоритм |
Предикат исполняется, если параметр Alg унифицирован именем алгоритма, а L – неунифицированная переменная. В этом случае в список L заносятся имена переменных алгоритма.
|
| |
Примеры
Алгоритм Главный
Точка <p3> задана координатами <0> и <0>.
Точка <p2> задана координатами <10> и <10>.
Точка <p1> задана координатами <20> и <20>.
goal: names(L, 'Главный'). |
L=[p3, p2, p1] |
Определены имена алгоритма |
goal: names(L, 'alg'). |
L=[ ] |
Алгоритм либо не существует, либо в нем нет объектов |
goal: names(L, A). |
Нет |
Неунифицированная переменная А |
Алгоритм Главный
Точка <p3> задана координатами <0> и <0>.
Точка <p2> задана координатами <10> и <10>.
Точка <p1> задана координатами <20> и <20>.
goal: names([p3, p2, p1],'Главный'). |
Нет |
Ответ “Нет”, потому что первый параметр унифицирован. |
program:
remove_all_lines_in(A) if
names(L, A),
member(Ob, L),
removeline([Ob], A).
goal: remove_all_lines_in('Главный'). |
Да |
Удаление всех строк алгоритма ‘Главный’ |
|
|