В исчислении, ориентированном на кортежи, используются переменные кортежей, т. Е. Переменные, единственными допустимыми значениями которых являются кортежи этого отношения. Например. QUELДоменное доменное исчисление имеет доменные переменные, т. Е. Переменные, которые варьируются по базовым доменам, а не по перерасходу. Например. ILL, DEDUCE .... В ориентированном на корте исчислении используются переменные кортежа, т. Е. Переменная, единственными допустимыми значениями которой являются кортежи этого отношения. E