Terms for subject Programming containing on high

English	Russian
high-level language based on predicate logic	высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk)
hysteresis on a real value for high and low limits	гистерезис действительного значения по верхнему и нижнему пределам (ssn)