Terms for subject Programming containing logic problem

English	Russian
logic program example for palindrome problem	пример логической программы для задачи о палиндроме (ssn)
logic program example for subset problem	пример логической программы для задачи о подмножествах (ssn)
use of logic in problem solving	использование формальной логики при решении задач (ssn)