Terms for subject Electronics containing Logic Programming

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