“逻辑编程”常见的英文表达是 "logic programming" 。
例如：Prolog is a well-known logic programming language.（Prolog是一种著名的逻辑编程语言 。）