“逻辑程序”常见的英文表达是 "logical program" 或 "logic program"。
"logical program" 强调程序与逻辑的关联性，侧重于描述具有逻辑特性或遵循逻辑规则的程序。
"logic program" 在计算机科学和逻辑编程领域更为常用，直接指代基于逻辑规则进行编程或运行的程序，例如在Prolog等逻辑编程语言中编写的程序。