Terms for subject Information technology containing programming logic

English	Chinese
inductive logic programming	归纳逻辑程序设计
logic of computer programming	计算机程序设计逻辑学
logic programming	逻辑程序设计
logic programming with sets	集合逻辑程序设计
programming in logic	用逻辑进行程序设计,PROLOG 语言
programming logic	程序设计逻辑