| Предикат | Описание |
|---|---|
| ! | Предикат отсечения |
| @r(In, Out, Fm, Fun, Alg). | Предикат выявления оператора алгоритма Симплекса |
| algs(L) | |
| active(Alg, Win). | Определяет алгоритм Alg и номер Win активного окна |
| addline(In, Out, Fm, Fun, Alg). | Добавляет операторы в алгоритм Симплекса |
| append(L1, L2, Result). | Объединеняет два списка L1 и L2 в третий список Result |
| arg(N, Term, Arg). | Анализирует терм |
| ask(L, In). | Вводит внешнюю информацию через диалоговое окно |
| assert(Clause). | Добавляет предложение Clause в конец логической программы |
| asserta(Clause). | Добавляет предложение Clause в начало логической программы |
| atom(X). | Проверяет, является ли аргумент предиката X атомом языка Prolog |
| attribute(X, A, L). | Определяет или назначает атрибуты объектам списочной переменной Симплекса |
| bagof(X, T, L). | Собирает значения, возникающие в процессе бектрекинга, в список L (без дублирования) |
| between(I, J, K). | Определяет целые числа между двумя заданными |
| compound(X). | Проверяет, является ли аргумент предиката X составным термом языка Prolog |
| constant(X) | |
| connect/3 | |
| constant(X). | Проверяет, является ли аргумент предиката X константой языка Prolog |
| deselect(Alg, Win). | Снимает выделение со всех объектов алгоритма Alg в окне Win |
| div(X, Y). | Предикат арифметического деления |
| do/1 | |
| eq(X, Y). | Производит попытку унификации аргументов и определяет факт того , что арументы предиката унифицируемы |
| execute. | Выполняет программу Симплекса |
| fail. | Предикат, ассоциированный со значением "Ложь" |
| findall(X, T, L). | Собирает значения, возникающие в процессе бектрекинга, в список L |
| flatten(L, R). | Раскрывает список списков |
| functor(Term, F, Arity). | Определяет функтор F и арность Arity терма Term |
| ge(X, Y). | Проверяет, верно ли неравенство X>=Y |
| gt(X, Y). | Проверяет, верно ли неравенство X>Y |
| hl(P, Alg). | |
| inc(X, Y, Alg). | |
| includes(P, X, Alg). | |
| integer(X). | Проверяет, является ли аргумент X предиката целым числом |
| is(X, Y). | Предикат вычисления значения арифметического выражения, определенного его аргументами |
| le(X, Y). | Проверяет, верно ли неравенство X<=Y |
| length(L, N). | Определяет количество элементов N списка L |
| lt(X, Y). | Проверяет, верно ли неравенство X<Y |
| member(X, L). | Проверяет, что X входит в состав списка L |
| minus(X, Y). | Предикат арифметического вычитания |
| mult(X, Y). | Предикат арифметического умножения |
| names(L, Alg). | Определяет список L имен декларированных объектов алгоритма Симплекса Alg |
| ne(X, Y). | Проверяет истинность утверждения, что арументы X и Y предиката не унифицируемы |
| newsym(L, Sym, X). | newsym([p1],'p',X). |
| nl. | Предикат перевода позиции вывода информации в окне сообщений в начало следующей строки |
| nnf(X, Sym, Alg). | Определяет имя новой переменной X по префиксу Sym в алгоритме Alg |
| onenter(@r(In,Out,Fm,Fun,Alg)) | |
| onclick(X,Y,Status) | |
| noequals(L) | Проверяет наличие в списке L одинаковых элементов |
| nonmember(X, L). | Проверяет истинность утверждения, что элемент X не входит в список L |
| nonvar(X). | Определяет, не является ли аргумент предиката переменной, унифицированной значением |
| not(X). | Отрицает цель X |
| nth(N,L,X). | Определяет N-ый элемент X в списке L. |
| plus(X,Y). | Предикат арифметического сложения |
| parent(X,Y,Alg) | |
| predok(X,Y,Alg) | |
| print(X). | Выводит значение аргумента X в окно сообщений в текущую позицию вывода (без выполнения перехода на следующую строку) |
| printap(X). | Печатает сообщение в апострофах (для текстов) (без выполнения перехода на следующую строку) |
| range(X, Y, L). | Создает список L целых чисел в диапазоне от X до Y |
| removeline(L, Alg). | Удаляет отношения в алгоритме Alg, объявляющие переменные из списка L |
| removename(Alg). | Удаляет вакантные объекты алгоритма Alg |
| retract(X). | Удаляет из логической программы первое предложение вида X |
| retractall(X). | Удаляет из логической программы все предложения вида X |
| revevrs(X,Y) | Переносит список X в список Y в обратном порядке |
| getclipboard(X) | |
| setclipboard(X) | |
| select(P, Alg, Win). | Выделяет переменную Симплекса P алгоритма Alg в окне Win |
| selected(L, Alg, Win). | Определяет список имен переменных Симплекса, выделенных в окне Win алгоритма Alg |
| type(Typ,X,Alg) | |
| true. | Предикат, ассоциированный со значением "Истина" |
| univ(T, L). | Преобразует терм T в список L и обратно |
| value(X, Alg, V). | Опредяет значение объекта Симплекса |
| var(X). | Определяет, является ли аргумент предиката неунифицированной переменной |
| writeln(X). | Выводит значение аргумента в окно сообщений в текущую позицию вывода и затем перемещает ее на следующую строку |