“逻辑程序”常见的英文表达是 "logical program" 或 "logic program"（在计算机科学领域更为常用）。
logical program：强调程序的逻辑性，即程序是按照一定的逻辑规则构建和运行的。
logic program：在计算机科学和人工智能领域，特别是在讨论逻辑编程（如Prolog语言）时，“logic program”是更常用的术语，它特指那些基于逻辑规则进行编程的程序。