Terms for subject Electronics containing logic programming

English	Chinese
constraint logic programming	约束逻辑程序设计
distributed logic programming	分布式逻辑程序设计
inductive logic programming	归纳式逻辑程序设计
programming in logic	PROLOG 语言
programming in logic	逻辑程序设计语言