Terms for subject Programming containing logic level

English	Russian
business logic level	уровень бизнес-логики (ssn)
digital logic level	цифровой логический уровень (ssn)
high-level language based on predicate logic	высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk)
transition logic for the level task	логика переходов для задачи с уровнями в резервуарах (ssn)