logic programming 逻辑编程 ; [计] 逻辑程序设计 ; 逻辑程式设计 ; 逻辑规划

inductive logic programming 归纳逻辑编程 ; 归纳逻辑设计 ; 归纳逻辑程序

Constraint Logic Programming 受限逻辑程序设计

Boolean Logic Programming 布尔逻辑编程

Logic Programming Language 逻辑式语言 ; 逻辑程序语言 ; 逻辑式程序设计语言 ; 逻辑程序设计语言

Logic Programming and Nonmonotonic Reasoning 逻辑编程与非单调推理

Logic Programming Languages 逻辑程序语言

Functional and Logic Programming 函数与逻辑程序设计 ; 会议录

Logic Programming and Expert Systems 逻辑程序设计与专家系统

distributed logic programming 分布式逻辑程序设计