Terms for subject Programming containing logic proposition

English	Russian
logic programming propositions	высказывания логического программирования (ssn)
objects in logic programming propositions	объекты в высказываниях логического программирования (ssn)