Terms for subject Programming containing logic semantics

English	Russian
in such a Semantic Web of relational data and logical assertions, computer logic is in its element, and can do much more	в таком Семантическом Вебе связанной информации и логических суждений компьютерная логика является составляющим элементом и может сделать гораздо больше (ssn)
logic semantics	логическая семантика (ssn)
semantics of logic programs	семантика логических программ (ssn)