Аналогичным образом можно написать функции, вычисляющие объединение множеств и разность множеств. Легко пишется предикат, проверяющий, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Грэй П.N.
Логика,алгебра и базы данных
Аналогичным образом можно написать функции, вычисляющие объединение множеств и разность множеств. Легко пишется предикат, проверяющий, является ли один список подмножеством другого.
